Pages that link to "Item:Q1679097"
From MaRDI portal
The following pages link to Verification complexity of a class of observational properties for modular discrete events systems (Q1679097):
Displaying 13 items.
- Computation of minimal diagnosis bases of discrete-event systems using verifiers (Q510094) (← links)
- Diagnosability of discrete event systems with modular structure (Q853677) (← links)
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← links)
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- Complexity of deciding detectability in discrete event systems (Q1797011) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- On verification of D-detectability for discrete event systems (Q2065231) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
- Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
- (Q5209327) (← links)
- Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems (Q6080230) (← links)