Pages that link to "Item:Q4304556"

The following pages link to A unified approach to control problems in discrete event processes (Q4304556):

Displaying 10 items.

• Sharing out control in distributed processes (Q673967) (← links)
• Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
• Games for synthesis of controllers with partial observation. (Q1401346) (← links)
• Nivat's processes and their synchronization (Q1603683) (← links)
• Supervisory control of discrete event systems (Q1922191) (← links)
• Observation-assisted heuristic synthesis of covert attackers against unknown supervisors (Q2081087) (← links)
• Synthesis of covert actuator attackers for free (Q2220340) (← links)
• Synthesis of covert actuator and sensor attackers (Q2665344) (← links)
• Permissive strategies: from parity games to safety games (Q4800258) (← links)
• Synthesis of optimal covert sensor-actuator attackers for discrete-event systems (Q6164022) (← links)