Pages that link to "Item:Q1693819"
From MaRDI portal
The following pages link to Supervisory control and reactive synthesis: a comparative introduction (Q1693819):
Displaying 9 items.
- Synthesis of obfuscation policies to ensure privacy and utility (Q682359) (← links)
- Falsification of combined invariance and reachability specifications in hybrid control systems (Q1693831) (← links)
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems (Q2058495) (← links)
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies (Q2106413) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- (Q4989409) (← links)
- Finite-trace and generalized-reactivity specifications in temporal synthesis (Q6151754) (← links)
- Research Challenges in Orchestration Synthesis (Q6197380) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)
