|
|
|
|
|
| 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.
|
|
Advanced