Approximations of Stochastic Hybrid Systems

DOI10.1109/TAC.2009.2019791MaRDI QIDQ4974594zbMATH OpenOpenAlexDBLPWikidataFDO

Authors George Pappas, 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

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

Cited in

(37)

• Mean reversal for stochastic hybrid systems
• Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
• Analysis of accuracy of hybrid systems with random time quantization
• Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
• Automated verification and synthesis of stochastic hybrid systems: a survey
• 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
• Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
• Compositional construction of infinite abstractions for networks of stochastic control systems
• Symbolic models for retarded jump-diffusion systems
• Backstepping controller synthesis and characterizations of incremental stability
• Approximately bisimilar symbolic models for randomly switched stochastic systems
• Stochastic hybrid systems. Theory and safety critical applications.
• Interacting particle system based estimation of reach probability of general stochastic hybrid systems
• Random assignment versus fixed assignment in multilevel importance splitting for estimating stochastic reach probabilities
• Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
• An approximate method for solving stochastic guaranteed estimation problem in hereditary systems
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Safety verification for probabilistic hybrid systems
• Trajectory-based theory for hybrid systems
• scientific article; zbMATH DE number 2164164 (Why is no real title available?)
• Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach
• scientific article; zbMATH DE number 7318980 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Verification of general Markov decision processes by approximate similarity relations and policy refinement
• Approximations of Stochastic Hybrid Systems: A Compositional Approach
• Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
• Hybrid Systems: Computation and Control
• Model reduction of switched affine systems
• Estimating infinitesimal generators of stochastic systems with formal error bounds
• Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach
• Hybrid dynamics of stochastic -calculus
• Approximate model checking of stochastic hybrid systems
• Approximate bisimulation: a bridge between computer science and control theory
• Context-triggered games for reactive synthesis over stochastic systems via control barrier certificates
• Abstraction-based synthesis of stochastic hybrid systems

This page was built for publication: Approximations of Stochastic Hybrid Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4974594)