摘要:AbstractAfter highlighting the difficulties encountered when implementing a supervisor on a real controller and the limitations of existing solutions to handle them, this paper presents asignal-interpreted approachto the Supervisory Control Theory problem. Due to the differences between event- and signal-based approaches, new algorithms are introduced to apply a Supervisory Control Theory (SCT) approach on the basis of signal-interpreted Boolean Finite Automata extended with variables (EBFAs). The advantages of the proposed signal-interpreted approach are illustrated both on simple structures throughout the paper and on a case study at the end.
关键词:KeywordsDiscrete Event SystemsSupervisory Control TheoryAutomataFinite State MachineProgrammable Logic Controllers