On the problem of discrete-event systems properties preservation
Nadezhda Nagul, Igor Vyacheslavovich Bychkov · AIP conference proceedings · 2017
The paper presents a novel approach to solving a problem generally arising in studying dynamical systems, namely the problem of a system’s properties preservation under some transformation. Combining algebra, logic and dynamics, the method of logical-algebraic equations (LAE-method) is developed, serving to synthesize criteria for preservation properties of systems connected by special type of morphisms. The LAE-method is applicable to various systems, but we focus on the case of discrete-event systems (DES), which are the systems that evolve in time due to the occurrence of some event sequences. We consider the issues of the LAE-method application to the reduction of supervisor for DES, the problems of DES basic properties, such as observability and controllability, preservation when sensor readings provide information about system’s state and it is available to a supervisor. Decentralized supervisory control is also addressed, in particular, the question whether local supervisors properties are inherited in a global supervisor.