Nonblocking Supervisory Control of State Tree Structures

This monograph proposes how to manage complexity by organizing the system as a State Tree Structure (STS). Based on STS, which is an adaptation of statecharts to Supervisory Control Theory, an efficient recursive symbolic algorithm is presented that can perform nonblocking supervisory control design in reasonable time and memory for complex systems. Nonblocking Supervisory Control of State Tree Structures presents how this results in tractable and highly comprehensible controllers, especially to users who are not specialists in Discrete - Event Systems.

Presents a formalized State Tree Structure model Gives new answers to: How to model and control complex systems? How to make the controller more transparent?

Inhalt
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.