Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System
- 1 June 2016
- journal article
- Published by Elsevier BV in Information Processing Letters
- Vol. 116 (6), 409-415
- https://doi.org/10.1016/j.ipl.2016.02.001
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Assume-guarantee verification of nonlinear hybrid systems with AriadneInternational Journal of Robust and Nonlinear Control, 2012
- Differential Dynamic LogicsKI - Künstliche Intelligenz, 2010
- Modelling of Complex Systems: Systems as Dataflow MachinesFundamenta Informaticae, 2009
- Verified Real Number Calculations: A Library for Interval ArithmeticIEEE Transactions on Computers, 2008
- Concrete syntax and semantics of the compositional interchange format for hybrid systemsIFAC Proceedings Volumes, 2008
- Safety verification of hybrid systems by constraint propagation-based abstraction refinementACM Transactions on Embedded Computing Systems, 2007