Stable H∞ 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^∞ control systems exhibiting robust stability