Nonblocking Supervisory Control of State Tree Structures

This monograph proposes how to manage complexity by organizing the system as a State Tree Structure (STS). an efficient recursive symbolic algorithm is presented that can perform nonblocking supervisory control design in reasonable time and memory for complex systems.