Pages that link to "Item:Q1424972"
From MaRDI portal
The following pages link to Supervisor reduction for discrete-event systems (Q1424972):
Displaying 25 items.
- Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory (Q312653) (← links)
- Generating conditions for preserving the properties of controlled discrete event systems (Q329088) (← links)
- Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems (Q732247) (← links)
- Designing communicating transaction processes by supervisory control theory (Q878112) (← links)
- What information really matters in supervisor reduction? (Q1626914) (← links)
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems (Q1640292) (← links)
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)
- Discrete-event systems subject to unknown sensor attacks (Q2128094) (← links)
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis (Q2151821) (← links)
- Consistent reduction in discrete-event systems (Q2151838) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- New results on supervisor localization, with case studies (Q2348367) (← links)
- Compositional synthesis of maximally permissive supervisors using supervision equivalence (Q2465421) (← links)
- Supervision localization of timed discrete-event systems (Q2628493) (← links)
- Exploiting symmetry in the synthesis of supervisors for discrete event systems (Q4540504) (← links)
- Supervisor localisation for large-scale discrete-event systems under partial observation (Q4960167) (← links)
- Composite supervisory control for symmetric discrete-event systems (Q5134309) (← links)
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems (Q5165335) (← links)
- Progressive events in supervisory control and compositional verification (Q5257781) (← links)
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components (Q5348355) (← links)
- A framework for synthesis of communicating decentralised supervisors for discrete-event systems (Q5410841) (← links)
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026) (← links)
- A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems (Q6496167) (← links)
- On coparanormality in distributed supervisory control of discrete-event systems (Q6578475) (← links)
