Pages that link to "Item:Q2348360"

The following pages link to A hierarchical and modular control architecture for sequential behaviours (Q2348360):

Displaying 2 items.

• On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
• Progressive events in supervisory control and compositional verification (Q5257781) (← links)