Viability of controllers for hybrid machines

Author

Heymann, Michael ; Lin, Feng ; Meyer, George

Author_Institution

Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel

Volume

1

fYear

1997

fDate

10-12 Dec 1997

Firstpage

714

Abstract

In this paper, we study the control of composite hybrid machines (CHM) subject to configuration-based safety specifications. CHM are a class of hybrid systems modeled in modular fashion as the concurrent operation of elementary hybrid machines (EHM). We recall our algorithm presented previously (1997) for synthesis of minimally-interventive controllers that guarantee constraint satisfaction. The paper focuses on essential questions associated with viability of a synthesized controller as related to the possibility of Zenoness of the controlled system. A hybrid system is Zeno if it can undergo an unbounded number of transitions in a bounded length of time

Keywords

automata theory; constraint handling; control system synthesis; control systems; safety; CHM; EHM; Zenoness; composite hybrid machines; configuration-based safety specifications; constraint satisfaction; controller viability; elementary hybrid machines; minimally-interventive controller synthesis; synthesized controller; Automata; Automatic control; Computer science; Control system synthesis; Control systems; Law; Legal factors; Safety; Size control; Space technology;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 1997., Proceedings of the 36th IEEE Conference on

Conference_Location

San Diego, CA

ISSN

0191-2216

Print_ISBN

0-7803-4187-2

Type

conf

DOI

10.1109/CDC.1997.650719

Filename

650719