Application of the PCF calculus for solving the problem of nonblocking supervisory control of discrete event systems
Artem Davydov, Александр Ларионов, Nadezhda Nagul · Journal of Physics Conference Series · 2021
Abstract The paper provides a general view on the original logical inference based approach to dealing with discrete event systems as subject to supervisory control theory. The approach suggests a representation of discrete event system as a positively constructed formula to imply automated logical inference in the calculus of positively constructed formulas. During the inference, languages of the discrete event system are generated and analyzed. The minimally restricting supervisor for uncontrollable specification may be also designed. A nonblocking supervisor design is illustrated with a simplified model of autonomous underwater vehicle operational modes switching.