Trajectory Based Verification Using Local Finite-Time Invariance

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

Mathematics Subject Classification ID

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

• Sostools
• PHAVer
• HyTech
• SMV

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