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

Julien Alexandre dit Sandretto, Alexandre Chapoutot, Olivier Mullier

Université Paris-Saclay

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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.

Original language	English
Title of host publication	Cyber-Physical Systems Security
Publisher	Springer International Publishing
Pages	23-41
Number of pages	19
ISBN (Electronic)	9783319989358
ISBN (Print)	9783319989341
DOIs	https://doi.org/10.1007/978-3-319-98935-8_2
Publication status	Published - 6 Dec 2018
Externally published	Yes

Access to Document

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

Cite this

@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

Abstract

Access to Document

Fingerprint

Cite this