Computation of State Avoidance Control for Innnite State Systems in Assignment Program Framework

  • Vijay K. GargDepartment
  • Published 1995
In this paper we study supervisory control of discrete event systems using state variables for representation and speciication. The motivation is two fold: rstly, a state variable representation allows a concise characterization of systems with innnitely many states, and secondly, state variable speciication allows characterization of qualitative properties… CONTINUE READING