Pages that link to "Item:Q1788686"

The following pages link to Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686):

Displaying 11 items.

• Performance safety enforcement in strongly connected timed event graphs (Q2021327) (← links)
• Opacity of networked discrete event systems (Q2053901) (← links)
• Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
• Using subobservers to synthesize opacity-enforcing supervisors (Q2106417) (← links)
• An improved approach for marking optimization of timed weighted marked graphs (Q2286328) (← links)
• Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
• Do what you know: coupling knowledge with action in discrete-event systems (Q6080679) (← links)
• Verification and enforcement of current-state opacity based on a state space approach (Q6099923) (← links)
• Game current-state opacity formulation in probabilistic resource automata (Q6125209) (← 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)