The synthesis of controllers for linear hybrid automata
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 5, 4607-4612
- https://doi.org/10.1109/cdc.1997.649708
Abstract
We present a semidecision procedure for synthesizingcontrollers for hybrid systems modeled as linear hybridautomata. The procedure is easily modified for partialobservability, at the cost of completeness. The procedurehas been implemented, and tested on the synthesisof controllers for various models of a steam boiler.Since the synthesis procedure may generate controllersthat are Zeno, i.e. they prevent time from diverging,we provide sufficient, but not necessary, conditions onlinear...Keywords
This publication has 14 references indexed in Scilit:
- Control-law synthesis for linear hybrid systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The control of dense real-time discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Discrete-time control for rectangular hybrid automataPublished by Springer Nature ,1997
- Modularity for timed and hybrid systemsPublished by Springer Nature ,1997
- Control synthesis for a class of hybrid systems subject to configuration-based safety constraintsPublished by Springer Nature ,1997
- Symbolic controller synthesis for discrete and timed systemsPublished by Springer Nature ,1995
- Supervisory control of a rapid thermal multiprocessorIEEE Transactions on Automatic Control, 1993
- On observability of discrete-event systemsInformation Sciences, 1988
- Supervisory control of discrete-event processes with partial observationsIEEE Transactions on Automatic Control, 1988
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987