Pages that link to "Item:Q3624574"
From MaRDI portal
The following pages link to Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574):
Displaying 6 items.
- Timed-automata abstraction of switched dynamical systems using control invariants (Q1699229) (← links)
- OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations (Q2154032) (← links)
- Set-valued estimators for uncertain linear parameter-varying systems (Q2169798) (← links)
- Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities (Q2307740) (← links)
- Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels (Q2945582) (← links)
- Trajectory-Based Theory for Hybrid Systems (Q4558883) (← links)
