Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
From MaRDI portal
Publication:5275329
DOI10.1145/3049797.3049814zbMath1369.93185OpenAlexW2607212181MaRDI QIDQ5275329
No author found.
Publication date: 11 July 2017
Published in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3049797.3049814
Nonlinear systems in control theory (93C10) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (4)
Pegasus: sound continuous invariant generation ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Automatic pre- and postconditions for partial differential equations ⋮ On the Coalgebra of Partial Differential Equations
This page was built for publication: Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters