Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
DOI10.1016/J.AUTOMATICA.2017.01.003zbMATH Open1371.93082OpenAlexW2592496194MaRDI QIDQ2409354FDOQ2409354
Authors: Rong Su, Bengt Lennartson 
Publication date: 11 October 2017
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2017.01.003
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
controllabilitymulti-agent systemssupervisor synthesisagent and requirement templatescontrol protocoldiscrete-event modeling
Approximation methods and heuristics in mathematical programming (90C59) Controllability (93B05) Agent technology and artificial intelligence (68T42) Decentralized systems (93A14) Synthesis problems (93B50)
Cites Work
- Flocking for Multi-Agent Dynamic Systems: Algorithms and Theory
- Algebra of communicating processes with abstraction
- Supervisory Control of a Class of Discrete Event Processes
- Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
- Dynamic input/output automata: a formal and compositional model for dynamic systems
- Application of supervisory control theory to theme park vehicles
- Supervisory Control Architecture for Discrete-Event Systems
- An implementation of an efficient algorithm for bisimulation equivalence
- Title not available (Why is that?)
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
- Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
- On the computation of observers in discrete-event systems
- Distributed supervisory control of discrete-event systems with communication delay
- The Verification and Control of Interacting Similar Discrete-Event Systems
- String execution time for finite languages: max is easy, min is hard
- Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition
- Blocking in Fully Connected Networks of Arbitrary Size
- The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces
Cited In (6)
- On the supervisory control of multi-agent product systems: controllability properties
- 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)
