Pages that link to "Item:Q2563779"

The following pages link to Hierarchical control of discrete-event systems (Q2563779):

Displaying 32 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)
• On the complexity of synthesizing a minimum-weighted supervisor under partial observation (Q458885) (← links)
• A framework for state attraction of discrete event systems under partial observation (Q507660) (← links)
• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator (Q553375) (← links)
• Abstraction-based verification of codiagnosability for discrete event systems (Q710695) (← links)
• Supervisory control of discrete event systems with distinguishers (Q889009) (← links)
• Abstraction-based failure diagnosis for discrete event systems (Q962191) (← links)
• The hierarchical control of ST-finite-state machines (Q1127555) (← links)
• System theory for system identification. (Q1421324) (← links)
• Bisimilar linear systems. (Q1421437) (← links)
• Supervisory control of discrete event systems (Q1922191) (← links)
• Supervisory control synthesis of discrete-event systems using a coordination scheme (Q1941245) (← links)
• Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)
• On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
• Coordination control of discrete-event systems revisited (Q2348358) (← links)
• A hierarchical and modular control architecture for sequential behaviours (Q2348360) (← links)
• Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder (Q2348366) (← links)
• Supervisory control of discrete event systems with flexible marking (Q2511869) (← links)
• Supervisory control of product and hierarchical discrete event systems (Q2511886) (← links)
• Hierarchical control of timed discrete-event systems (Q2563780) (← links)
• Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems (Q2821258) (← links)
• Incremental hierarchical construction of modular supervisors for discrete-event systems (Q3543066) (← links)
• Optimal non‐blocking decentralized supervisory control with unobservable controllable events (Q5194895) (← links)
• A language measure for partially observed discrete event systems (Q5485928) (← links)
• Coordination Control of Distributed Discrete-Event Systems (Q5496926) (← links)
• Branching time controllers for discrete event systems (Q5958466) (← links)
• On the computation of natural observers in discrete-event systems (Q5962024) (← links)
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026) (← links)
• A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
• A modular synthesis approach for the coordination of multi-agent systems: the multiple team case (Q6544794) (← links)
• On efficient relabeling of symmetric discrete-event systems (Q6579079) (← links)