Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5899000
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
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
