24 results on '"Yin Xiang"'
Search Results
2. Optimal supervisory control of discrete event systems for cyclic tasks
3. Model predictive monitoring of dynamical systems for signal temporal logic specifications
4. Sensor deception attacks against security in supervisory control systems
5. A framework for current-state opacity under dynamic information release mechanism
6. Optimal supervisory control with mean payoff objectives and under partial observation
7. Enforcing opacity by insertion functions under multiple energy constraints
8. A new approach for the verification of infinite-step and [formula omitted]-step opacity using two-way observers
9. Codiagnosability and coobservability under dynamic observations: Transformation and verification
10. Verification and enforcement of strong infinite- and [formula omitted]-step opacity using state recognizers
11. Verification and enforcement of strong infinite- and k-step opacity using state recognizers
12. Marking diagnosability verification in labeled Petri nets
13. An improved approach for verifying delayed detectability of discrete-event systems
14. Authors’ Reply to “Comments on “A new approach for the verification of infinite-step and K-step opacity using two-way observers” [Automatica, 2017(80)162-171]”
15. Block-based minimum input design for the structural controllability of complex networks
16. A general approach for optimizing dynamic sensor activation for discrete event systems
17. Deciding detectability for labeled Petri nets
18. Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
19. Infinite-step opacity and [formula omitted]-step opacity of stochastic discrete-event systems
20. Infinite-step opacity and K-step opacity of stochastic discrete-event systems
21. Verification complexity of a class of observational properties for modular discrete events systems
22. Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
23. Decentralized fault prognosis of discrete event systems with guaranteed performance bound
24. A new approach for the verification of infinite-step andK-step opacity using two-way observers
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.