Pages that link to "Item:Q2980556"
From MaRDI portal
The following pages link to Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems (Q2980556):
Displayed 13 items.
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations (Q1797083) (← links)
- Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays (Q2058568) (← links)
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems (Q2059364) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Supervisory control of state-tree structures with partial observation (Q2200558) (← links)
- Synthesis of covert actuator attackers for free (Q2220340) (← links)
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
- Supervisor localization of discrete-event systems under partial observation (Q2409225) (← links)
- Optimal supervisory control with mean payoff objectives and under partial observation (Q2662323) (← links)
- Performance safety enforcement in stochastic event graphs against boost and slow attacks (Q2665315) (← links)
- Synthesis of covert actuator and sensor attackers (Q2665344) (← links)