Robust controller synthesis for hybrid systems using modal logic

Thomas Moor; J. M. Davoren

doi:10.1007/3-540-45351-2_35

Robust controller synthesis for hybrid systems using modal logic

Thomas Moor, J. M. Davoren

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

25 Citations (Scopus)

Abstract

In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching control mechanism of a hybrid automaton (via guard and mode invariant sets), and the robustness result is with respect to variations in the right hand sides of the differential equations that depend continuously on a parameter. We present a novel methodology for controller design and synthesis which uses modal logic as a formalism for reasoning about sets of plant states, and various operators on sets arising from the differential equations and from metric tolerance relations on the state space.

Original language	English
Title of host publication	Hybrid Systems
Subtitle of host publication	Computation and Control - 4th International Workshop, HSCC 2001, Proceedings
Editors	Maria Domenica di Benedetto, Alberto Sangiovanni-Vincentelli, Alberto Sangiovanni-Vincentelli
Publisher	Springer Verlag
Pages	433-446
Number of pages	14
ISBN (Print)	3540418660, 9783540418665
DOIs	https://doi.org/10.1007/3-540-45351-2_35
Publication status	Published - 2001
Event	4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001 - Rome, Italy Duration: 28 Mar 2001 → 30 Mar 2001

Publication series

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

Conference

Conference	4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001
Country/Territory	Italy
City	Rome
Period	28/03/01 → 30/03/01

Access to Document

10.1007/3-540-45351-2_35

Cite this

Moor, T., & Davoren, J. M. (2001). Robust controller synthesis for hybrid systems using modal logic. In M. D. di Benedetto, A. Sangiovanni-Vincentelli, & A. Sangiovanni-Vincentelli (Eds.), Hybrid Systems: Computation and Control - 4th International Workshop, HSCC 2001, Proceedings (pp. 433-446). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2034). Springer Verlag. https://doi.org/10.1007/3-540-45351-2_35

Moor, Thomas ; Davoren, J. M. / Robust controller synthesis for hybrid systems using modal logic. Hybrid Systems: Computation and Control - 4th International Workshop, HSCC 2001, Proceedings. editor / Maria Domenica di Benedetto ; Alberto Sangiovanni-Vincentelli ; Alberto Sangiovanni-Vincentelli. Springer Verlag, 2001. pp. 433-446 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{edabd1c5ce3e4d14a9e775ad6f21e25b,

title = "Robust controller synthesis for hybrid systems using modal logic",

abstract = "In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching control mechanism of a hybrid automaton (via guard and mode invariant sets), and the robustness result is with respect to variations in the right hand sides of the differential equations that depend continuously on a parameter. We present a novel methodology for controller design and synthesis which uses modal logic as a formalism for reasoning about sets of plant states, and various operators on sets arising from the differential equations and from metric tolerance relations on the state space.",

author = "Thomas Moor and Davoren, {J. M.}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2001.; 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001 ; Conference date: 28-03-2001 Through 30-03-2001",

year = "2001",

doi = "10.1007/3-540-45351-2_35",

language = "English",

isbn = "3540418660",

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

publisher = "Springer Verlag",

pages = "433--446",

editor = "{di Benedetto}, {Maria Domenica} and Alberto Sangiovanni-Vincentelli and Alberto Sangiovanni-Vincentelli",

booktitle = "Hybrid Systems",

address = "Germany",

}

Moor, T & Davoren, JM 2001, Robust controller synthesis for hybrid systems using modal logic. in MD di Benedetto, A Sangiovanni-Vincentelli & A Sangiovanni-Vincentelli (eds), Hybrid Systems: Computation and Control - 4th International Workshop, HSCC 2001, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2034, Springer Verlag, pp. 433-446, 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001, Rome, Italy, 28/03/01. https://doi.org/10.1007/3-540-45351-2_35

Robust controller synthesis for hybrid systems using modal logic. / Moor, Thomas; Davoren, J. M.
Hybrid Systems: Computation and Control - 4th International Workshop, HSCC 2001, Proceedings. ed. / Maria Domenica di Benedetto; Alberto Sangiovanni-Vincentelli; Alberto Sangiovanni-Vincentelli. Springer Verlag, 2001. p. 433-446 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2034).

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

TY - GEN

T1 - Robust controller synthesis for hybrid systems using modal logic

AU - Moor, Thomas

AU - Davoren, J. M.

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2001.

PY - 2001

Y1 - 2001

N2 - In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching control mechanism of a hybrid automaton (via guard and mode invariant sets), and the robustness result is with respect to variations in the right hand sides of the differential equations that depend continuously on a parameter. We present a novel methodology for controller design and synthesis which uses modal logic as a formalism for reasoning about sets of plant states, and various operators on sets arising from the differential equations and from metric tolerance relations on the state space.

AB - In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching control mechanism of a hybrid automaton (via guard and mode invariant sets), and the robustness result is with respect to variations in the right hand sides of the differential equations that depend continuously on a parameter. We present a novel methodology for controller design and synthesis which uses modal logic as a formalism for reasoning about sets of plant states, and various operators on sets arising from the differential equations and from metric tolerance relations on the state space.

UR - http://www.scopus.com/inward/record.url?scp=84944259835&partnerID=8YFLogxK

U2 - 10.1007/3-540-45351-2_35

DO - 10.1007/3-540-45351-2_35

M3 - Conference contribution

SN - 3540418660

SN - 9783540418665

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

SP - 433

EP - 446

BT - Hybrid Systems

A2 - di Benedetto, Maria Domenica

A2 - Sangiovanni-Vincentelli, Alberto

PB - Springer Verlag

T2 - 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001

Y2 - 28 March 2001 through 30 March 2001

ER -

Moor T, Davoren JM. Robust controller synthesis for hybrid systems using modal logic. In di Benedetto MD, Sangiovanni-Vincentelli A, Sangiovanni-Vincentelli A, editors, Hybrid Systems: Computation and Control - 4th International Workshop, HSCC 2001, Proceedings. Springer Verlag. 2001. p. 433-446. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45351-2_35

Robust controller synthesis for hybrid systems using modal logic

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this