Hybrid Systems: Computation and Control

DOI10.1007/b96398zbMath1135.93373OpenAlexW2476491145MaRDI QIDQ5307925

Manuela L. Bujorianu

Publication date: 25 September 2007

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

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

zbMATH Keywords

Markov processesDirichlet formsstochastic hybrid systemsreachability problemextended automata

Mathematics Subject Classification ID

Discrete-time Markov processes on general state spaces (60J05) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03)

Related Items (12)

A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ A stochastic games framework for verification and control of discrete time stochastic hybrid systems ⋮ Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ Safety verification for probabilistic hybrid systems ⋮ Bounded Verification of Reachability of Probabilistic Hybrid Systems ⋮ Stability analysis for stochastic hybrid systems: a survey ⋮ Verification and control for probabilistic hybrid automata with finite bisimulations ⋮ 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 ⋮ Optimal control of stochastic hybrid system with jumps: a numerical approximation

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