English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Discrete supervisory control of hybrid systems based on l- complete approximations

Moor, T., Raisch, J., & O'Young, S. (2002). Discrete supervisory control of hybrid systems based on l- complete approximations. Discrete Event Dynamic Systems, 12(1), 83-107. doi:10.1023/A:1013339920783.

Item is

Basic

show hide
Item Permalink: http://hdl.handle.net/11858/00-001M-0000-0013-A0AF-C Version Permalink: http://hdl.handle.net/11858/00-001M-0000-0026-A233-E
Genre: Journal Article

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Moor, T.1, Author
Raisch, J.2, Author              
O'Young, S.3, Author
Affiliations:
1Research School of Information Sciences and Engineering, Australian National University, Canberra, ACT, 0200, Australia , ou_persistent22              
2Systems and Control Theory, Max Planck Institute for Dynamics of Complex Technical Systems, Max Planck Society, ou_1738154              
3Memorial University of Newfoundland, St. John's, Newfoundland, Canada, A1B 3X5 , ou_persistent22              

Content

show
hide
Free keywords: hybrid systems; supervisory control; behavioral approach; l- complete approximations
 Abstract: The topic of this paper is the synthesis of discrete supervisory control for hybrid systems Sigma with discrete external signals. Such systems are in general neither l- complete nor can they be represented by finite state machines. Our solution to the control problem is as follows: we find the strongest l-complete approximation (abstraction) Sigma (l) for Sigma, represent it by a finite state machine, and investigate the control problem for the approximation. If a solution exists on the approximation level, we synthesize the maximally permissive supervisor for Sigma (l). We show that it also solves the control problem for the underlying hybrid system Sigma. If no solution exists, approximation accuracy can be increased by computing the strongest k-complete abstraction Sigma (k), k > l. The basic ideas regarding the approximation step are explained within the framework of Willems' behavioral systems theory. Implementation issues are treated in a state space framework, and the main results are interpreted from a traditional control engineering point of view. copyright 2002 Kluwer Academic Publishers [accessed 2014 April 1st]

Details

show
hide
Language(s): eng - English
 Dates: 2002
 Publication Status: Published in print
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Method: Peer
 Identifiers: eDoc: 13738
DOI: 10.1023/A:1013339920783
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Discrete Event Dynamic Systems
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: Boston : Kluwer
Pages: - Volume / Issue: 12 (1) Sequence Number: - Start / End Page: 83 - 107 Identifier: ISSN: 0924-6703
CoNE: /journals/resource/954925566725_1