Pages that link to "Item:Q5962026"
From MaRDI portal
The following pages link to Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026):
Displaying 3 items.
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
- Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems (Q2821258) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
