M. Lemmon et Pj. Antsaklis, INDUCTIVELY INFERRING VALID LOGICAL MODELS OF CONTINUOUS-STATE DYNAMICAL-SYSTEMS, Theoretical computer science, 138(1), 1995, pp. 201-210
Citations number
7
Categorie Soggetti
Computer Sciences","Computer Science Theory & Methods
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.