Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Approximating Automata and Discrete Control for Continuous Systems : Two Examples from Process Control

Raisch, J., Klein, E., Meder, C., Itigin, A., & O'Young, S. (1999). Approximating Automata and Discrete Control for Continuous Systems: Two Examples from Process Control. In P. Antsaklis, W. Kohn, M. Lemmon, A. Nerode, & S. Sastry (Eds.), Hybrid Systems V (pp. 279-303). Berlin: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0013-A29B-A Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0025-AF14-8
Genre: Buchkapitel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Raisch, J.1, Autor           
Klein, E.2, Autor
Meder, C.2, Autor
Itigin, A.2, Autor
O'Young, S.3, Autor
Affiliations:
1Systems and Control Theory, Max Planck Institute for Dynamics of Complex Technical Systems, Max Planck Society, ou_1738154              
2Institut für Systemdynamik und Regelungstechnik, Universität Stuttgart, ou_persistent22              
3 Faculty of Engineering and Applied Science, Memorial University of Newfoundland St. John’s, Newfoundland, Canada, ou_persistent22              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: A standard problem in hybrid control systems theory is to design discrete, or symbolic, feedback for a given continuous plant. When specifications are discrete, this problem can be solved by first approximating the continuous plant model by a (nondeterministic) automaton, and then synthesizing discrete (supervisory) control for the automaton. A necessary condition is that the approximation behaviour contains the behaviour of the underlying continuous plant model. Then, any controller forcing the approximation to obey the specifications will also force the continuous model to satisfy the specifications. We use a version of this approach which allows adjustment of approximation accuracy to address two simple process control problems: supervisory control of a three tank laboratory experiment and safety enforcement for an evaporator. In both cases, the entire design process is carried through: we first determine a suitable abstraction, compute the minimally restrictive supervisor, and then present examples for closed loop trajectories. © Springer, Part of Springer Science+Business Media [accessed 2014 April 1st]

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 1999
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: Expertenbegutachtung
 Identifikatoren: eDoc: 112013
DOI: 10.1007/3-540-49163-5_16
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Hybrid Systems V
Genre der Quelle: Buch
 Urheber:
Antsaklis, P., Herausgeber
Kohn, W., Herausgeber
Lemmon, M., Herausgeber
Nerode, A., Herausgeber
Sastry, S., Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 279 - 303 Identifikator: ISBN: 3-540-65643-X

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 1567 Artikelnummer: - Start- / Endseite: - Identifikator: -