6 results on '"Wu, Naiqi"'
Search Results
2. Robust predictability of stochastic discrete-event systems and a polynomial-time verification
3. Current-state opacity modelling and verification in partially observed Petri nets
4. Model-based fault identification of discrete event systems using partially observed Petri nets
5. Symbolic state estimation in bounded timed labeled Petri nets
6. Online verification of K-step opacity by Petri nets in centralized and decentralized structures
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.