Hybrid Systems with Discrete Specifications

Abstract

In chapters 2-4, FTC design methods for several different classes of HS have been discussed from the stability point of view (i.e., continuous states are globally convergent whatever mode is activated). These methods are based on the continuous system theory, and limited for more general discrete faults, especially, when certain discrete specifications are required.

This chapter considers HS with certain discrete specifications, i.e., it has to follow some specifications imposed on the discrete part of the system. A discrete fault would violate these specifications. As for such fault, one natural idea is to reconfigure the discrete part after faults occur, which can be achieved from discrete event system (DES) point of view. However, compared with pure DES, continuous system behaviors must be taken into account in HS. Two major discrete event system models, namely finite state machine and Petri net are used respectively.