Discrete-Event Systems, Robust Control, Hierarchical Models, Stated-based Supervisory Control, Binary Decision Diagram, State-Tree-Structure, symbolic Calculations