Pages that link to "Item:Q4031515"

The following pages link to Think globally, act locally: decentralized supervisory control (Q4031515):

Displaying 50 items.

• Application of supervisory control theory to theme park vehicles (Q351743) (← links)
• Priority scheduling of distributed systems based on model checking (Q453501) (← links)
• Achieving distributed control through model checking (Q453529) (← links)
• Privacy preserving minimal observability for composite transactional services (Q481362) (← links)
• Decentralized supervisory control of fuzzy discrete event systems (Q522738) (← links)
• Building distributed controllers for systems with priorities (Q541297) (← links)
• Information tracking in games on graphs (Q616037) (← links)
• Decentralized control of infinite systems (Q645050) (← links)
• Mind the gap: expanding communication options in decentralized discrete-event control (Q646415) (← links)
• Sharing out control in distributed processes (Q673967) (← 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)
• Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor (Q869096) (← links)
• Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures (Q880441) (← links)
• Diagnosis of discrete event systems using decentralized architectures (Q884759) (← links)
• An efficient modular method for the control of concurrent discrete event systems: A language-based approach (Q884762) (← links)
• Supervisory control of discrete event systems with distinguishers (Q889009) (← links)
• Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
• Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
• Reliable decentralized supervisory control of fuzzy discrete event systems (Q983035) (← links)
• Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays (Q1023147) (← links)
• Supervisory control of the structured dynamic discrete-event systems (Q1040544) (← links)
• The hierarchical control of ST-finite-state machines (Q1127555) (← links)
• Formulae relating controllability, observability, and co-observability (Q1129683) (← links)
• Decentralized supervisory control of discrete event systems with nonhomogeneous control structure (Q1208142) (← links)
• Decentralized state feedback control of discrete event systems (Q1323633) (← links)
• On-line control of partially observed discrete event systems (Q1332442) (← links)
• Games for synthesis of controllers with partial observation. (Q1401346) (← links)
• Design of decentralized critical observers for networks of finite state machines: a formal method approach (Q1678627) (← links)
• Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
• Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
• PSPACE-completeness of modular supervisory control problems (Q1773103) (← links)
• Detectability of networked discrete event systems (Q1790664) (← links)
• Supervisory control of discrete event systems (Q1922191) (← links)
• On conditional decomposability (Q1932746) (← links)
• Decentralized diagnosis of fuzzy discrete-event systems (Q1937327) (← links)
• Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
• Incremental model evolution and reusability of supervisors for discrete event systems (Q1962005) (← links)
• Opacity of networked discrete event systems (Q2053901) (← links)
• Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays (Q2058568) (← links)
• Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
• Epistemic interpretations of decentralized discrete-event system problems (Q2081081) (← links)
• On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
• A branch and bound approach for the design of decentralized supervisors in Petri net models (Q2342792) (← links)
• Coordination control of discrete-event systems revisited (Q2348358) (← links)
• Robustness of synchronous communication protocols with delay for decentralized discrete-event control (Q2348364) (← links)
• Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder (Q2348366) (← links)
• The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← links)
• Modular strategies for recursive game graphs (Q2368953) (← links)
• Undecidable problems of decentralized observation and control on regular languages (Q2390212) (← links)