Pages that link to "Item:Q1737732"
From MaRDI portal
The following pages link to Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732):
Displaying 13 items.
- Diagnosability of discrete event systems with modular structure (Q853677) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Complexity of deciding detectability in discrete event systems (Q1797011) (← links)
- On verification of D-detectability for discrete event systems (Q2065231) (← links)
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (Q2348371) (← links)
- An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
- Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
- A general language-based framework for specifying and verifying notions of opacity (Q2673762) (← links)
- (Q4989409) (← links)
- Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
- Networked opacity for finite state machine with bounded communication delays (Q6071273) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
- Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)
