Pages that link to "Item:Q1108988"

The following pages link to On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation (Q1108988):

Displaying 24 items.

• Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively (Q262426) (← links)
• Active fault tolerant control of discrete event systems using online diagnostics (Q534270) (← links)
• Formulas for calculating supremal controllable and normal sublanguages (Q752649) (← 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)
• A new class of supervisors for timed discrete event systems under partial observation (Q859740) (← links)
• On controllability and normality of discrete event dynamical systems (Q1190393) (← links)
• Supervisory control of a class of concurrent discrete event systems under partial observation (Q1773097) (← links)
• Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
• Characterizations and effective computation of supremal relatively observable sublanguages (Q1788694) (← links)
• Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage (Q1801642) (← links)
• Synthesis of sup-interpretations: a survey (Q1935778) (← links)
• Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems (Q2059364) (← links)
• Dealing with sensor and actuator deception attacks in supervisory control (Q2103716) (← links)
• Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies (Q2106413) (← links)
• Supervisory control of state-tree structures with partial observation (Q2200558) (← links)
• Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control (Q2503503) (← links)
• Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation (Q2563760) (← links)
• Stabilization of discrete-event processes (Q3484730) (← links)
• New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage (Q4566940) (← links)
• Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations (Q4733422) (← links)
• Relative coobservability for decentralised supervisory control of discrete-event systems (Q4967658) (← links)
• Characterization of co-observable languages and formulas for their super/sublanguages (Q5274029) (← links)
• Supervisory Control with Partial Observations (Q5496922) (← links)