Approximations of Stochastic Hybrid Systems

DOI10.1109/TAC.2009.2019791zbMath1367.93618OpenAlexW2126147754WikidataQ57581833 ScholiaQ57581833MaRDI QIDQ4974594

George J. Pappas, A. Agung Julius

Publication date: 8 August 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2009.2019791

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Nonlinear systems in control theory (93C10) Signal detection and filtering (aspects of stochastic processes) (60G35) Stochastic systems in control theory (general) (93E03)

Related Items

Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey, Trajectory-Based Theory for Hybrid Systems, Similarity quantification for linear stochastic systems: a coupling compensator approach, Compositional abstraction-based synthesis for networks of stochastic switched systems, Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach, Safety verification for probabilistic hybrid systems, Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement, Interacting particle system based estimation of reach probability of general stochastic hybrid systems, Symbolic models for stochastic switched systems: A discretization and a discretization-free approach, Estimating infinitesimal generators of stochastic systems with formal error bounds, Random assignment versus fixed assignment in multilevel importance splitting for estimating stochastic reach probabilities, Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach, Backstepping controller synthesis and characterizations of incremental stability, Model reduction of switched affine systems, Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems, Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach, Approximately bisimilar symbolic models for randomly switched stochastic systems, Approximate bisimulation: a bridge between computer science and control theory, Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations, Compositional construction of infinite abstractions for networks of stochastic control systems, Symbolic models for retarded jump-diffusion systems, Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations, Automated verification and synthesis of stochastic hybrid systems: a survey