Pages that link to "Item:Q1729041"
From MaRDI portal
The following pages link to Trajectory detectability of discrete-event systems (Q1729041):
Displaying 8 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)
- I-S detectability of partially-observed discrete event systems: a novel matrix-based method (Q2687822) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
- On the verification of detectability for timed discrete event systems (Q6550243) (← links)
- Matrix approach to I-detectability of partially observed discrete event systems (Q6578823) (← links)
- Path detectability verification for time-dependent systems with application to flexible manufacturing systems (Q6658942) (← links)