Pages that link to "Item:Q5962024"

The following pages link to On the computation of natural observers in discrete-event systems (Q5962024):

Displaying 19 items.

• On a structural property in the state complexity of projected regular languages (Q443744) (← links)
• Distributed supervisory control of discrete-event systems with communication delay (Q503030) (← links)
• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator (Q553375) (← links)
• Abstraction-based failure diagnosis for discrete event systems (Q962191) (← links)
• Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
• Supervisory control synthesis of discrete-event systems using a coordination scheme (Q1941245) (← links)
• Natural projection as partial model checking (Q2208303) (← links)
• Synthesis of covert actuator attackers for free (Q2220340) (← links)
• Coordination control of discrete-event systems revisited (Q2348358) (← links)
• Computation of supervisors for reconfigurable machine tools (Q2348361) (← links)
• Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder (Q2348366) (← links)
• Synthesis of covert actuator and sensor attackers (Q2665344) (← links)
• Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems (Q2821258) (← links)
• Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation (Q2979535) (← links)
• Coordination Control of Distributed Discrete-Event Systems (Q4560600) (← links)
• State Complexity of Projected Languages (Q5200092) (← links)
• Coordination Control of Distributed Discrete-Event Systems (Q5496926) (← links)
• A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
• A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems (Q6496167) (← links)