Pages that link to "Item:Q2065231"
From MaRDI portal
The following pages link to On verification of D-detectability for discrete event systems (Q2065231):
Displaying 14 items.
- Generalized detectability for discrete event systems (Q539906) (← links)
- Detectability in stochastic discrete event systems (Q897674) (← links)
- Detectability of discrete event systems with dynamic event observation (Q962185) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Detectability of networked discrete event systems (Q1790664) (← links)
- Complexity of deciding detectability in discrete event systems (Q1797011) (← links)
- Verification of C-detectability using Petri nets (Q2023240) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete (Q2409237) (← links)
- An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
- Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems (Q6080230) (← links)
- On the verification of detectability for timed discrete event systems (Q6550243) (← links)