Pages that link to "Item:Q3543066"
From MaRDI portal
The following pages link to Incremental hierarchical construction of modular supervisors for discrete-event systems (Q3543066):
Displaying 5 items.
- Multi-level hierarchical interface-based supervisory control (Q987647) (← links)
- Hierarchical planning in a supervisory control context with compositional abstraction (Q2128088) (← links)
- (Q3152840) (← 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)
