Please note that eDoc will be permanently shut down in the first quarter of 2021!      Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Institute: MPI für Dynamik komplexer technischer Systeme     Collection: Systems and Control Theory     Display Documents



  history
ID: 112013.0, MPI für Dynamik komplexer technischer Systeme / Systems and Control Theory
Approximating Automata and Discrete Control for Continuous Systems : Two Examples from Process Control
Authors:Raisch, J.; Klein, E.; O'Young, S.; Meder, C.; Itigin, A.
Language:English
Place of Publication:Berlin
Publisher:Springer
Date of Publication (YYYY-MM-DD):1999
Title of Book:Hybrid Systems V
Start Page:279
End Page:303
Full Name of Book-Editor(s):Antsaklis, P.; Kohn, W.; Lemmon, M.; Nerode, A.; Sastry, S.
Title of Series:Lecture Notes in Computer Science
Volume:1567
Review Status:Peer-review
Audience:Experts Only
Intended Educational Use:No
Abstract / Description: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.
External Publication Status:published
Document Type:InBook
Communicated by:Jörg Raisch
Affiliations:MPI für Dynamik komplexer technischer Systeme/Systems and Control Theory
External Affiliations:Institut für Systemdynamik und Regelungstechnik, Universität Stuttgart, Pfaffenwaldring 9, D-70550 Stuttgart;
Faculty of Engineering and Applied Science, Memorial University of Newfoundland, St. John's, Newfoundland, Candada A1B 3X5
Identifiers:LOCALID:39
ISBN:3-540-65643-X
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.