Stable H/sup /spl infin// extensions of hybrid control systems

Hybrid control systems (HCS) arise when the plant, a continuous state system (CSS), is controlled by a discrete event system (DES) controller. It is assumed that there exists a specification on the plant's desired symbolic behaviour which describes how various operational modes of the controlled plant should fit together. One design problem involves determining an HCS that "realizes" the specified behaviour in a "stable" manner. The solution of this problem involves finding a sequence of subgoals and controllers achieving the specified behaviour in a "logically" stable manner. This paper shows how such a "stable" extension can be constructed using multiple H/sup /spl infin// control systems exhibiting robust stability.