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

Bengt Lennartson, Rong Su

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

zbMATH Keywords

controllabilitymulti-agent systemssupervisor synthesisagent and requirement templatescontrol protocoldiscrete-event modeling

Mathematics Subject Classification ID

Approximation methods and heuristics in mathematical programming (90C59) Controllability (93B05) Agent technology and artificial intelligence (68T42) Decentralized systems (93A14) Synthesis problems (93B50)

Cites Work

• Title not available (Why is that?)
• 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
• 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 (4)

• Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
• Modular control of discrete-event systems using similarity
• Policy Synthesis for Collective Dynamics
• 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)