Constraint-based framework for reasoning with differential equations

Julien Alexandre dit Sandretto; Alexandre Chapoutot; Olivier Mullier

doi:10.1007/978-3-319-98935-8_2

Constraint-based framework for reasoning with differential equations

Université Paris-Saclay

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

12 Citations (Scopus)

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.

langue originale	Anglais
titre	Cyber-Physical Systems Security
Editeur	Springer International Publishing
Pages	23-41
Nombre de pages	19
ISBN (Electronique)	9783319989358
ISBN (imprimé)	9783319989341
Les DOIs	https://doi.org/10.1007/978-3-319-98935-8_2
état	Publié - 6 déc. 2018
Modification externe	Oui

Accès au document

10.1007/978-3-319-98935-8_2

Contient cette citation

@inbook{493ca3b5cbb244d892083f7d73011703,

title = "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.",

author = "\{Alexandre dit Sandretto\}, Julien and Alexandre Chapoutot and Olivier Mullier",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.",

year = "2018",

month = dec,

day = "6",

doi = "10.1007/978-3-319-98935-8\_2",

language = "English",

isbn = "9783319989341",

pages = "23--41",

booktitle = "Cyber-Physical Systems Security",

publisher = "Springer International Publishing",

}

TY - CHAP

T1 - Constraint-based framework for reasoning with differential equations

AU - Alexandre dit Sandretto, Julien

AU - Chapoutot, Alexandre

AU - Mullier, Olivier

PY - 2018/12/6

Y1 - 2018/12/6

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-98935-8_2

DO - 10.1007/978-3-319-98935-8_2

M3 - Chapter

AN - SCOPUS:85063928072

SN - 9783319989341

SP - 23

EP - 41

BT - Cyber-Physical Systems Security

PB - Springer International Publishing

ER -

Constraint-based framework for reasoning with differential equations

Résumé

Accès au document

Empreinte digitale

Contient cette citation