Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5898969
DOI10.1007/11730637zbMath1178.93069MaRDI QIDQ5898969
Maria Prandini, Saurabh Amin, John Lygeros, Shankar S. Sastry, Alessandro Abate
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11730637
93E20: Optimal stochastic control
93B03: Attainable sets, reachability
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Bounded Verification of Reachability of Probabilistic Hybrid Systems, Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata, Discrete-time hybrid control in Borel spaces: average cost optimality criterion, Discrete-time hybrid control in Borel spaces, Automated verification and synthesis of stochastic hybrid systems: a survey, Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems, A stochastic games framework for verification and control of discrete time stochastic hybrid systems, Safe and Secure Networked Control Systems under Denial-of-Service Attacks