Pages that link to "Item:Q2350825"
From MaRDI portal
The following pages link to Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition (Q2350825):
Displaying 6 items.
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates (Q680540) (← links)
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations (Q1797083) (← links)
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates (Q2409354) (← links)
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components (Q5348355) (← links)
- An efficient simulation procedure for the expected opportunity cost using metamodels (Q6049054) (← links)
- A modular synthesis approach for the coordination of multi-agent systems: the multiple team case (Q6544794) (← links)