Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5898989
DOI10.1007/11730637zbMath1178.93026MaRDI QIDQ5898989
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
93B03: Attainable sets, reachability
Related Items
An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications, Language-Based Abstraction Refinement for Hybrid System Verification, Relaxing Goodness Is Still Good, Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques, Hybridization methods for the analysis of nonlinear systems, Computing reachable sets for uncertain nonlinear monotone systems
Uses Software