Hybrid Systems: Computation and Control

DOI10.1007/b96398zbMath1135.93316OpenAlexW2476491145MaRDI 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 analysisalgorithms and tools based for robotic motion planning

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (8)

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 ⋮ Hybrid systems: From verification to falsification by combining motion planning and discrete search ⋮ Coverage-guided test generation for continuous and hybrid systems ⋮ Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties

Uses Software

• HyTech
• Qhull

This page was built for publication: Hybrid Systems: Computation and Control