Pages that link to "Item:Q2512246"
From MaRDI portal
The following pages link to Structural decentralised control of concurrent discrete-event systems (Q2512246):
Displayed 6 items.
- 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)
- Supervisory control of modular systems with global specification languages (Q2440703) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)