Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
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 alp...
Saved in:
| Published in: | Automatica (Oxford) Vol. 79; pp. 244 - 255 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier Ltd
01-05-2017
|
| Subjects: | |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| Author | Su, Rong Lennartson, Bengt |
| Author_xml | – sequence: 1 givenname: Rong surname: Su fullname: Su, Rong email: rsu@ntu.edu.sg organization: School of Electrical & Electronic Engineering, Nanyang Technological University, 50 Nanyang Avenue, Singapore 639798, Singapore – sequence: 2 givenname: Bengt surname: Lennartson fullname: Lennartson, Bengt email: bengt.lennartson@chalmers.se organization: Department of Signals and Systems, Chalmers University of Technology, Hörsalsvägen 11, Gothenburg, Sweden |
| BackLink | https://research.chalmers.se/publication/249404$$DView record from Swedish Publication Index |
| BookMark | eNqFkd1u2zAMhYWiBZZ2fQe9gD39OLZ82QX7KVBgF9uuBVqiFwW2lInKirz9FGTYLndFHpDnA8hzz25jisgYl6KVQvbvDi2cSlqhBAetEnJohWyF0DdsI82gG2V0f8s2QohtI8Vo3rB7okOVnTRqw867FEtOCz_mVJKrDZ1j2SMF4nPKfD0tJTTwA2OpEyq4En8NZc8prGGBzMGVkCLxEKlALAEKej7ntPKrCaLnGX-eQsb1oivhuNQlesvuZlgIH__UB_b944dvu8_Ny5dPz7unl8bpsSuNliP6GeTo9db3KMXs1SyUlNO47XQvfTerQU3OeeNB6wknNW6hV8bpefCT1A_s65VLr3g8TfaYwwr5bBMEm5EQsttbt4dlxUyW0Gow2LvO2H5Abbuh7-yIztleaA-jMt4ZqFRzpbqciDLOf7lS2Esw9mD_BWMvwVghbQ2mWt9frViv_hUwW3IBo0Nff-SK9Sn8H_IbhTOjKg |
| CitedBy_id | crossref_primary_10_1016_j_ifacol_2020_12_2783 crossref_primary_10_1016_j_automatica_2022_110431 crossref_primary_10_1016_j_conengprac_2018_09_003 crossref_primary_10_1109_TAC_2023_3333792 crossref_primary_10_1109_LCSYS_2021_3134368 crossref_primary_10_1007_s10626_024_00393_3 crossref_primary_10_1016_j_automatica_2018_04_006 crossref_primary_10_1016_j_ifacol_2022_10_337 crossref_primary_10_1016_j_ifacol_2019_12_143 crossref_primary_10_1109_TAC_2017_2692561 |
| Cites_doi | 10.1109/TCST.2008.924574 10.1137/040610209 10.1016/j.automatica.2012.04.004 10.1109/TAC.2010.2042342 10.1109/ICWS.2004.1314806 10.1109/TAC.2005.864190 10.1016/j.automatica.2013.08.007 10.1109/TAC.2011.2157391 10.1137/0325013 10.1109/APSEC.2010.28 10.1109/ACC.2005.1470239 10.1016/0167-6423(90)90071-K 10.1109/TAC.2009.2039237 10.1109/TAC.2008.927679 10.1147/rd.32.0114 10.1023/B:DISC.0000005010.55515.27 10.1007/s10626-012-0130-6 10.1109/TAC.2012.2191852 10.1016/j.automatica.2011.06.024 10.1016/0304-3975(85)90088-X |
| ContentType | Journal Article |
| Copyright | 2017 Elsevier Ltd |
| Copyright_xml | – notice: 2017 Elsevier Ltd |
| DBID | AAYXX CITATION ADTPV AOWAS F1S |
| DOI | 10.1016/j.automatica.2017.01.003 |
| DatabaseName | CrossRef SwePub SwePub Articles SWEPUB Chalmers tekniska högskola |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1873-2836 |
| EndPage | 255 |
| ExternalDocumentID | oai_research_chalmers_se_3a8e6c48_67e3_4764_9ecc_603da928dc8a 10_1016_j_automatica_2017_01_003 S0005109817300122 |
| GrantInformation_xml | – fundername: Wingquist Laboratory VINN Excellence Centre – fundername: Singapore Ministry of Education Tier 1 Academic Research grantid: M4011221.040 RG84/13 (2013-T1-002-177) |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 23N 3R3 4.4 457 4G. 5GY 5VS 6TJ 7-5 71M 8P~ 9JN 9JO AAAKF AAAKG AABNK AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AARIN AAXUO ABDEX ABFNM ABFRF ABJNI ABMAC ABUCO ABXDB ABYKQ ACBEA ACDAQ ACGFO ACGFS ACNNM ACRLP ADBBV ADEZE ADIYS ADMUD ADTZH AEBSH AECPX AEFWE AEKER AENEX AFFNX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHPGS AI. AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ APLSM ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA HAMUX HLZ HVGLF HZ~ H~9 IHE J1W JJJVA K-O KOM LG9 LY7 M41 MO0 N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ RXW SBC SDF SDG SDP SES SET SEW SPC SPCBC SSB SSD SST SSZ T5K T9H TAE TN5 VH1 WH7 WUQ X6Y XFK XPP ZMT ~G- AAXKI AAYXX AFJKZ AKRWK CITATION ADTPV AOWAS F1S |
| ID | FETCH-LOGICAL-c394t-319edfa19d35d6e10fd2f0211b954361d4f272bccd8da33beb295a628c3f7db13 |
| ISSN | 0005-1098 |
| IngestDate | Tue Oct 01 22:05:57 EDT 2024 Thu Sep 26 16:55:26 EDT 2024 Fri Feb 23 02:23:46 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Controllability Discrete-event modeling Agent and requirement templates Control protocol Supervisor synthesis Multi-agent systems |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c394t-319edfa19d35d6e10fd2f0211b954361d4f272bccd8da33beb295a628c3f7db13 |
| PageCount | 12 |
| ParticipantIDs | swepub_primary_oai_research_chalmers_se_3a8e6c48_67e3_4764_9ecc_603da928dc8a crossref_primary_10_1016_j_automatica_2017_01_003 elsevier_sciencedirect_doi_10_1016_j_automatica_2017_01_003 |
| PublicationCentury | 2000 |
| PublicationDate | 2017-05-01 |
| PublicationDateYYYYMMDD | 2017-05-01 |
| PublicationDate_xml | – month: 05 year: 2017 text: 2017-05-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationTitle | Automatica (Oxford) |
| PublicationYear | 2017 |
| Publisher | Elsevier Ltd |
| Publisher_xml | – name: Elsevier Ltd |
| References | Nazari, Thistle (br000050) 2012; 57 Wonham (br000130) 2016 Ramadge, Wonham (br000065) 1987; 25 Shamma (br000090) 2008 Su, Van Schuppen, Rooda (br000110) 2012; 57 Busi, Gorrieri, Guidi, Lucchi, Zavattaro (br000010) 2005; Vol. 3826 Kleene (br000045) 1956 Su (br000095) 2013; 49 Bergstra, Klop (br000015) 1985; 37 Cai, Wonham (br000020) 2010; 55 Rabin, Scott (br000060) 1959; 3 (pp. 1859–1864). Forschelen, Van de Mortel, Su, Rooda (br000040) 2012; 22 Su, Van Schuppen, Rooda (br000100) 2010; 55 Wong, Wonham (br000125) 2004; 14 Attie, P.C., & Lynch, N.A. (2013). Dynamic input/output automata: a formal and compositional model for dynamic systems. MIT-CSAIL-TR-2013-015. Ren, W. (2005). A survey of consensus problems in multi-agent coordination. In (pp. 738–741). Seacord, Plakosh, Lewis (br000080) 2003 Su, Woeginger (br000115) 2011; 47 Olfati-Saber (br000055) 2006; 51 Feng, Wonham (br000025) 2008; 53 (pp. 166–175). Sun, J., Liu, Y., Dong, J.S., Pu, G., & Tan, T.H. (2010). Model-based methods for linking web service choreography and orchestration. In Su, Van Schuppen, Rooda (br000105) 2012; 48 Seow, Pham, Ma, Yokoo (br000085) 2009; 17 Fernandez (br000030) 1990; 13 Foster, H., Uchitel, S., Magee, J., & Kramer, J. (2004). Compatibility verification for web service choreography. In Rohloff, Lafortune (br000075) 2006; 45 Ramadge (10.1016/j.automatica.2017.01.003_br000065) 1987; 25 10.1016/j.automatica.2017.01.003_br000070 Kleene (10.1016/j.automatica.2017.01.003_br000045) 1956 Seow (10.1016/j.automatica.2017.01.003_br000085) 2009; 17 Feng (10.1016/j.automatica.2017.01.003_br000025) 2008; 53 10.1016/j.automatica.2017.01.003_br000035 Shamma (10.1016/j.automatica.2017.01.003_br000090) 2008 Fernandez (10.1016/j.automatica.2017.01.003_br000030) 1990; 13 Seacord (10.1016/j.automatica.2017.01.003_br000080) 2003 Nazari (10.1016/j.automatica.2017.01.003_br000050) 2012; 57 Su (10.1016/j.automatica.2017.01.003_br000095) 2013; 49 Rabin (10.1016/j.automatica.2017.01.003_br000060) 1959; 3 10.1016/j.automatica.2017.01.003_br000120 Cai (10.1016/j.automatica.2017.01.003_br000020) 2010; 55 Rohloff (10.1016/j.automatica.2017.01.003_br000075) 2006; 45 Su (10.1016/j.automatica.2017.01.003_br000115) 2011; 47 Wonham (10.1016/j.automatica.2017.01.003_br000130) 2016 Su (10.1016/j.automatica.2017.01.003_br000110) 2012; 57 Busi (10.1016/j.automatica.2017.01.003_br000010) 2005; Vol. 3826 Olfati-Saber (10.1016/j.automatica.2017.01.003_br000055) 2006; 51 10.1016/j.automatica.2017.01.003_br000005 Bergstra (10.1016/j.automatica.2017.01.003_br000015) 1985; 37 Wong (10.1016/j.automatica.2017.01.003_br000125) 2004; 14 Su (10.1016/j.automatica.2017.01.003_br000105) 2012; 48 Su (10.1016/j.automatica.2017.01.003_br000100) 2010; 55 Forschelen (10.1016/j.automatica.2017.01.003_br000040) 2012; 22 |
| References_xml | – year: 2003 ident: br000080 article-title: Modernizing legacy systems: software technologies, engineering processes, and business practices contributor: fullname: Lewis – volume: 14 start-page: 55 year: 2004 end-page: 107 ident: br000125 article-title: On the computation of observers in discrete-event systems publication-title: Discrete Event Dynamic Systems contributor: fullname: Wonham – volume: 47 start-page: 2326 year: 2011 end-page: 2329 ident: br000115 article-title: String execution time for finite languages: max is easy, min is hard publication-title: Automatica contributor: fullname: Woeginger – volume: 57 start-page: 1233 year: 2012 end-page: 1242 ident: br000050 article-title: Blocking in fully connected networks of arbitrary size publication-title: IEEE Transactions on Automatic Control contributor: fullname: Thistle – volume: 37 start-page: 77 year: 1985 end-page: 121 ident: br000015 article-title: Algebra of communicating processes with abstraction publication-title: Theoretical Computer Science contributor: fullname: Klop – volume: 51 start-page: 401 year: 2006 end-page: 420 ident: br000055 article-title: Flocking for multi-agent dynamic systems: algorithms and theory publication-title: IEEE Transactions on Automatic Control contributor: fullname: Olfati-Saber – volume: Vol. 3826 start-page: 228 year: 2005 end-page: 240 ident: br000010 article-title: Choreography and orchestration: a synergic approach for system design publication-title: Proceedings of 2005 international conference on service oriented computing contributor: fullname: Zavattaro – volume: 22 start-page: 511 year: 2012 end-page: 540 ident: br000040 article-title: Application of supervisory control theory to theme park vehicles publication-title: Journal of Discrete-Event Dynamic Systems contributor: fullname: Rooda – volume: 25 start-page: 206 year: 1987 end-page: 230 ident: br000065 article-title: Supervisory control of a class of discrete event systems publication-title: SIAM Journal on Control and Optimization contributor: fullname: Wonham – year: 2016 ident: br000130 article-title: Supervisory control of discrete-event systems contributor: fullname: Wonham – volume: 3 start-page: 114 year: 1959 end-page: 125 ident: br000060 article-title: Finite automata and their decision problems publication-title: IBM Journal of Research and Development contributor: fullname: Scott – volume: 13 start-page: 219 year: 1990 end-page: 236 ident: br000030 article-title: An implementation of an efficient algorithm for bisimulation equivalence publication-title: Science of Computer Programming contributor: fullname: Fernandez – volume: 45 start-page: 634 year: 2006 end-page: 667 ident: br000075 article-title: The verification and control of interacting similar discrete-event systems publication-title: SIAM Journal on Control and Optimization contributor: fullname: Lafortune – volume: 53 start-page: 1449 year: 2008 end-page: 1461 ident: br000025 article-title: Supervisory control architecture for discrete-event systems publication-title: IEEE Transactions on Automatic Control contributor: fullname: Wonham – start-page: 3 year: 1956 end-page: 41 ident: br000045 article-title: Representation of events in nerve nets and finite automata publication-title: Automata studies contributor: fullname: Kleene – volume: 57 start-page: 105 year: 2012 end-page: 118 ident: br000110 article-title: The synthesis of time optimal supervisors by using heaps-of-pieces publication-title: IEEE Transactions on Automatic Control contributor: fullname: Rooda – volume: 17 start-page: 405 year: 2009 end-page: 415 ident: br000085 article-title: Coordination planning: applying control synthesis methods for a class of distributed agents publication-title: IEEE Transactions on Control Systems Technology contributor: fullname: Yokoo – volume: 49 start-page: 3502 year: 2013 end-page: 3506 ident: br000095 article-title: Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition publication-title: Automatica contributor: fullname: Su – volume: 48 start-page: 1237 year: 2012 end-page: 1247 ident: br000105 article-title: Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems publication-title: Automatica contributor: fullname: Rooda – volume: 55 start-page: 1627 year: 2010 end-page: 1640 ident: br000100 article-title: Aggregative synthesis of distributed supervisors based on automaton abstraction publication-title: IEEE Transactions on Automatic Control contributor: fullname: Rooda – volume: 55 start-page: 605 year: 2010 end-page: 618 ident: br000020 article-title: Supervisor localization: a top-down approach to distributed control of discrete-event systems publication-title: IEEE Transactions on Automatic Control contributor: fullname: Wonham – year: 2008 ident: br000090 article-title: Cooperative control of distributed multi-agent systems contributor: fullname: Shamma – volume: 17 start-page: 405 issue: 2 year: 2009 ident: 10.1016/j.automatica.2017.01.003_br000085 article-title: Coordination planning: applying control synthesis methods for a class of distributed agents publication-title: IEEE Transactions on Control Systems Technology doi: 10.1109/TCST.2008.924574 contributor: fullname: Seow – volume: 45 start-page: 634 issue: 2 year: 2006 ident: 10.1016/j.automatica.2017.01.003_br000075 article-title: The verification and control of interacting similar discrete-event systems publication-title: SIAM Journal on Control and Optimization doi: 10.1137/040610209 contributor: fullname: Rohloff – volume: 48 start-page: 1237 issue: 7 year: 2012 ident: 10.1016/j.automatica.2017.01.003_br000105 article-title: Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems publication-title: Automatica doi: 10.1016/j.automatica.2012.04.004 contributor: fullname: Su – volume: Vol. 3826 start-page: 228 year: 2005 ident: 10.1016/j.automatica.2017.01.003_br000010 article-title: Choreography and orchestration: a synergic approach for system design contributor: fullname: Busi – volume: 55 start-page: 1627 issue: 7 year: 2010 ident: 10.1016/j.automatica.2017.01.003_br000100 article-title: Aggregative synthesis of distributed supervisors based on automaton abstraction publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2010.2042342 contributor: fullname: Su – ident: 10.1016/j.automatica.2017.01.003_br000035 doi: 10.1109/ICWS.2004.1314806 – volume: 51 start-page: 401 issue: 3 year: 2006 ident: 10.1016/j.automatica.2017.01.003_br000055 article-title: Flocking for multi-agent dynamic systems: algorithms and theory publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2005.864190 contributor: fullname: Olfati-Saber – volume: 49 start-page: 3502 issue: 11 year: 2013 ident: 10.1016/j.automatica.2017.01.003_br000095 article-title: Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition publication-title: Automatica doi: 10.1016/j.automatica.2013.08.007 contributor: fullname: Su – volume: 57 start-page: 105 issue: 1 year: 2012 ident: 10.1016/j.automatica.2017.01.003_br000110 article-title: The synthesis of time optimal supervisors by using heaps-of-pieces publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2011.2157391 contributor: fullname: Su – year: 2016 ident: 10.1016/j.automatica.2017.01.003_br000130 contributor: fullname: Wonham – volume: 25 start-page: 206 issue: 1 year: 1987 ident: 10.1016/j.automatica.2017.01.003_br000065 article-title: Supervisory control of a class of discrete event systems publication-title: SIAM Journal on Control and Optimization doi: 10.1137/0325013 contributor: fullname: Ramadge – ident: 10.1016/j.automatica.2017.01.003_br000120 doi: 10.1109/APSEC.2010.28 – ident: 10.1016/j.automatica.2017.01.003_br000070 doi: 10.1109/ACC.2005.1470239 – ident: 10.1016/j.automatica.2017.01.003_br000005 – volume: 13 start-page: 219 issue: 2–3 year: 1990 ident: 10.1016/j.automatica.2017.01.003_br000030 article-title: An implementation of an efficient algorithm for bisimulation equivalence publication-title: Science of Computer Programming doi: 10.1016/0167-6423(90)90071-K contributor: fullname: Fernandez – volume: 55 start-page: 605 issue: 3 year: 2010 ident: 10.1016/j.automatica.2017.01.003_br000020 article-title: Supervisor localization: a top-down approach to distributed control of discrete-event systems publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2009.2039237 contributor: fullname: Cai – year: 2008 ident: 10.1016/j.automatica.2017.01.003_br000090 contributor: fullname: Shamma – volume: 53 start-page: 1449 issue: 6 year: 2008 ident: 10.1016/j.automatica.2017.01.003_br000025 article-title: Supervisory control architecture for discrete-event systems publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2008.927679 contributor: fullname: Feng – volume: 3 start-page: 114 issue: 2 year: 1959 ident: 10.1016/j.automatica.2017.01.003_br000060 article-title: Finite automata and their decision problems publication-title: IBM Journal of Research and Development doi: 10.1147/rd.32.0114 contributor: fullname: Rabin – year: 2003 ident: 10.1016/j.automatica.2017.01.003_br000080 contributor: fullname: Seacord – volume: 14 start-page: 55 issue: 1 year: 2004 ident: 10.1016/j.automatica.2017.01.003_br000125 article-title: On the computation of observers in discrete-event systems publication-title: Discrete Event Dynamic Systems doi: 10.1023/B:DISC.0000005010.55515.27 contributor: fullname: Wong – volume: 22 start-page: 511 issue: 4 year: 2012 ident: 10.1016/j.automatica.2017.01.003_br000040 article-title: Application of supervisory control theory to theme park vehicles publication-title: Journal of Discrete-Event Dynamic Systems doi: 10.1007/s10626-012-0130-6 contributor: fullname: Forschelen – start-page: 3 year: 1956 ident: 10.1016/j.automatica.2017.01.003_br000045 article-title: Representation of events in nerve nets and finite automata contributor: fullname: Kleene – volume: 57 start-page: 1233 issue: 5 year: 2012 ident: 10.1016/j.automatica.2017.01.003_br000050 article-title: Blocking in fully connected networks of arbitrary size publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2012.2191852 contributor: fullname: Nazari – volume: 47 start-page: 2326 issue: 10 year: 2011 ident: 10.1016/j.automatica.2017.01.003_br000115 article-title: String execution time for finite languages: max is easy, min is hard publication-title: Automatica doi: 10.1016/j.automatica.2011.06.024 contributor: fullname: Su – volume: 37 start-page: 77 issue: 1 year: 1985 ident: 10.1016/j.automatica.2017.01.003_br000015 article-title: Algebra of communicating processes with abstraction publication-title: Theoretical Computer Science doi: 10.1016/0304-3975(85)90088-X contributor: fullname: Bergstra |
| SSID | ssj0004182 |
| Score | 2.3368814 |
| Snippet | 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... |
| SourceID | swepub crossref elsevier |
| SourceType | Open Access Repository Aggregation Database Publisher |
| StartPage | 244 |
| SubjectTerms | Agent and requirement templates Automation & Control Systems Control protocol Controllability coordination Discrete-event modeling discrete-event systems Engineering Multi-agent systems Supervisor Supervisor synthesis supervisory control |
| Title | Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates |
| URI | https://dx.doi.org/10.1016/j.automatica.2017.01.003 https://research.chalmers.se/publication/249404 |
| Volume | 79 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://sdu.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1di9QwFA3j7os-iJ-4fpEH36TSJG2a4tO4jqwivswK-xbSJnV30Y44M6D_3ntz0w9QYUV8KUMhbdp7eu-ZcO4JY888zM4p32SNa32GIMmM0WWGmxBIX6rGRTuGk3X14cy8XhWrxWJQLU3n_muk4RzEGjtn_yLa40XhBPyGmMMRog7HK8X9OGnP0YBhA1FGTwIgeeg7gorCKCDMHDZUJRfn1N-2vfhygYpUanRAlRbyRvj-kZLGJhQaFPXoAfXDcWHxOXpbfUbCOqe5y_1uE71gXbQz_U4K-nHNYb0nUXeqmlEP1PfwMKn961XoP-3m6xFQ40b1Hy2SDY0ykyqJEi8antKG0y8C5VpTqQzYjZ4nY9pZZsimZA2ZCrMkP99fcj4tP1yi4ic9Gir2qujGmqupzo3qw3UkrjAZgWb9QkIFP5SQpyBNHi7frs7eTY21wpDdfJp9koKRQPD39_sjv5kb0UbycnqL3Uz_OviS4HKbLUJ_h92YeVHeZT8ScPgAHD4Ch0P4-Aw4PAGHI3B4Ag5PwOFz4HAEDqdBABw-Aw4fgXOPfXyzOj0-ydK-HFmr6mIHZbsOvnOi9qr0Ooi887IDriiauiyUFr7oZCWbtvUG8oBqQiPr0mlpWtVVvhHqPjvoN314wHiQQIdVHnLXFUXdeVfVcK1OKhWUNHl7xMTwNu1Xsl-xgy7x0k4RsBgBmwu0uj1iL4fXbhONJHpoATFXGP2eIjXeDw3Yk_PWuW3P47ZGW7sNVjkTdFsYq6ugbFHpwtaQEa3OlXe1NL417uE_TeYRuz59Yo_Zwe7bPjxh17Z-_zRB9Sf6j7zA |
| link.rule.ids | 230,315,782,786,887,27933,27934 |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Control+protocol+synthesis+for+multi-agent+systems+with+similar+actions+instantiated+from+agent+and+requirement+templates&rft.jtitle=Automatica+%28Oxford%29&rft.au=Su%2C+Rong&rft.au=Lennartson%2C+Bengt&rft.date=2017-05-01&rft.pub=Elsevier+Ltd&rft.issn=0005-1098&rft.eissn=1873-2836&rft.volume=79&rft.spage=244&rft.epage=255&rft_id=info:doi/10.1016%2Fj.automatica.2017.01.003&rft.externalDocID=S0005109817300122 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0005-1098&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0005-1098&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0005-1098&client=summon |