Pages that link to "Item:Q3543066"

The following pages link to Incremental hierarchical construction of modular supervisors for discrete-event systems (Q3543066):

Displayed 4 items.

• Multi-level hierarchical interface-based supervisory control (Q987647) ‎ (← links)
• Hierarchical planning in a supervisory control context with compositional abstraction (Q2128088) ‎ (← links)
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026) ‎ (← links)
• A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) ‎ (← links)