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

Volume

2

fYear

2001

fDate

2001

Firstpage

1223

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 2001. Proceedings of the 40th IEEE Conference on

Conference_Location

Orlando, FL

Print_ISBN

0-7803-7061-9

Type

conf

DOI

10.1109/.2001.981052

Filename

981052