Trajectory Based Verification Using Local Finite-Time Invariance

DOI10.1007/978-3-642-00602-9_16MaRDI QIDQ3624574zbMATH OpenOpenAlexWikidataFDO

Authors George Pappas, 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

Ordinary differential inclusions (34A60) Variational inequalities (49J40) Attainable sets, reachability (93B03)

Recommendations

• Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
• Hybrid Systems: Computation and Control
• Interval Reachability Analysis
• Hybrid Systems: Computation and Control
• Reachability analysis of polynomial systems using linear programming relaxations

Cites work

• scientific article; zbMATH DE number 1956619 (Why is no real title available?)
• scientific article; zbMATH DE number 1956649 (Why is no real title available?)
• scientific article; zbMATH DE number 2085314 (Why is no real title available?)
• scientific article; zbMATH DE number 1444339 (Why is no real title available?)
• scientific article; zbMATH DE number 1444352 (Why is no real title available?)
• scientific article; zbMATH DE number 1444360 (Why is no real title available?)
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
• 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
• Linear Matrix Inequalities in System and Control Theory
• Nonlinear systems.
• On contraction analysis for non-linear systems
• Robust Test Generation and Coverage for Hybrid Systems
• SOSTOOLS and Its Control Applications
• Systematic Simulation Using Sensitivity Analysis
• Verification of Supervisory Control Software Using State Proximity and Merging

Cited in

(7)

• Trajectory-based theory for hybrid systems
• Comparison of recent advances in set-membership techniques: application to state estimation, fault detection and collision avoidance
• OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations
• Set-valued estimators for uncertain linear parameter-varying systems
• 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
• Timed-automata abstraction of switched dynamical systems using control funnels

Describes a project that uses

Uses Software

• SMV
• HyTech
• PHAVer
• Sostools

This page was built for publication: Trajectory Based Verification Using Local Finite-Time Invariance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3624574)