Pages that link to "Item:Q2986758"
From MaRDI portal
The following pages link to Lyapunov abstractions for inevitability of hybrid systems (Q2986758):
Displaying 7 items.
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems (Q5172651) (← links)
- Stability analysis of planar probabilistic piecewise constant derivative systems (Q6160779) (← links)