Constraint-Based Framework for Reasoning with Differential Equations - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Chapitre D'ouvrage Année : 2018

Constraint-Based Framework for Reasoning with Differential Equations

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
81 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More