Pages that link to "Item:Q1401346"

The following pages link to Games for synthesis of controllers with partial observation. (Q1401346):

Displaying 41 items.

• Branching-time logics with path relativisation (Q386037) (← links)
• Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
• Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
• Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
• Games with winning conditions of high Borel complexity (Q817850) (← links)
• Distributed synthesis for well-connected architectures (Q842581) (← links)
• Solvability of centralized supervisory control under partial observation (Q858155) (← links)
• Modal specifications for the control theory of discrete event systems (Q884763) (← links)
• Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
• A decidable class of problems for control under partial observation (Q1041809) (← links)
• Parity game reductions (Q1656552) (← links)
• Control design for nondeterministic input/output automata (Q1662972) (← links)
• Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
• Ambiguous classes in \(\mu\)-calculi hierarchies (Q1770419) (← links)
• Modal event-clock specifications for timed component-based design (Q1951603) (← links)
• Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
• Approximately bisimilar symbolic model for switched systems with unstable subsystems (Q2148459) (← links)
• Supervisory control of state-tree structures with partial observation (Q2200558) (← links)
• Natural projection as partial model checking (Q2208303) (← links)
• Synthesis of covert actuator attackers for free (Q2220340) (← links)
• Dynamic control with indistinguishable events (Q2256883) (← links)
• Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
• Undecidability in decentralized supervision (Q2504549) (← links)
• Synthesis of covert actuator and sensor attackers (Q2665344) (← links)
• TWO LOCAL STRATEGY ITERATION SCHEMES FOR PARITY GAME SOLVING (Q2909223) (← links)
• Cooking Your Own Parity Game Preorders Through Matching Plays (Q3177339) (← links)
• Controller/Orchestrator Synthesis via Filtration (Q3185761) (← links)
• (Q3384882) (← links)
• REASONING ABOUT TRANSFINITE SEQUENCES (Q3426789) (← links)
• Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← links)
• On Distributed Program Specification and Synthesis in Architectures with Cycles (Q3613067) (← links)
• Solving Parity Games in Practice (Q3648698) (← links)
• Expressiveness and succinctness of a logic of robustness (Q4586143) (← links)
• Permissive strategies: from parity games to safety games (Q4800258) (← links)
• (Q5013885) (← links)
• (Q5111624) (← links)
• Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition (Q5166610) (← links)
• (Q5227517) (← links)
• Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications (Q6198141) (← links)
• Finite-step approximately bi-similar symbolic model for switched systems (Q6559382) (← links)
• Finite-step alternating approximately bi-similar symbolic model for Markov jump systems (Q6569388) (← links)