上一条: Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
下一条: Decentralized Fault Prognosis of Discrete-Event Systems Using State-Estimate-Based Protocols