The following pages link to (Q3154377):
Displaying 4 items.
- Maximally permissive supervisor synthesis based on a new constraint transformation method (Q445132) (← links)
- Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement (Q838995) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
