Pages that link to "Item:Q2465421"
From MaRDI portal
The following pages link to Compositional synthesis of maximally permissive supervisors using supervision equivalence (Q2465421):
Displaying 11 items.
- Application of supervisory control theory to theme park vehicles (Q351743) (← links)
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
- Compositional synthesis of supervisors in the form of state machines and state maps (Q503186) (← links)
- On-line compositional controller synthesis for AGV (Q513815) (← links)
- Nonblocking check in fuzzy discrete event systems based on observation equivalence (Q529370) (← links)
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence (Q976261) (← links)
- Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming (Q977004) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
- An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets (Q2398731) (← links)
- Transformational supervisor synthesis for evolving systems (Q2673766) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
