调色板 发表于 2025-3-24 01:00:28
Behavioural Approximations for Restricted Linear Differential Hybrid Automatal operators in a diagonal form and in which the values of the continuous variables can be observed only with finite precision. We do not demand resetting of the values of the continuous variables during mode changes. We can cope with polynomial guards and we can tolerate bounded delays both in sampl亲属 发表于 2025-3-24 03:14:33
Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems consider the problem of verifying bounded reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMP). While GSMPs is a rich model for stochastic systems widely used in performance evaluation, existing model checking algorithms are applicable only toburnish 发表于 2025-3-24 06:48:01
On the Stability of Zeno Equilibriaal systems or automata theory and yet they have remained relatively unexplored over the years. In this paper we address the stability properties of a class of Zeno equilibria, and we introduce a necessary paradigm shift in the study of hybrid stability. Motivated by the peculiarities of Zeno equilib使迷惑 发表于 2025-3-24 13:56:55
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systemsto the introduced class of systems, a methodology for probabilistic reachability analysis is developed that is relevant to safety verification. This methodology is based on the interpretation of the safety verification problem as an optimal control problem for a certain controlled Markov process. In裤子 发表于 2025-3-24 18:27:30
Output-Based Optimal Timing Control of Switched Systems solving the optimal switch-time control problem for nonlinear systems where the state is only partially known through the outputs. A method is presented that both guarantees that the current switch-time estimates remain optimal as the state estimates evolve, and that ensures this in a computationalModicum 发表于 2025-3-24 19:13:57
http://reply.papertrans.cn/44/4302/430185/430185_19.pngIntact 发表于 2025-3-25 00:50:10
http://reply.papertrans.cn/44/4302/430185/430185_20.png背叛者 发表于 2025-3-25 03:59:10
http://reply.papertrans.cn/44/4302/430185/430185_21.pngWorking-Memory 发表于 2025-3-25 10:36:57
Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control provably convergent Hybrid Minimum Principle (HMP) algorithms were obtained based upon the HMP. The notion of optimality zones (OZs) () provides a theoretical framework for the computation of optimal location (i.e. discrete state) schedules for HOCPs (i.e. discrete state sequences with the as提名的名单 发表于 2025-3-25 13:35:25
http://reply.papertrans.cn/44/4302/430185/430185_23.png