Constraint-Based Framework for Reasoning with Differential Equations - Archive ouverte HAL Access content directly
Book Sections Year : 2018

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.
Not file

Dates and versions

hal-01954764 , version 1 (13-12-2018)

Identifiers

Cite

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⟩
69 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More