{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:22:58Z","timestamp":1758273778346},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,9,24]],"date-time":"2020-09-24T00:00:00Z","timestamp":1600905600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,9,24]],"date-time":"2020-09-24T00:00:00Z","timestamp":1600905600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[2020,11]]},"DOI":"10.1007\/s10846-020-01201-4","type":"journal-article","created":{"date-parts":[[2020,9,24]],"date-time":"2020-09-24T03:45:12Z","timestamp":1600919112000},"page":"729-750","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Controller Code Generation for Swarm Robotics Using Probabilistic Timed Supervisory Control Theory (ptSCT)"],"prefix":"10.1007","volume":"100","author":[{"given":"Faezeh","family":"Mirzaei","sequence":"first","affiliation":[]},{"given":"Ali Akbar","family":"Pouyan","sequence":"additional","affiliation":[]},{"given":"Mohsen","family":"Biglari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,24]]},"reference":[{"key":"1201_CR1","doi-asserted-by":"publisher","unstructured":"Abdelwahed, S., Wonham, W.M.: Blocking detection in discrete event systems. In: Proceeding of the American control conference, pp. 1673\u20131678, 2003. ISBN 0-7803-7896-2. https:\/\/doi.org\/10.1051\/apido","DOI":"10.1051\/apido"},{"issue":"3","key":"1201_CR2","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1017\/S026357471200032X","volume":"31","author":"JC Barca","year":"2013","unstructured":"Barca, J.C., Sekercioglu, Y.A.: Swarm robotics reviewed. Robotica 31(3), 345\u2013359 (2013). ISSN 02635747. https:\/\/doi.org\/10.1017\/S026357471200032X","journal-title":"Robotica"},{"key":"1201_CR3","doi-asserted-by":"publisher","unstructured":"Bonani, M., Longchamp, V., Magnenat, S., R\u00e9tornaz, P., Burnier, D., Roulet, G., Vaussard, F., Bleuler, H., Mondada, F.: The marXbot, a miniature mobile robot opening new perspectives for the collective-robotic research. In: Proceedings of IEEE\/RSJ international conference on intelligent robots and systems, pp. 4187\u20134193. ISBN 9781424466757. https:\/\/doi.org\/10.1109\/IROS.2010.5649153 (2010)","DOI":"10.1109\/IROS.2010.5649153"},{"issue":"1","key":"1201_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11721-012-0075-2","volume":"7","author":"M Brambilla","year":"2013","unstructured":"Brambilla, M., Ferrante, E., Birattari, M., Dorigo, M.: Swarm robotics : A review from the swarm engineering perspective. Swarm Intell. 7(1), 1\u201341 (2013). ISSN 1935-3812. https:\/\/doi.org\/10.1007\/s11721-012-0075-2","journal-title":"Swarm Intell."},{"issue":"4","key":"1201_CR5","first-page":"17","volume":"9","author":"M Brambilla","year":"2015","unstructured":"Brambilla, M., Dorigo, M., Birattari, M.: Property-driven design for robot swarms : A design method based on prescriptive modeling and model checking. ACM Trans. Aut. Adap. Syst. 9(4), 17 (2015)","journal-title":"ACM Trans. Aut. Adap. Syst."},{"issue":"2","key":"1201_CR6","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/9.272327","volume":"39","author":"BA Brandin","year":"1994","unstructured":"Brandin, B.A., Wonham, W.M.: The supervisory control of timed DES. IEEE Trans. Autom. Control 39(2), 329\u2013342 (1994)","journal-title":"IEEE Trans. Autom. Control"},{"key":"1201_CR7","doi-asserted-by":"crossref","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer Science & Business Media (2009)","DOI":"10.1007\/978-0-387-68612-7"},{"issue":"1","key":"1201_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11721-015-0117-7","volume":"10","author":"E Castello","year":"2016","unstructured":"Castello, E., Yamamoto, T., Libera, F.D., Liu, W., Winfield, A.F.T., Nakamura, Y., Ishiguro, H.: Adaptive foraging for simulated and real robotic swarms: The dynamical response threshold approach. Swarm Intell. 10(1), 1\u201331 (2016). ISSN 19353820","journal-title":"Swarm Intell."},{"issue":"3","key":"1201_CR9","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1109\/TIT.1956.1056813","volume":"2","author":"N Chomsky","year":"1956","unstructured":"Chomsky, N.: Three models for the description of language. IRE Trans. Inf Theory 2(3), 113\u2013124 (1956)","journal-title":"IRE Trans. Inf Theory"},{"issue":"2","key":"1201_CR10","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0019-9958(59)90362-6","volume":"2","author":"N Chomsky","year":"1959","unstructured":"Chomsky, N.: On certain formal properties of grammars. Inf. Control 2(2), 137\u2013167 (1959)","journal-title":"Inf. Control"},{"key":"1201_CR11","unstructured":"Costelha, H., Lima, P.: Modelling, analysis and execution of multi-robot tasks using petri nets. In: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, vol. 3, pp. 1187\u20131190 (2008)"},{"key":"1201_CR12","unstructured":"de Queiroz, M.H., Cury, J.E.R.: Synthesis and implementation of local modular supervisory control for a manufacturing cell. In: 6th international workshop on discrete event systems, pp. 377\u2013382 (2002)"},{"key":"1201_CR13","doi-asserted-by":"crossref","unstructured":"Dixon, C., Winfield, A., Fisher, M.: Towards temporal verification of emergent behaviours in swarm robotic systems. In: Towards autonomous robotic systems, pp. 336\u2013347 (2011)","DOI":"10.1007\/978-3-642-23232-9_30"},{"key":"1201_CR14","doi-asserted-by":"publisher","unstructured":"Emerson, E.A.: Temporal and modal logic. Formal Models and Semantics, pp. 995\u20131072. ISSN 01635719. https:\/\/doi.org\/10.1145\/181911.181920 (1990)","DOI":"10.1145\/181911.181920"},{"key":"1201_CR15","doi-asserted-by":"publisher","unstructured":"Fabian, M., Hellgren, A.: PLC-based implementation of supervisory control for discrete event systems. 37th IEEE conference on decision and control, 3:3305\u20133310. https:\/\/doi.org\/10.1109\/CDC.1998.758209 (1998)","DOI":"10.1109\/CDC.1998.758209"},{"issue":"4","key":"1201_CR16","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/s10626-012-0130-6","volume":"22","author":"STJ Forschelen","year":"2012","unstructured":"Forschelen, S.T.J., van de Mortel-Fronczak, J.M., Su, R., Rooda, J.E.: Application of supervisory control theory to theme park vehicles. Dis. Event Dyn. Syst. 22(4), 511\u2013540 (2012)","journal-title":"Dis. Event Dyn. Syst."},{"issue":"2","key":"1201_CR17","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s11721-014-0092-4","volume":"8","author":"G Francesca","year":"2014","unstructured":"Francesca, G., Brambilla, M., Brutschy, A., Trianni, V., Birattari, M.: AutoMoDe: A novel approach to the automatic design of control software for robot swarms. Swarm Intell. 8(2), 89\u2013112 (2014). ISSN 19353820. https:\/\/doi.org\/10.1007\/s11721-014-0092-4","journal-title":"Swarm Intell."},{"key":"1201_CR18","unstructured":"Garattoni, L., Francesca, G., Brutschy, A., Pinciroli, C., Birattari, M.: Software Infrastructure for E-puck (and TAM). Technical Report TR\/IRIDIA\/2015-004.s Universit\u0117 Libre de Bruxelles (2015)"},{"issue":"1","key":"1201_CR19","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/11721-015-0104-z","volume":"9","author":"JP Hecker","year":"2015","unstructured":"Hecker, J.P., Moses, M.E.: Beyond pheromones: Evolving error-tolerant, flexible, and scalable ant-inspired robot swarms. Swarm Intell. 9(1), 43\u201370 (2015). ISSN 19353820. https:\/\/doi.org\/10.1007\/11721-015-0104-z","journal-title":"Swarm Intell."},{"issue":"5","key":"1201_CR20","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/TSMCA.2003.817387","volume":"33","author":"J King","year":"2003","unstructured":"King, J., Pretty, R.K., Gosine, R.G.: Coordinated execution of tasks in a multiagent environment. IEEE Trans. Syst Man Cybern-Part A Syst Humans 33(5), 615\u2013619 (2003)","journal-title":"IEEE Trans. Syst Man Cybern-Part A Syst Humans"},{"issue":"2","key":"1201_CR21","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.robot.2011.10.005","volume":"6","author":"S Konur","year":"2012","unstructured":"Konur, S., Dixon, C., Fisher, M.: Analysing robot swarm behaviour via probabilistic model checking. Robot. Auto. Syst. 6(2), 199\u2013213 (2012). ISSN 09218890. https:\/\/doi.org\/10.1016\/j.robot.2011.10.005","journal-title":"Robot. Auto. Syst."},{"key":"1201_CR22","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/j.apm.2017.03.021","volume":"47","author":"DA Lima","year":"2017","unstructured":"Lima, D.A., Oliveira, G.M.B.: A cellular automata ant memory model of foraging in a swarm of robots. Appl. Math. Model. 47, 551\u2013572 (2017). ISSN 0307904X. https:\/\/doi.org\/10.1016\/j.apm.2017.03.021","journal-title":"Appl. Math. Model."},{"key":"1201_CR23","unstructured":"Liu, J., Darabi, H.: Ladder logic implementation of Ramadge-Wonham supervisory controller. In: Proceedings of 6th international workshop on discrete event systems, pp. 383\u2013389 (2002)"},{"issue":"14","key":"1201_CR24","doi-asserted-by":"publisher","first-page":"1743","DOI":"10.1177\/0278364910375139","volume":"29","author":"W Liu","year":"2010","unstructured":"Liu, W., Winfield, A.F.T.: Modeling and optimization of adaptive foraging in swarm robotic systems. Int. J. Robot. Res. 29(14), 1743\u20131760 (2010). ISSN 0278-3649. https:\/\/doi.org\/10.1177\/0278364910375139","journal-title":"Int. J. Robot. Res."},{"key":"1201_CR25","unstructured":"Liu, W., Winfield, A.F.T, Sa, J.: Modelling Swarm Robotic Systems: A Case Study in Collective Foraging. In: Towards autonomous robotic systems, pp. 25\u201332 (2007)"},{"key":"1201_CR26","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10458-005-2631-2","volume":"11","author":"L Panait","year":"2005","unstructured":"Panait, L., Luke, S.: Cooperative muli-agent learning: The state of the art. Aut. Agents Multi-Agent Syst. 11, 387\u2013434 (2005). ISSN 13872532. https:\/\/doi.org\/10.1007\/s10458-005-2631-2. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.307.6671&rep=rep1&type=pdf","journal-title":"Aut. Agents Multi-Agent Syst."},{"issue":"1","key":"1201_CR27","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s11721-016-0119-0","volume":"10","author":"YK Lopes","year":"2016","unstructured":"Lopes, Y.K., Trenkwalder, S.M., Leal, A.B., Dodd, T.J., Gro\u00df, R.: Supervisory control theory applied to swarm robotics. Swarm Intell. 10(1), 65\u201397 (2016). ISSN 19353820. https:\/\/doi.org\/10.1007\/s11721-016-0119-0","journal-title":"Swarm Intell."},{"key":"1201_CR28","doi-asserted-by":"publisher","unstructured":"Lopes, Y.K., Trenkwalder, S.M., Leal, A.B., Dodd, T.J., Gro\u00df, R.: Probabilistic supervisory control theory (pSCT) applied to swarm robotics. In: Proceedings of the 16th conference on autonomous agents and multiagent systems, pp 1395\u20131403. https:\/\/doi.org\/10.1007\/s11721-016-0119-0 (2017)","DOI":"10.1007\/s11721-016-0119-0"},{"key":"1201_CR29","doi-asserted-by":"publisher","unstructured":"Lu, Q., Hecker, J.P., Moses, M.E.: The MPFA: A multiple-place foraging algorithm for biologically-inspired robot swarms. In: IEEE\/RSJ international conference on intelligent robots and systems, pp 3815\u20133821. ISBN 9781509037629. https:\/\/doi.org\/10.1109\/IROS.2016.7759561 (2016)","DOI":"10.1109\/IROS.2016.7759561"},{"key":"1201_CR30","doi-asserted-by":"publisher","unstructured":"Lu, Q., Hecker, J.P., Moses, M.E.: Multiple-place swarm foraging with dynamic depots. Autonomous Robots, pages 1\u201318. ISSN 15737527. https:\/\/doi.org\/10.1007\/s10514-017-9693-2 (2018)","DOI":"10.1007\/s10514-017-9693-2"},{"key":"1201_CR31","doi-asserted-by":"crossref","unstructured":"Massink, M., Brambilla, M., Latella, D., Dorigo, M., Birattari, M.: On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics, vol. 7. ISSN 1935-3812 (2013)","DOI":"10.1007\/s11721-013-0079-6"},{"key":"1201_CR32","unstructured":"Mondada, F., Bonani, M., Raemy, X., Pugh, J., Cianci, C., Klaptocz, A., Zufferey, J.-C., Floreano, D., Martinoli, A.: The e-puck, a robot designed for education in engineering. In: Proceedings of the 9th conference on autonomous robot systems and competitions, volume 1, pages 59\u201365. ISBN 978-972-99143-8-6 (2009)"},{"key":"1201_CR33","doi-asserted-by":"publisher","unstructured":"O\u2019Grady, R., Pinciroli, C., Christensen, A.L., Dorigo, M.: Supervised Group Size Regulation in a Heterogeneous Robotic Swarm. In: 9th Conference on Mobile Robots and Competitions, pp. 113\u2013120. ISBN 978-972-99143-8-6. https:\/\/doi.org\/10.1051\/apido (2009)","DOI":"10.1051\/apido"},{"issue":"8","key":"1201_CR34","doi-asserted-by":"publisher","first-page":"2013","DOI":"10.1109\/TAC.2009.2024376","volume":"54","author":"V Pantelic","year":"2009","unstructured":"Pantelic, V., Postma, S.M., Lawford, M.: Supervisory control of probabilistic discrete event systems. IEEE Trans. Autom. Control 54(8), 2013\u20132018 (2009)","journal-title":"IEEE Trans. Autom. Control"},{"key":"1201_CR35","doi-asserted-by":"publisher","unstructured":"Pinciroli, C., Trianni, V., O\u2019Grady, R., Pini, G., Brutschy, A., Brambilla, M., Mathews, N., Ferrante, E., Di Caro, G., Ducatelle, F., Birattari, M., Gambardella, L.M., Dorigo, M.: ARGoS: A modular, parallel, multi-engine simulator for multi-robot systems, vol. 6. ISSN 19353812. https:\/\/doi.org\/10.1007\/s11721-012-0072-5 (2012)","DOI":"10.1007\/s11721-012-0072-5"},{"issue":"1","key":"1201_CR36","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge, P.J., Murray Wonham, W.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206\u2013230 (1987)","journal-title":"SIAM J. Control Optim."},{"key":"1201_CR37","doi-asserted-by":"publisher","unstructured":"Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. In: Proceedings of the IEEE, vol. 77 of 1, pp. 81\u201398. ISBN 0018-9219 VO - 77. https:\/\/doi.org\/10.1109\/5.21072 (1989)","DOI":"10.1109\/5.21072"},{"issue":"1","key":"1201_CR38","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10514-009-9120-4","volume":"27","author":"M Riedmiller","year":"2009","unstructured":"Riedmiller, M., Gabel, T., Hafner, R., Lange, S.: Reinforcement learning for robot soccer. Aut. Robot. 27(1), 55\u201373 (2009). ISSN 09295593. https:\/\/doi.org\/10.1007\/s10514-009-9120-4","journal-title":"Aut. Robot."},{"key":"1201_CR39","doi-asserted-by":"publisher","unstructured":"Sakthivelmurugan, E., Senthilkumar, G., Prithiviraj, K.G., Tinu Devraj, K R.: Foraging behavior analysis of swarm robotics system. In: MATEC web of conferences, vol. 144, pp. 01013. EDP Sciences. https:\/\/doi.org\/10.1051\/matecconf\/201714401013 (2018)","DOI":"10.1051\/matecconf\/201714401013"},{"key":"1201_CR40","doi-asserted-by":"crossref","unstructured":"Silva, D.B., Santos, E.A.P., Vieira, A.D., de Paula, M.A.B.: Application of the supervisory control theory in the project of a robot-centered, variable routed system controller. In: IEEE international conference on emerging technologies and factory automation, pp. 751\u2013758 (2008)","DOI":"10.1109\/ETFA.2008.4638484"},{"issue":"2","key":"1201_CR41","first-page":"199","volume":"15","author":"O Soysal","year":"2007","unstructured":"Soysal, O., Bah\u00e7eci, E., \u015eahin, E.: Aggregation in swarm robotic systems: Evolution and probabilistic control Onur. Turkish J. Elect. Eng. Comput. Sci. 15(2), 199\u2013225 (2007)","journal-title":"Turkish J. Elect. Eng. Comput. Sci."},{"issue":"5","key":"1201_CR42","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1109\/TAC.2007.895948","volume":"52","author":"HG Tanner","year":"2007","unstructured":"Tanner, H.G., Jadbabaie, A., Pappas, G.J.: Flocking in Fixed and Switching Networks Flocking in Fixed and Switching Networks. IEEE Trans. Auto. Control 52(5), 863\u2013868 (2007). ISSN 0018-9286. https:\/\/doi.org\/10.1109\/TAC.2007.895948","journal-title":"IEEE Trans. Auto. Control"},{"key":"1201_CR43","doi-asserted-by":"crossref","unstructured":"Tsalatsanis, A., Yalcin, A., Valavanis, K.P.: Optimized task allocation in cooperative robot teams. In 17th mediterranean conference on control and automation, pp. 270\u2013275 (2009)","DOI":"10.1109\/MED.2009.5164551"},{"issue":"2012","key":"1201_CR44","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1017\/S0263574711000920","volume":"5","author":"A Tsalatsanis","year":"2012","unstructured":"Tsalatsanis, A., Yalcin, A., Valavanis, K.P.: Dynamic task allocation in cooperative robot teams. Robotica 5(2012), 721\u2013730 (2012)","journal-title":"Robotica"},{"issue":"2-4","key":"1201_CR45","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s11721-008-0018-0","volume":"2","author":"AFT Winfield","year":"2008","unstructured":"Winfield, A.F.T., Liu, W., Nembrini, J., Martinoli, A.: Modelling a wireless connected swarm of mobile robot. Swarm Intell. 2(2-4), 241\u2013266 (2008). ISSN 19353812. https:\/\/doi.org\/10.1007\/s11721-008-0018-0","journal-title":"Swarm Intell."},{"issue":"4","key":"1201_CR46","doi-asserted-by":"publisher","first-page":"39","DOI":"10.5772\/5769","volume":"2","author":"AFT Winfield","year":"2005","unstructured":"Winfield, A.F.T., Sa, J., Ferna\u0307ndez-Gago, M.-C., Dixon, C., Fisher, M.: On formal specification of emergent behaviours in swarm robotic systems. Int. J. Adv. Robot. Syst. 2(4), 39 (2005)","journal-title":"Int. J. Adv. Robot. Syst."},{"issue":"1","key":"1201_CR47","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BF02551233","volume":"1","author":"WM Wonham","year":"1988","unstructured":"Wonham, W.M., Ramadge, P.J.: Modular supervisory control of discrete-event systems. Math. Control, Signals Syst. 1(1), 13\u201330 (1988). ISSN 09324194. https:\/\/doi.org\/10.1007\/BF02551233","journal-title":"Math. Control, Signals Syst."},{"key":"1201_CR48","volume-title":"Supervisory control of discrete-event systems v, vol. 20170901","author":"W Wonham","year":"2017","unstructured":"Wonham, W., Cai, K.: Supervisory control of discrete-event systems v, vol. 20170901. Technical report, University of Toronto, Osaka City University (2017)"}],"container-title":["Journal of Intelligent & Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10846-020-01201-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10846-020-01201-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10846-020-01201-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,24]],"date-time":"2021-09-24T07:27:59Z","timestamp":1632468479000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10846-020-01201-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,24]]},"references-count":48,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,11]]}},"alternative-id":["1201"],"URL":"https:\/\/doi.org\/10.1007\/s10846-020-01201-4","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"value":"0921-0296","type":"print"},{"value":"1573-0409","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,24]]},"assertion":[{"value":"1 January 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 April 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 September 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}