Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
From MaRDI portal
Publication:2409354
Recommendations
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems
- Synthesizing strategies for homogeneous multi-agent systems with incomplete information
- On the timed temporal logic planning of coupled multi-agent systems
- On the supervisory control of multi-agent product systems: controllability properties
- Compositional synthesis of reactive controllers for multi-agent systems
Cites work
- scientific article; zbMATH DE number 3254905 (Why is no real title available?)
- Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
- Algebra of communicating processes with abstraction
- An implementation of an efficient algorithm for bisimulation equivalence
- Application of supervisory control theory to theme park vehicles
- Blocking in Fully Connected Networks of Arbitrary Size
- Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition
- Distributed supervisory control of discrete-event systems with communication delay
- Dynamic input/output automata: a formal and compositional model for dynamic systems
- Flocking for Multi-Agent Dynamic Systems: Algorithms and Theory
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
- On the computation of observers in discrete-event systems
- String execution time for finite languages: max is easy, min is hard
- Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
- Supervisory Control Architecture for Discrete-Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces
- The Verification and Control of Interacting Similar Discrete-Event Systems
Cited in
(8)- On the supervisory control of multi-agent product systems: controllability properties
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems
- On scalable supervisory control of multi-agent discrete-event systems
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Modular control of discrete-event systems using similarity
- Policy Synthesis for Collective Dynamics
- Synthesizing strategies for homogeneous multi-agent systems with incomplete information
- A modular synthesis approach for the coordination of multi-agent systems: the multiple team case
This page was built for publication: Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409354)
