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):
Displayed 6 items.
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates (Q680540) (← 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)