Logic inference based construction of a supervisor for a discrete event system
Keyword(s):
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 proposes a representation of automata-based discrete event system as a positively constructed formula and implementation of the calculus of positively constructed formulas. The stages of a supervisor construction are illustrated with a simplified model of an autonomous underwater vehicle operational modes switching. The supremal controllable sublanguage of the specification and the supervisor are constructed.
Keyword(s):
Keyword(s):
2019 ◽
Vol 8
(12)
◽
pp. 3887-3891
Keyword(s):