Logical-algebraic equations application in discrete-event systems studying
Nadezhda Nagul · 2016
Discrete-event systems (DESs) are a wide range of models used primarily to deal with complex technological objects, e.g. communication networks and computer systems. To regulate DES behavior, Ramadge-Wonham supervisory control theory is often used. As usual, only a part of DES's event set is available for supervisor to obtain control pattern. However, sometimes information about the system state is provided by sensors. The issue of correlation between one essential property of supervisors for a DES with state and event observation and for a DES with event observation only is studied using the method of logical-algebraic equations, proved to be very useful in studying various dynamical systems.