上一条： Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
下一条： Decentralized supervisory control with intersection-based architecture
