Pages that link to "Item:Q5347662"
From MaRDI portal
The following pages link to Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems (Q5347662):
Displaying 18 items.
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
- Compositional synthesis of supervisors in the form of state machines and state maps (Q503186) (← 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)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)
- Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction (Q2197579) (← 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)
- An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets (Q2398731) (← links)
- Robust and nonlinear control literature survey (No. 25) (Q3098489) (← links)
- Coordination Control of Distributed Discrete-Event Systems (Q4560600) (← links)
- Supervisor localisation for large-scale discrete-event systems under partial observation (Q4960167) (← links)
- Optimal non‐blocking decentralized supervisory control with unobservable controllable events (Q5194895) (← links)
- Coordination Control of Distributed Discrete-Event Systems (Q5496926) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
