Supervisory control of hybrid systems via l-complete approximations

Moor, T.; Raisch, J.; O'Young, S. D.

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Supervisory control of hybrid systems via l-complete approximations

MPS-Authors

/persons/resource/persons86212

Raisch, J.
Systems and Control Theory, Max Planck Institute for Dynamics of Complex Technical Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

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

Cite as: https://hdl.handle.net/11858/00-001M-0000-0013-A328-6

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.