Pages that link to "Item:Q5211280"
From MaRDI portal
The following pages link to Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach (Q5211280):
Displaying 12 items.
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← links)
- Enforcing current-state opacity through shuffle and deletions of event observations (Q2065172) (← links)
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'''' (Q2663851) (← links)
- Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
- Non-interference assessment in colored net systems via integer linear programming (Q6193462) (← links)
- Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)
- Security and privacy with opacity-based state observation for finite state machine (Q6578723) (← links)
- Opacity of discrete-event systems under nondeterministic observation mechanism (Q6580966) (← links)
