Bøger af Chuan Ma

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.