Distributed control synthesis using Euler’s method

A. Le Coënt; J. Alexandre dit Sandretto; A. Chapoutot; L. Fribourg; F. De Vuyst; L. Chamoin

doi:10.1007/978-3-319-67089-8_9

Distributed control synthesis using Euler’s method

A. Le Coënt
, J. Alexandre dit Sandretto
, A. Chapoutot
, L. Fribourg
, F. De Vuyst
, L. Chamoin

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

Abstract

In a previous work, we explained how Euler’s method for computing approximate solutions of systems of ordinary differential equations can be used to synthesize safety controllers for sampled switched systems. We continue here this line of research by showing how Euler’s method can also be used for synthesizing safety controllers in a distributed manner. The global system is seen as an interconnection of two (or more) sub-systems where, for each component, the sub-state corresponding to the other component is seen as an “input”; the method exploits (a variant of) the notions of incremental input-to-state stability (δ-ISS) and ISS Lyapunov function. We illustrate this distributed control synthesis method on a building ventilation example.

Original language	English
Title of host publication	Reachability Problems - 11th International Workshop, RP 2017, Proceedings
Editors	Igor Potapov, Matthew Hague
Publisher	Springer Verlag
Pages	118-131
Number of pages	14
ISBN (Print)	9783319670881
DOIs	https://doi.org/10.1007/978-3-319-67089-8_9
Publication status	Published - 1 Jan 2017
Externally published	Yes
Event	11th International Workshop on Reachability Problems, RP 2017 - London, United Kingdom Duration: 7 Sept 2017 → 9 Sept 2017

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10506 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Workshop on Reachability Problems, RP 2017
Country/Territory	United Kingdom
City	London
Period	7/09/17 → 9/09/17

Access to Document

10.1007/978-3-319-67089-8_9

Cite this

Le Coënt, A., Alexandre dit Sandretto, J., Chapoutot, A., Fribourg, L., De Vuyst, F., & Chamoin, L. (2017). Distributed control synthesis using Euler’s method. In I. Potapov, & M. Hague (Eds.), Reachability Problems - 11th International Workshop, RP 2017, Proceedings (pp. 118-131). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10506 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-67089-8_9

Le Coënt, A. ; Alexandre dit Sandretto, J. ; Chapoutot, A. et al. / Distributed control synthesis using Euler’s method. Reachability Problems - 11th International Workshop, RP 2017, Proceedings. editor / Igor Potapov ; Matthew Hague. Springer Verlag, 2017. pp. 118-131 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{8110632de7414b2bad01c1c5edd48b3c,

title = "Distributed control synthesis using Euler{\textquoteright}s method",

abstract = "In a previous work, we explained how Euler{\textquoteright}s method for computing approximate solutions of systems of ordinary differential equations can be used to synthesize safety controllers for sampled switched systems. We continue here this line of research by showing how Euler{\textquoteright}s method can also be used for synthesizing safety controllers in a distributed manner. The global system is seen as an interconnection of two (or more) sub-systems where, for each component, the sub-state corresponding to the other component is seen as an “input”; the method exploits (a variant of) the notions of incremental input-to-state stability (δ-ISS) and ISS Lyapunov function. We illustrate this distributed control synthesis method on a building ventilation example.",

author = "\{Le Co{\"e}nt\}, A. and \{Alexandre dit Sandretto\}, J. and A. Chapoutot and L. Fribourg and \{De Vuyst\}, F. and L. Chamoin",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 11th International Workshop on Reachability Problems, RP 2017 ; Conference date: 07-09-2017 Through 09-09-2017",

year = "2017",

month = jan,

day = "1",

doi = "10.1007/978-3-319-67089-8\_9",

language = "English",

isbn = "9783319670881",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "118--131",

editor = "Igor Potapov and Matthew Hague",

booktitle = "Reachability Problems - 11th International Workshop, RP 2017, Proceedings",

}

Le Coënt, A, Alexandre dit Sandretto, J , Chapoutot, A, Fribourg, L, De Vuyst, F & Chamoin, L 2017, Distributed control synthesis using Euler’s method. in I Potapov & M Hague (eds), Reachability Problems - 11th International Workshop, RP 2017, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10506 LNCS, Springer Verlag, pp. 118-131, 11th International Workshop on Reachability Problems, RP 2017, London, United Kingdom, 7/09/17. https://doi.org/10.1007/978-3-319-67089-8_9

Distributed control synthesis using Euler’s method. / Le Coënt, A.; Alexandre dit Sandretto, J.; Chapoutot, A. et al.
Reachability Problems - 11th International Workshop, RP 2017, Proceedings. ed. / Igor Potapov; Matthew Hague. Springer Verlag, 2017. p. 118-131 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10506 LNCS).

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

TY - GEN

T1 - Distributed control synthesis using Euler’s method

AU - Le Coënt, A.

AU - Alexandre dit Sandretto, J.

AU - Chapoutot, A.

AU - Fribourg, L.

AU - De Vuyst, F.

AU - Chamoin, L.

N1 - Publisher Copyright: © Springer International Publishing AG 2017.

PY - 2017/1/1

Y1 - 2017/1/1

N2 - In a previous work, we explained how Euler’s method for computing approximate solutions of systems of ordinary differential equations can be used to synthesize safety controllers for sampled switched systems. We continue here this line of research by showing how Euler’s method can also be used for synthesizing safety controllers in a distributed manner. The global system is seen as an interconnection of two (or more) sub-systems where, for each component, the sub-state corresponding to the other component is seen as an “input”; the method exploits (a variant of) the notions of incremental input-to-state stability (δ-ISS) and ISS Lyapunov function. We illustrate this distributed control synthesis method on a building ventilation example.

AB - In a previous work, we explained how Euler’s method for computing approximate solutions of systems of ordinary differential equations can be used to synthesize safety controllers for sampled switched systems. We continue here this line of research by showing how Euler’s method can also be used for synthesizing safety controllers in a distributed manner. The global system is seen as an interconnection of two (or more) sub-systems where, for each component, the sub-state corresponding to the other component is seen as an “input”; the method exploits (a variant of) the notions of incremental input-to-state stability (δ-ISS) and ISS Lyapunov function. We illustrate this distributed control synthesis method on a building ventilation example.

UR - https://www.scopus.com/pages/publications/85029427551

U2 - 10.1007/978-3-319-67089-8_9

DO - 10.1007/978-3-319-67089-8_9

M3 - Conference contribution

AN - SCOPUS:85029427551

SN - 9783319670881

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 118

EP - 131

BT - Reachability Problems - 11th International Workshop, RP 2017, Proceedings

A2 - Potapov, Igor

A2 - Hague, Matthew

PB - Springer Verlag

T2 - 11th International Workshop on Reachability Problems, RP 2017

Y2 - 7 September 2017 through 9 September 2017

ER -

Le Coënt A, Alexandre dit Sandretto J , Chapoutot A, Fribourg L, De Vuyst F, Chamoin L. Distributed control synthesis using Euler’s method. In Potapov I, Hague M, editors, Reachability Problems - 11th International Workshop, RP 2017, Proceedings. Springer Verlag. 2017. p. 118-131. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-67089-8_9

Distributed control synthesis using Euler’s method

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this