Pages that link to "Item:Q3493235"

The following pages link to The infimal closed controllable superlanguage and its application in supervisory control (Q3493235):

Displaying 25 items.

• A framework for state attraction of discrete event systems under partial observation (Q507660) (← 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)
• An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions (Q998679) (← links)
• Formulae relating controllability, observability, and co-observability (Q1129683) (← links)
• On tolerable and desirable behaviors in supervisory control of discrete event systems (Q1180362) (← links)
• On nonconflicting languages that arise in supervisory control of discrete event systems (Q1186853) (← links)
• A graph-theoretic optimal control problem for terminating discrete event processes (Q1201754) (← links)
• On optimal attraction in discrete-event processes (Q1204794) (← links)
• Decentralized supervisory control of discrete event systems with nonhomogeneous control structure (Q1208142) (← links)
• Supervisory control using augmented languages in discrete event systems (Q1314846) (← links)
• Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
• Supervisory control of a class of concurrent discrete event systems under partial observation (Q1773097) (← links)
• Recursive computation of limited lookahead supervisory controls for discrete event systems (Q1801471) (← links)
• The infimal prefix-closed and observable superlanguage of a given language (Q1814432) (← links)
• Stabilization and blocking in state feedback control of discrete event systems (Q1842519) (← links)
• Distributed inversion in timed discrete event systems (Q1901411) (← links)
• Supervisory control of (max,+) automata: extensions towards applications (Q2799292) (← links)
• (Q3152840) (← links)
• Absolute controllability of predicates in discrete event systems (Q4841432) (← links)
• Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks (Q5254886) (← links)
• Supervisory Control with Complete Observations (Q5496921) (← links)
• Logical models of discrete even systems: a comparative exposition (Q5955794) (← links)
• Discussion on: ``Supervisory control of discrete event systems with flexible marking'' (Q5971307) (← links)