Title :
Modifying HYTECH to automatically synthesize hybrid controllers
Author :
Deshpande, Ranjana G. ; Musliner, David J. ; Tierno, Jorge E. ; Goldman, Robert P.
Author_Institution :
Automated Reasoning Group, Honeywell Labs., Minneapolis, MN, USA
Abstract :
We present HONEYTECH, a tool for automatic synthesis of hybrid controllers. HONEYTECH is an extension of the HYTECH tool, with added features for linear hybrid automata region analysis. The tool has been used to implement the Wong-Toi hybrid controller synthesis algorithm and has been tested on several examples. We present an extension of the algorithm to include parametrized controllable transitions. We discuss the HONEYTECH implementation of the algorithm and its application to a very simple navigation control system. We also present a brief performance evaluation of the algorithm for increasing scales of magnitude of the control problem
Keywords :
automata theory; control system analysis computing; navigation; HONEYTECH; HYTECH modification; HYTECH tool extension; Wong-Toi hybrid controller synthesis algorithm; control problem; hybrid controller synthesis; linear hybrid automata region analysis; parametrized controllable transitions; performance evaluation; simple navigation control system; Algorithm design and analysis; Automata; Automatic control; Automatic testing; Control system synthesis; Control systems; Cost accounting; Electrical equipment industry; Laboratories; Navigation;
Conference_Titel :
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-7061-9
DOI :
10.1109/.2001.981052
