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

https://hal.archives-ouvertes.fr/hal-01954764
Contributor : Alexandre Chapoutot <>
Submitted on : Thursday, December 13, 2018 - 10:09:02 PM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

58