Publication:4417983
From MaRDI portal
zbMath1032.93074MaRDI QIDQ4417983
Manuela L. Bujorianu, John Lygeros
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2623/26230126.htm
93E03: Stochastic systems in control theory (general)
Related Items
Trajectory-Based Theory for Hybrid Systems, State constrained reachability for stochastic hybrid systems, Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem, Modeling and analysis of DNA replication, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata, Automated verification and synthesis of stochastic hybrid systems: a survey, Optimal control of stochastic hybrid system with jumps: a numerical approximation, Stochastic system controller synthesis for reachability specifications encoded by random sets, Verification and Control of Probabilistic Rectangular Hybrid Automata, Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems