Pages that link to "Item:Q539906"

The following pages link to Generalized detectability for discrete event systems (Q539906):

Displaying 19 items.

• Minimal sensor activation and minimal communication in discrete-event systems (Q503031) (← links)
• Detectability of discrete event systems with dynamic event observation (Q962185) (← 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)
• 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)
• Detectability verification of probabilistic Boolean networks (Q2056383) (← 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)
• Detectability of labeled weighted automata over monoids (Q2081085) (← links)
• Information control in networked discrete event systems and its application to battery management systems (Q2197580) (← links)
• On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
• Matrix approach to detectability of discrete event systems (Q2316509) (← 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)
• Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
• Online prognosis of stochastic discrete event systems with guaranteed performance bound (Q6136112) (← links)