INDUCTIVELY INFERRING VALID LOGICAL MODELS OF CONTINUOUS-STATE DYNAMICAL-SYSTEMS

Hybrid control systems consist of a discrete event (DES) controller su pervising a continuous state (CSS) plant. A controller can be synthesi zed by obtaining a DES controller for an equivalent DES representation (DES plant) of the CSS plant. An important issue concerns the logical invariance (stability) of DES plant transitions to variations in the initial CSS plant state. This paper provides a set of sufficient condi tions for the existence of stable transitions in the DES plant. For CS S plants which are affine in their control policies, these conditions form a system of linear inequalities over the space of control vectors used by the CSS plant. Feasible points to this inequality system are inductively determined using a method of centers algorithm known as th e ellipsoid method.