Constraint-Based Framework for Reasoning with Differential Equations

Abstract : An extension of constraint satisfaction problems with differential equations is proposed. Reasoning with differential equations is mandatory to analyze or verify dynamical systems, such as cyber-physical ones. A constraint-based framework is presented to model a wider class of problems based on logical combination of high-level properties. In addition, the complete correctness is verified using a set-membership approach in this framework. Finally, examples are given to demonstrate the benefits of the presented framework.
Complete list of metadatas
Contributor : Alexandre Chapoutot <>
Submitted on : Thursday, December 13, 2018 - 10:09:02 PM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM



Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Constraint-Based Framework for Reasoning with Differential Equations. Çetin Kaya Koç. Cyber-Physical Systems Security, ⟨Springer International Publishing⟩, pp.23-41, 2018, ⟨10.1007/978-3-319-98935-8_2⟩. ⟨hal-01954764⟩



Record views