Hybrid control loops, A/D maps, and dynamic specifications

J. M. Davoren; T. Moor; A. Nerode

doi:10.1007/3-540-45873-5_14

Hybrid control loops, A/D maps, and dynamic specifications

J. M. Davoren, T. Moor, A. Nerode

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

5 Citations (Scopus)

Abstract

We re-examine the basic hybrid control set-up of a continuous plant in a closed feedback loop with a finite state control automaton and an interface consisting of an A/D map and a D/A map. We address the question of how dynamic specifications can be formulated independently of a particular A/D map, and of the effect of refining an A/D map. The main contribution of this paper is that it extends the framework of supervisory controller synthesis for hybrid systems to include more general dynamic specifications, and demonstrates how to employ known results to solve these synthesis problems.

Original language	English
Title of host publication	Hybrid Systems
Subtitle of host publication	Computation and Control - 5th International Workshop, HSCC 2002, Proceedings
Editors	Claire J. Tomlin, Mark R. Greenstreet
Publisher	Springer Verlag
Pages	149-163
Number of pages	15
ISBN (Print)	354043321X, 9783540433217
DOIs	https://doi.org/10.1007/3-540-45873-5_14
Publication status	Published - 2002
Event	5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002 - Stanford, United States Duration: 25 Mar 2002 → 27 Mar 2002

Publication series

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

Conference

Conference	5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002
Country/Territory	United States
City	Stanford
Period	25/03/02 → 27/03/02

Access to Document

10.1007/3-540-45873-5_14

Cite this

Davoren, J. M., Moor, T., & Nerode, A. (2002). Hybrid control loops, A/D maps, and dynamic specifications. In C. J. Tomlin, & M. R. Greenstreet (Eds.), Hybrid Systems: Computation and Control - 5th International Workshop, HSCC 2002, Proceedings (pp. 149-163). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2289). Springer Verlag. https://doi.org/10.1007/3-540-45873-5_14

Davoren, J. M. ; Moor, T. ; Nerode, A. / Hybrid control loops, A/D maps, and dynamic specifications. Hybrid Systems: Computation and Control - 5th International Workshop, HSCC 2002, Proceedings. editor / Claire J. Tomlin ; Mark R. Greenstreet. Springer Verlag, 2002. pp. 149-163 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0e217f3ae9ad487385f246fc70756693,

title = "Hybrid control loops, A/D maps, and dynamic specifications",

abstract = "We re-examine the basic hybrid control set-up of a continuous plant in a closed feedback loop with a finite state control automaton and an interface consisting of an A/D map and a D/A map. We address the question of how dynamic specifications can be formulated independently of a particular A/D map, and of the effect of refining an A/D map. The main contribution of this paper is that it extends the framework of supervisory controller synthesis for hybrid systems to include more general dynamic specifications, and demonstrates how to employ known results to solve these synthesis problems.",

author = "Davoren, {J. M.} and T. Moor and A. Nerode",

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

year = "2002",

doi = "10.1007/3-540-45873-5_14",

language = "English",

isbn = "354043321X",

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

publisher = "Springer Verlag",

pages = "149--163",

editor = "Tomlin, {Claire J.} and Greenstreet, {Mark R.}",

booktitle = "Hybrid Systems",

address = "Germany",

}

Davoren, JM, Moor, T & Nerode, A 2002, Hybrid control loops, A/D maps, and dynamic specifications. in CJ Tomlin & MR Greenstreet (eds), Hybrid Systems: Computation and Control - 5th International Workshop, HSCC 2002, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2289, Springer Verlag, pp. 149-163, 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, Stanford, United States, 25/03/02. https://doi.org/10.1007/3-540-45873-5_14

Hybrid control loops, A/D maps, and dynamic specifications. / Davoren, J. M.; Moor, T.; Nerode, A.
Hybrid Systems: Computation and Control - 5th International Workshop, HSCC 2002, Proceedings. ed. / Claire J. Tomlin; Mark R. Greenstreet. Springer Verlag, 2002. p. 149-163 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2289).

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

TY - GEN

T1 - Hybrid control loops, A/D maps, and dynamic specifications

AU - Davoren, J. M.

AU - Moor, T.

AU - Nerode, A.

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

PY - 2002

Y1 - 2002

N2 - We re-examine the basic hybrid control set-up of a continuous plant in a closed feedback loop with a finite state control automaton and an interface consisting of an A/D map and a D/A map. We address the question of how dynamic specifications can be formulated independently of a particular A/D map, and of the effect of refining an A/D map. The main contribution of this paper is that it extends the framework of supervisory controller synthesis for hybrid systems to include more general dynamic specifications, and demonstrates how to employ known results to solve these synthesis problems.

AB - We re-examine the basic hybrid control set-up of a continuous plant in a closed feedback loop with a finite state control automaton and an interface consisting of an A/D map and a D/A map. We address the question of how dynamic specifications can be formulated independently of a particular A/D map, and of the effect of refining an A/D map. The main contribution of this paper is that it extends the framework of supervisory controller synthesis for hybrid systems to include more general dynamic specifications, and demonstrates how to employ known results to solve these synthesis problems.

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

U2 - 10.1007/3-540-45873-5_14

DO - 10.1007/3-540-45873-5_14

M3 - Conference contribution

SN - 354043321X

SN - 9783540433217

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

SP - 149

EP - 163

BT - Hybrid Systems

A2 - Tomlin, Claire J.

A2 - Greenstreet, Mark R.

PB - Springer Verlag

T2 - 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002

Y2 - 25 March 2002 through 27 March 2002

ER -

Davoren JM, Moor T, Nerode A. Hybrid control loops, A/D maps, and dynamic specifications. In Tomlin CJ, Greenstreet MR, editors, Hybrid Systems: Computation and Control - 5th International Workshop, HSCC 2002, Proceedings. Springer Verlag. 2002. p. 149-163. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45873-5_14

Hybrid control loops, A/D maps, and dynamic specifications

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this