Pages that link to "Item:Q1788686"
From MaRDI portal
The following pages link to Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686):
Displayed 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)
