Hybrid Systems: Computation and Control

DOI10.1007/11730637zbMath1178.93077OpenAlexW2478741156MaRDI QIDQ5899000

Silke Wagner, Andreas Podelski

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Composing Stability Proofs for Hybrid Systems ⋮ Automata-based analysis of stage suspended boom systems ⋮ Verifying Switched System Stability With Logic ⋮ Stability analysis of planar probabilistic piecewise constant derivative systems ⋮ A framework for multi-robot motion planning from temporal logic specifications ⋮ Discovering polynomial Lyapunov functions for continuous dynamical systems ⋮ Deductive stability proofs for ordinary differential equations ⋮ An axiomatic approach to existence and liveness for differential equations ⋮ Box invariance in biologically-inspired dynamical systems ⋮ Monitoring bounded LTL properties using interval analysis ⋮ Bracketing backward reach sets of a dynamical system ⋮ A semi-algebraic approach for asymptotic stability analysis ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants ⋮ Approximate equivalence of the hybrid automata with Taylor theory ⋮ Notes on Recent Achievements in Proving Stability using KeYmaeraX

Uses Software

• HyTech
• RSOLVER
• Benchmarks
• HSolver