English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  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

Basic

show hide
Item Permalink: http://hdl.handle.net/11858/00-001M-0000-0013-A29B-A Version Permalink: http://hdl.handle.net/11858/00-001M-0000-0025-AF14-8
Genre: Book Chapter

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Raisch, J.1, Author              
Klein, E.2, Author
Meder, C.2, Author
Itigin, A.2, Author
O'Young, S.3, Author
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              

Content

show
hide
Free keywords: -
 Abstract: 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

show
hide
Language(s): eng - English
 Dates: 1999
 Publication Status: Published in print
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Method: Peer
 Identifiers: eDoc: 112013
DOI: 10.1007/3-540-49163-5_16
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Hybrid Systems V
Source Genre: Book
 Creator(s):
Antsaklis, P., Editor
Kohn, W., Editor
Lemmon, M., Editor
Nerode, A., Editor
Sastry, S., Editor
Affiliations:
-
Publ. Info: Berlin : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 279 - 303 Identifier: ISBN: 3-540-65643-X

Source 2

show
hide
Title: Lecture Notes in Computer Science
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 1567 Sequence Number: - Start / End Page: - Identifier: -