A first-order logic based approach to problems of decentralized supervisory control of DES
Artem Davydov, Александр Ларионов, Nadezhda Nagul · AIP conference proceedings · 2018
A new way of formalizing and solving various control problems for the important class of dynamic systems known as DES is suggested. The formalization is based on the original first-order logic calculus of the positively-constructed formulas (PCF). A PCF-based algorithm for checking the co-observability property of a specification language restricting DES behavior is presented. Co-observable languages serve as specifications for the decentralized supervisors, which are necessary to implement group control tasks. The approach is demonstrated on the example of a discrete-event model of an autonomous underwater vehicle, which describes AUV’s high-level operation modes switching while following the leader, in a surveillance mission, performed by the AUV group.