The following pages link to LySHA (Q31972):
Displaying 4 items.
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← 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)
- Lyapunov abstractions for inevitability of hybrid systems (Q2986758) (← links)