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

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

12 Citations (Scopus)

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