Trajectory Based Verification Using Local Finite-Time Invariance
From MaRDI portal
Publication:3624574
DOI10.1007/978-3-642-00602-9_16zbMath1237.93020OpenAlexW1575287092WikidataQ57581872 ScholiaQ57581872MaRDI QIDQ3624574
George J. Pappas, A. Agung Julius
Publication date: 30 April 2009
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00602-9_16
Variational inequalities (49J40) Ordinary differential inclusions (34A60) Attainable sets, reachability (93B03)
Related Items (6)
OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations ⋮ Trajectory-Based Theory for Hybrid Systems ⋮ Set-valued estimators for uncertain linear parameter-varying systems ⋮ Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels ⋮ Timed-automata abstraction of switched dynamical systems using control invariants ⋮ Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On contraction analysis for non-linear systems
- Verification of Supervisory Control Software Using State Proximity and Merging
- Systematic Simulation Using Sensitivity Analysis
- Robust Test Generation and Coverage for Hybrid Systems
- Linear Matrix Inequalities in System and Control Theory
- Conflict resolution for air traffic management: a study in multiagent hybrid systems
- SOSTOOLS and Its Control Applications
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Trajectory Based Verification Using Local Finite-Time Invariance
