Pages that link to "Item:Q3427785"
From MaRDI portal
The following pages link to The Verification and Control of Interacting Similar Discrete-Event Systems (Q3427785):
Displaying 8 items.
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates (Q680540) (← links)
- Modular control of discrete-event systems using similarity (Q2151956) (← links)
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates (Q2409354) (← links)
- Supervisory control of modular systems with global specification languages (Q2440703) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems (Q5165335) (← links)
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components (Q5348355) (← links)
- A modular synthesis approach for the coordination of multi-agent systems: the multiple team case (Q6544794) (← links)
