Pages that link to "Item:Q2390212"

The following pages link to Undecidable problems of decentralized observation and control on regular languages (Q2390212):

Displaying 20 items.

• Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
• Priority scheduling of distributed systems based on model checking (Q453501) (← links)
• Achieving distributed control through model checking (Q453529) (← links)
• Information tracking in games on graphs (Q616037) (← links)
• Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
• Games for synthesis of controllers with partial observation. (Q1401346) (← links)
• Decentralized observability of discrete event systems with synchronizations (Q1679893) (← links)
• Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
• Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
• Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
• The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
• Undecidable problems of decentralized observation and control on regular languages (Q2390212) (← links)
• Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
• Partial order techniques for distributed discrete event systems: why you cannot avoid using them (Q2465674) (← links)
• Undecidability in decentralized supervision (Q2504549) (← links)
• State Estimation and Fault Detection Using Petri Nets (Q3011880) (← links)
• A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
• Relative coobservability for decentralised supervisory control of discrete-event systems (Q4967658) (← links)
• A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
• Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder (Q6100443) (← links)