Pages that link to "Item:Q1814432"

The following pages link to The infimal prefix-closed and observable superlanguage of a given language (Q1814432):

Displaying 12 items.

• Information tracking in games on graphs (Q616037) (← links)
• Extremal solutions of inequations over lattices with applications to supervisory control (Q672379) (← links)
• Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
• Solvability of centralized supervisory control under partial observation (Q858155) (← links)
• Formulae relating controllability, observability, and co-observability (Q1129683) (← links)
• Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
• Epistemic interpretations of decentralized discrete-event system problems (Q2081081) (← links)
• Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation (Q2563760) (← links)
• A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
• Supervisory Control with Partial Observations (Q5496922) (← links)
• A modified normality condition for decentralized supervisory control of discrete event systems (Q5953553) (← links)
• Logical models of discrete even systems: a comparative exposition (Q5955794) (← links)