Beschreibung:
It is well-known that the optimal nonblocking supervisory control problem is NP-hard, subject in particular to state space explosion that is exponential in the number of system components. This monograph proposes to manage complexity by organizing the system as a State Tree Structure (STS). STS are an adaptation of statecharts to Supervisory Control Theory. Based on STS an efficient recursive symbolic algorithm is presented that can perform nonblocking supervisory control design in reasonable time and memory for complex systems, with resulting tractable and highly comprehensible controllers. TOC:Introduction.- State Tree Structures: Basics.- Nonblocking Supervisory Control of State Tree Structures.- Symbolic Computation of State Tree Structures.- The Production Cell Example.- The AIP Example.- Conclusions and Future Research