Pages that link to "Item:Q816701"

The following pages link to Multitasking supervisory control of discrete-event systems (Q816701):

Displaying 14 items.

• Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems (Q692384) (← links)
• Multitasking supervisory control of discrete-event systems (Q816701) (← links)
• Multi-level hierarchical interface-based supervisory control (Q987647) (← links)
• Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
• Robust nonblocking supervisory control of discrete-event systems under partial observation (Q2433426) (← links)
• Compositional synthesis of maximally permissive supervisors using supervision equivalence (Q2465421) (← links)
• Incremental hierarchical construction of modular supervisors for discrete-event systems (Q3543066) (← links)
• On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices (Q5026918) (← links)
• Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks (Q5254886) (← links)
• Progressive events in supervisory control and compositional verification (Q5257781) (← links)
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026) (← links)
• Compositional non-blockingness verification of finite automata with prioritised events (Q6544792) (← links)
• A modular synthesis approach for the coordination of multi-agent systems: the multiple team case (Q6544794) (← links)
• Quantitatively nonblocking supervisory control of discrete-event systems (Q6632516) (← links)