Hybrid Systems: Computation and Control

DOI10.1007/b96398zbMath1135.93316MaRDI QIDQ5307465

Amit Bhatia, Emilio Frazzoli

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

reachability analysis; algorithms and tools based for robotic motion planning

Mathematics Subject Classification ID

93B03: Attainable sets, reachability

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Related Items

Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties, Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers, Hybrid systems: From verification to falsification by combining motion planning and discrete search, Coverage-guided test generation for continuous and hybrid systems, Temporally and spatially flexible plan execution for dynamic hybrid systems, Falsification of LTL Safety Properties in Hybrid Systems, Trajectory Based Verification Using Local Finite-Time Invariance, Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate

Uses Software

• HyTech
• Qhull