The synthesis of controllers for linear hybrid automata

We present a semi-decision procedure for synthesizing controllers for hybrid systems modeled as linear hybrid automata. The procedure is easily modified for partial observability, at the cost of completeness. The procedure has been implemented, and tested on the synthesis of controllers for various...

Full description

Saved in:
Bibliographic Details
Published inProceedings of the 36th IEEE Conference on Decision and Control Vol. 5; pp. 4607 - 4612 vol.5
Main Author Wong-Toi, H.
Format Conference Proceeding
LanguageEnglish
Published IEEE 1997
Subjects
Automata
Automatic control
Automatic generation control
Boilers
Control system synthesis
Control systems
Costs
Linearity
Observability
Testing
Online AccessGet full text

Cover

More Information
Summary:We present a semi-decision procedure for synthesizing controllers for hybrid systems modeled as linear hybrid automata. The procedure is easily modified for partial observability, at the cost of completeness. The procedure has been implemented, and tested on the synthesis of controllers for various models of a steam boiler. Since the synthesis procedure may generate controllers that are Zeno, i.e. they prevent time from diverging, we provide sufficient, but not necessary, conditions on linear hybrid automata that guarantee that any synthesized controller is non-Zeno.
ISBN:0780341872
9780780341876
ISSN:0191-2216
DOI:10.1109/CDC.1997.649708