English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Supervisory control of hybrid systems via l-complete approximations

Moor, T., Raisch, J., & O'Young, S. D. (1998). Supervisory control of hybrid systems via l-complete approximations. In A. Giua (Ed.), Proceedings / WODES '98 - 4th International Workshop on Discrete Event Systems (pp. 426-431).

Item is

Basic

show hide
Item Permalink: http://hdl.handle.net/11858/00-001M-0000-0013-A328-6 Version Permalink: http://hdl.handle.net/11858/00-001M-0000-0028-1B04-D
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Moor, T.1, Author
Raisch, J.2, Author              
O'Young, S. D.3, Author
Affiliations:
1Universität der Bundeswehr Hamburg, ou_persistent22              
2Systems and Control Theory, Max Planck Institute for Dynamics of Complex Technical Systems, Max Planck Society, ou_1738154              
3Memorial University of Newfoundland, Canada, ou_persistent22              

Content

show
hide
Free keywords: -
 Abstract: This contribution addresses the synthesis of supervisory control for hybrid systems with discrete external signals. Such systems are in general neither l-complete nor can they be represented by finite state machines. We find an l-complete approximation (abstraction) Σl for Σ, represent it by a finite state machine, and investigate the control problem for the approximation. If a solution exists, we synthesize the maximally permissive supervisor for Σl. We show that it also solves the control problem for the hybrid system Σ. If no solution exists, approximation accuracy can be increased by computing a k-complete abstraction Σk, k > l. This paper is entirely set within the framework of Willems' behavioural systems theory.

Details

show
hide
Language(s): eng - English
 Dates: 1998
 Publication Status: Published in print
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Method: Peer
 Identifiers: eDoc: 116761
 Degree: -

Event

show
hide
Title: WODES `98
Place of Event: Cagliari, Italy
Start-/End Date: 1998-08-26 - 1998-08-28

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings / WODES '98 - 4th International Workshop on Discrete Event Systems
Source Genre: Proceedings
 Creator(s):
Giua, A., Editor
Affiliations:
-
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 426 - 431 Identifier: -