LySHA

swMATH20150MaRDI QIDQ31972FDOQ31972

Author name not available (Why is that?)

Cited In (4)

• An axiomatic approach to existence and liveness for differential equations
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Deadness and how to disprove liveness in hybrid dynamical systems
• Lyapunov abstractions for inevitability of hybrid systems

This page was built for software: LySHA