Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems
© The Author(s) 2019. We formulate numerically-robust inductive proof rules for unbounded stability and safety properties of continuous dynamical systems. These induction rules robustify standard notions of Lyapunov functions and barrier certificates so that they can tolerate small numerical errors....
| Format: | Article |
|---|---|
| Language: | English |
| Published: |
Springer International Publishing
2021
|
| Online Access: | https://hdl.handle.net/1721.1/137349 |