Abstract :
A well known obstruction to design based on supervisory control theory (SCT) is exponential state space explosion. Heuristics derived from system interconnection relationships may, however, prove effective in mitigating design complexity. By use of a new modeling tool, the control-flow net, we formalize several intuitive systemic properties and identify when they are applicable. On this basis it is often possible to derive transparent and robust control logic for optimal nonblocking supervisory control, without recourse to brute-force computation.
Keywords :
control system synthesis; discrete event systems; optimal control; robust control; state-space methods; control-flow nets; discrete-event systems; exponential state space explosion; optimal nonblocking supervisory control; robust control logic; system interconnection; Automata; Automatic control; Control systems; Discrete event systems; Logic; Optimal control; State-space methods; Supervisory control; System recovery; USA Councils;
