Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Abstraction-based Synthesis of Stochastic Hybrid Systems
HSCC '24: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and ControlArticle No.: 19, Pages 1–11https://doi.org/10.1145/3641513.3651399In this work, we develop a framework for formally constructing finite abstractions, also known as finite Markov decision processes (MDPs), for continuous-space stochastic hybrid systems. These complex systems encompass both continuous dynamics, ...
- research-articleJuly 2024
Emulation-based stabilization for networked control systems with stochastic channels
Automatica (Journal of IFAC) (AJIF), Volume 163, Issue Chttps://doi.org/10.1016/j.automatica.2024.111594AbstractThis paper studies the stabilization problem of networked control systems (NCSs) with random packet dropouts caused by stochastic channels. To describe the effects of stochastic channels on the information transmission, the transmission times are ...
- research-articleOctober 2023
Mean-square convergent continuous state estimation of randomly switched linear systems with unobservable subsystems and stochastic output noises
Automatica (Journal of IFAC) (AJIF), Volume 156, Issue Chttps://doi.org/10.1016/j.automatica.2023.111181AbstractThis paper studies mean-square (MS) convergent observers for estimating continuous states of randomly switched linear systems (RSLSs) with unobservable subsystems that are subject to stochastic output observation noises. When subsystems are ...
- research-articleDecember 2022
Automated verification and synthesis of stochastic hybrid systems: A survey
Automatica (Journal of IFAC) (AJIF), Volume 146, Issue Chttps://doi.org/10.1016/j.automatica.2022.110617AbstractStochastic hybrid systems have received significant attentions as a relevant modeling framework describing many systems, from engineering to the life sciences: they enable the study of numerous applications, including transportation ...
- research-articleJune 2021
Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion
Numerical Algorithms (SPNA), Volume 87, Issue 2Pages 849–872https://doi.org/10.1007/s11075-020-00990-xAbstractStochastic hybrid systems (SHSs) are a modelling framework for a cyber-physical system (CPS), used to simulate, validate, and verify safety critical controllers under uncertainty. Popular simulation tools can miss detecting discontinuities when ...
-
- ArticleMay 2020
hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions
Abstracthpnmg is a tool for model checking Hybrid Petri nets with an arbitrary but finite number of general transition firings against specifications formulated in STL. The tool efficiently implements and combines algorithms for state space creation, ...
- research-articleMay 2020
Stochastic hybrid differential games and match race problems
Applied Mathematics and Computation (APMC), Volume 372, Issue Chttps://doi.org/10.1016/j.amc.2019.124966AbstractWe discuss the general framework of a stochastic two-player, hybrid differential game, and we apply it to the modelling of a “match race” between two sailing boats, namely a competition in which the goal of both players is to proceed ...
- research-articleSeptember 2017
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates
ACM Transactions on Embedded Computing Systems (TECS), Volume 16, Issue 5sArticle No.: 186, Pages 1–19https://doi.org/10.1145/3126508The problem of probabilistic safety verification of stochastic hybrid systems is to check whether the probability that a given system will reach an unsafe region from certain initial states can be bounded by some given probability threshold. The paper ...
- research-articleJuly 2017
A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems
Formal Aspects of Computing (FAC), Volume 29, Issue 4Pages 751–775https://doi.org/10.1007/s00165-017-0421-7AbstractIn this paper, we propose a general compositional approach for modelling and verification of stochastic hybrid systems (SHSs). We extend Hybrid CSP (HCSP), a very expressive process algebra-like formal modeling language for hybrid systems, by ...
- research-articleApril 2016
Hybrid behaviour of Markov population models
Information and Computation (ICOM), Volume 247, Issue CPages 37–86https://doi.org/10.1016/j.ic.2015.12.001We investigate the behaviour of population models, specified in stochastic Concurrent Constraint Programming (sCCP). In particular, we focus on models from which we can define a semantics both in terms of Continuous Time Markov Chains (CTMC) and in ...
- articleAugust 2015
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains
International Journal on Software Tools for Technology Transfer (STTT) (STTT), Volume 17, Issue 4Pages 485–504https://doi.org/10.1007/s10009-014-0329-yBehavioral verification of technical systems involving both discrete and continuous components is a common and demanding task. The behavior of such systems can often be characterized using stochastic hybrid automata, leading to verification problems ...
- research-articleMay 2015
Symbolic models for stochastic switched systems
Automatica (Journal of IFAC) (AJIF), Volume 55, Issue CPages 183–196https://doi.org/10.1016/j.automatica.2015.03.004Stochastic switched systems are a relevant class of stochastic hybrid systems with probabilistic evolution over a continuous domain and control-dependent discrete dynamics over a finite set of modes. In the past few years several different techniques ...
- research-articleNovember 2014
Quadratic control of stochastic hybrid systems with renewal transitions
Automatica (Journal of IFAC) (AJIF), Volume 50, Issue 11Pages 2822–2834https://doi.org/10.1016/j.automatica.2014.10.012We study the quadratic control of a class of stochastic hybrid systems with linear continuous dynamics for which the lengths of time that the system stays in each mode are independent random variables with given probability distribution functions. We ...
- research-articleNovember 2014
Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach
Automatica (Journal of IFAC) (AJIF), Volume 50, Issue 11Pages 2852–2860https://doi.org/10.1016/j.automatica.2014.08.029In this paper, a simulation-based method for the analysis and design of abstracted models for a stochastic hybrid system is proposed. The accuracy of a model is evaluated in terms of its capability to reproduce the system output for all the realizations ...
- research-articleOctober 2014
Stability analysis for stochastic hybrid systems
Automatica (Journal of IFAC) (AJIF), Volume 50, Issue 10Pages 2435–2456https://doi.org/10.1016/j.automatica.2014.08.006This survey addresses stability analysis for stochastic hybrid systems (SHS), which are dynamical systems that combine continuous change and instantaneous change and that also include random effects. We re-emphasize the common features found in most of ...
- articleMarch 2014
Optimal control of stochastic hybrid system with jumps: A numerical approximation
Journal of Computational and Applied Mathematics (JCAM), Volume 259Pages 443–451https://doi.org/10.1016/j.cam.2013.10.021The generalized class of stochastic hybrid systems consists of models with regime changes including the occurrence of impulsive behavior. In this paper, the stochastic hybrid processes with jumps are approximated by locally consistent Markov decision ...
- articleMay 2013
IPA for continuous stochastic marked graphs
Automatica (Journal of IFAC) (AJIF), Volume 49, Issue 5Pages 1204–1215https://doi.org/10.1016/j.automatica.2013.02.006This paper presents a unified framework for the Infinitesimal Perturbation Analysis (IPA) gradient-estimation technique in the setting of marked graphs. It proposes a systematic approach for computing the derivatives of sample performance functions with ...
- articleSeptember 2010
Technical communique: Near optimal control for a class of stochastic hybrid systems
Automatica (Journal of IFAC) (AJIF), Volume 46, Issue 9Pages 1553–1557https://doi.org/10.1016/j.automatica.2010.05.024To address a computationally intractable optimal control problem for a class of stochastic hybrid systems, this paper proposes a near optimal state feedback control scheme, which is constructed by using a statistical prediction method based on ...
- articleMay 2010
Infinitesimal Perturbation Analysis in Networks of Stochastic Flow Models: General Framework and Case Study of Tandem Networks with Flow Control
Discrete Event Dynamic Systems (KLU-DISC), Volume 20, Issue 2Pages 275–305https://doi.org/10.1007/s10626-009-0076-5This paper presents a general algorithmic framework for computing the IPA derivatives of sample performance functions defined on networks of fluid queues. The underlying network-model consists of bi-layered hybrid dynamical systems with continuous-time ...
- ArticleApril 2008
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
HSCC '08: Proceedings of the 11th international workshop on Hybrid Systems: Computation and ControlPages 610–613https://doi.org/10.1007/978-3-540-78929-1_46For stochastic hybrid systems, the reachability analysis is an important and difficult problem. In this paper, we prove that, under natural assumptions, reachability analysis can be characterised as an optimal stopping problem. In this way, one can ...