scientific article; zbMATH DE number 1956626
From MaRDI portal
Publication:4417983
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Stochastic system controller synthesis for reachability specifications encoded by random sets ⋮ Trajectory-Based Theory for Hybrid Systems ⋮ Verification and Control of Probabilistic Rectangular Hybrid Automata ⋮ Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem ⋮ Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems ⋮ Modeling and analysis of DNA replication ⋮ State constrained reachability for stochastic hybrid systems ⋮ 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
This page was built for publication:
