Skip to Main content Skip to Navigation
Book sections

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 metadata
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