Pages that link to "Item:Q1822944"

The following pages link to Decentralized supervisory control of discrete-event systems (Q1822944):

Displaying 50 items.

• Development of concurrent structural decentralised discrete event system using bisimulation concept (Q330298) (← links)
• Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
• Verification of initial-state opacity in security applications of discrete event systems (Q497279) (← links)
• Minimal sensor activation and minimal communication in discrete-event systems (Q503031) (← links)
• A framework for state attraction of discrete event systems under partial observation (Q507660) (← links)
• Supervisory control for collision avoidance in vehicular networks using discrete event abstractions (Q513177) (← links)
• Decentralized supervisory control of fuzzy discrete event systems (Q522738) (← links)
• Generalized detectability for discrete event systems (Q539906) (← links)
• Minimax control of switching systems under sampling (Q672436) (← links)
• Formulas for calculating supremal controllable and normal sublanguages (Q752649) (← links)
• A polynomial dynamic system approach to software design for attractivity requirement (Q881898) (← links)
• Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems (Q942318) (← links)
• Detectability of discrete event systems with dynamic event observation (Q962185) (← links)
• Nonconflict check by using sequential automaton abstractions based on weak observation equivalence (Q976261) (← links)
• Reliable decentralized supervisory control of fuzzy discrete event systems (Q983035) (← links)
• Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← links)
• On observability of discrete-event systems (Q1102899) (← links)
• Modular supervisory control of discrete-event systems (Q1113863) (← links)
• On supervisory control of real-time discrete-event systems (Q1115839) (← links)
• Control of large scale discrete event systems: task allocation and coordination (Q1190394) (← links)
• An algebraic approach to supervisory control (Q1190821) (← links)
• Invertibility of discrete-event dynamic systems (Q1198560) (← links)
• Decentralized supervisory control of discrete event systems with nonhomogeneous control structure (Q1208142) (← links)
• On-line control of partially observed discrete event systems (Q1332442) (← links)
• Detection and mitigation of classes of attacks in supervisory control systems (Q1716512) (← links)
• PSPACE-completeness of modular supervisory control problems (Q1773103) (← links)
• Detectability of networked discrete event systems (Q1790664) (← links)
• Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations (Q1797083) (← links)
• Supervisory control of discrete event systems (Q1922191) (← links)
• Supervisory control synthesis of discrete-event systems using a coordination scheme (Q1941245) (← links)
• Incremental model evolution and reusability of supervisors for discrete event systems (Q1962005) (← links)
• Using subobservers to synthesize opacity-enforcing supervisors (Q2106417) (← links)
• Deterministic supervisory control with flexible upper-bounds on observation delay and control delay (Q2165979) (← links)
• Natural projection as partial model checking (Q2208303) (← links)
• Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
• Supervisory control of discrete-event systems under attacks (Q2292112) (← links)
• Coordination control of discrete-event systems revisited (Q2348358) (← links)
• Computation of supervisors for reconfigurable machine tools (Q2348361) (← links)
• Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder (Q2348366) (← links)
• New results on supervisor localization, with case studies (Q2348367) (← links)
• Performance optimization for a class of generalized stochastic Petri nets (Q2348377) (← links)
• Undecidable problems of decentralized observation and control on regular languages (Q2390212) (← links)
• Supervisory control of switching control systems (Q2474450) (← links)
• On computation of supremal controllable, normal sublanguages (Q2504587) (← links)
• Structural decentralised control of concurrent discrete-event systems (Q2512246) (← links)
• Hierarchical control of discrete-event systems (Q2563779) (← links)
• Hierarchical control of timed discrete-event systems (Q2563780) (← links)
• Supervision localization of timed discrete-event systems (Q2628493) (← links)
• A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks (Q2833528) (← links)
• Supervisory control of discrete event systems with state-dependent controllability (Q3183744) (← links)