Pages that link to "Item:Q1123861"

The following pages link to On the control of discrete-event dynamical systems (Q1123861):

Displaying 28 items.

• Refinement modal logic (Q476194) (← links)
• Sharing out control in distributed processes (Q673967) (← links)
• Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
• Approximating the minimal sensor selection for supervisory control (Q853685) (← 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)
• An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions (Q998679) (← links)
• Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← links)
• On controllability and normality of discrete event dynamical systems (Q1190393) (← links)
• Decentralized state feedback control of discrete event systems (Q1323633) (← links)
• On-line control of partially observed discrete event systems (Q1332442) (← links)
• System theory for system identification. (Q1421324) (← links)
• Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
• Supervisory control of a class of concurrent discrete event systems under partial observation (Q1773097) (← links)
• Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations (Q1797083) (← links)
• Recursive computation of limited lookahead supervisory controls for discrete event systems (Q1801471) (← links)
• Supervisory control of discrete event systems (Q1922191) (← links)
• Supervisory control of discrete-event systems under attacks (Q2292112) (← links)
• Undecidable problems of decentralized observation and control on regular languages (Q2390212) (← links)
• Online minimization of sensor activation for supervisory control (Q2409274) (← links)
• Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
• Undecidability in decentralized supervision (Q2504549) (← links)
• A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
• Controller/Orchestrator Synthesis via Filtration (Q3185761) (← links)
• On the corrective control of sequential machines (Q4714640) (← links)
• Supervisory Control with Partial Observations (Q5496922) (← links)
• A survey of computational complexity results in systems and control (Q5926262) (← links)
• Logical models of discrete even systems: a comparative exposition (Q5955794) (← links)