Hybrid Systems: Computation and Control

DOI10.1007/b106766zbMath1078.93062OpenAlexW2502452588MaRDI QIDQ5703923

John Lygeros, Marius C. Bujorianu, Manuela L. Bujorianu

Publication date: 11 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106766

zbMATH Keywords

Markov processesbisimulationcategory theorystochastic hybrid systemssimulation morphismzigzag morphism

Mathematics Subject Classification ID

Continuous-time Markov processes on general state spaces (60J25) Discrete-time Markov processes on general state spaces (60J05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Stochastic systems in control theory (general) (93E03)

Related Items (13)

Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey ⋮ A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ Abstraction-based synthesis for stochastic systems with omega-regular objectives ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ Safety verification for probabilistic hybrid systems ⋮ Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement ⋮ Symbolic models for stochastic switched systems: A discretization and a discretization-free approach ⋮ Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ A probabilistic calculus of cyber-physical systems ⋮ A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems ⋮ Proving Approximate Implementations for Probabilistic I/O Automata ⋮ System design of stochastic models using robustness of temporal properties

This page was built for publication: Hybrid Systems: Computation and Control