Pages that link to "Item:Q1729041"
From MaRDI portal
The following pages link to Trajectory detectability of discrete-event systems (Q1729041):
Displaying 4 items.
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
