Pages that link to "Item:Q2512246"
From MaRDI portal
The following pages link to Structural decentralised control of concurrent discrete-event systems (Q2512246):
Displaying 10 items.
- Development of concurrent structural decentralised discrete event system using bisimulation concept (Q330298) (← links)
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
- Designing communicating transaction processes by supervisory control theory (Q878112) (← links)
- An efficient modular method for the control of concurrent discrete event systems: A language-based approach (Q884762) (← links)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- Supervisory control of modular systems with global specification languages (Q2440703) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- Supervisory Control of Discrete-Event Systems (Q4560599) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
