Knowledge-Based Control Synthesis of Discrete Event Dynamic Systems

Abstract

An approach to dealing with the problem of the control synthesis for discrete event dynamic systems (DEDS) is presented in this chapter. It simultaneously utilizes both the analytical model of the system to be controlled and the knowledge representation expressing the control task specifications (like criteria, constraints, etc.) by means of a knowledge base (KB) in analytical terms. Both the model and the KB are created by means of an analogy with corresponding kinds of Petri nets (PN), oriented graphs (OG) and the combination of them. As to the occurrence there are distinguished two principal kinds of the discrete events here: 1) the spontaneous discrete events (their occurrence cannot be influenced from the outside - e.g. some specific singularities or some failures); 2) the events which can be influenced from the outside - i.e. controllable events.