Sökning: id:"swepub:oai:research.chalmers.se:3a8e6c48-67e3-4764-9ecc-603da928dc8a" >
Control protocol sy...
Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
-
- Su, R. (författare)
- Nanyang Technological University
-
- Lennartson, Bengt, 1956 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- Elsevier BV, 2017
- 2017
- Engelska.
-
Ingår i: Automatica. - : Elsevier BV. - 0005-1098. ; 79, s. 244-255
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- In this paper we investigate supervisor synthesis for a multi-agent system, which consists of an indefinite number of agents, all instantiated from a given agent template via corresponding language isomorphisms. We call such a system a multi-agent system with similar actions, as their individual alphabets are isomorphic to each other. Each agent shares a common global alphabet with other agents, but their private alphabets are disjoint. All local requirements are also instantiated from a given requirement template. We formulate a control protocol synthesis problem, which assumes that each private alphabet is only observable to the corresponding agent, but the global alphabet is accessible by all agents. Our goal is to compute a control protocol (i.e., a supervisor template) whose instantiations associated with individual agents ensure a controllable, nonblocking and requirement-satisfying behavior of the system, regardless of the total number of constituent agents. A solution to this problem will make the desirable plug-and-play control strategy feasible. We show that the existence of a solution is decidable, and a solution is computable when the answer to the decision problem is positive. To overcome the synthesis complexity, a polynomial-time heuristic algorithm is provided.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Robotteknik och automation (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Robotics (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Supervisor
- Discrete-event modeling
- Multi-agent systems
- discrete-event systems
- Engineering
- coordination
- Agent and requirement templates
- Automation & Control Systems
- supervisory control
Publikations- och innehållstyp
- art (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas