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.