Pages that link to "Item:Q2563760"

The following pages link to Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation (Q2563760):

Displaying 14 items.

• Active fault tolerant control of discrete event systems using online diagnostics (Q534270) (← links)
• Opacity of discrete event systems and its applications (Q716123) (← links)
• Control of parameterized discrete event systems (Q839004) (← links)
• Near-optimal online control of dynamic discrete-event systems (Q858148) (← links)
• Maximizing robustness of supervisors for partially observed discrete event systems. (Q1428152) (← links)
• Supervisory control of a class of concurrent discrete event systems under partial observation (Q1773097) (← links)
• PSPACE-completeness of modular supervisory control problems (Q1773103) (← links)
• Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
• Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems (Q2059364) (← links)
• Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
• Dealing with sensor and actuator deception attacks in supervisory control (Q2103716) (← links)
• Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
• Estimate based limited lookahead supervisory control for closed language specifications (Q2275047) (← links)
• Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control (Q2503503) (← links)