{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T10:00:44Z","timestamp":1777716044394,"version":"3.51.4"},"reference-count":105,"publisher":"SAGE Publications","issue":"14","license":[{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"funder":[{"name":"SELF4COOP"},{"name":"Italian MUR PRIN 2022","award":["2022SKLZAY"],"award-info":[{"award-number":["2022SKLZAY"]}]}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["The International Journal of Robotics Research"],"published-print":{"date-parts":[[2024,12]]},"abstract":"<jats:p>In systems in which many heterogeneous agents operate autonomously, with competing goals and without a centralized planner or global information repository, safety and performance can only be guaranteed by \u201csocial\u201d rules imposed on the behavior of individual agents. Social laws are structured in a way that they can be verified just by using local information made available to an agent by a small number of its neighbors. Automobile mobility with traffic rules and logistics robots in warehouses are canonical examples of such \u201cregulated autonomy\u201d, but many other fairly-competing autonomous systems are to be expected shortly. In these systems, detecting whether an agent is not abiding by the rules is crucial for raising an alert and taking appropriate countermeasures. However, the limited visibility due to the local nature of the information makes the problem of misbehavior detection hard for any single agent, and only an exchange of information between agents can provide sufficient clues to arrive at a decision. This paper attacks the misbehavior detection problem for a class of socially organized autonomous systems, where the behavior of agents depends on the presence or absence of other neighbors. We propose a solution involving a \u201clocal monitor\u201d, which runs on each agent and includes a hybrid observer and a set-valued consensus node. Based on whatever visibility is available, it reconstructs a set-valued occupancy estimate of nearby regions and combines it with communicating neighbors to reach a shared view and a mismatch discovery. We provide a formal framework for describing social rules that unify many different applications and a tool to generate code automatically for local monitors. The technique is demonstrated in various systems, including self-driving cars, autonomous forklifts, and distributed power plants.<\/jats:p>","DOI":"10.1177\/02783649241242812","type":"journal-article","created":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T22:57:12Z","timestamp":1730501832000},"page":"2145-2182","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":0,"title":["Distributed misbehavior monitors for socially organized autonomous systems"],"prefix":"10.1177","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9943-1975","authenticated-orcid":false,"given":"Adriano","family":"Fagiolini","sequence":"first","affiliation":[{"name":"Mobile & Intelligent Robots @ Panormus Laboratory (MIRPALab), Department of Engineering, University of Palermo, Palermo, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluca","family":"Dini","sequence":"additional","affiliation":[{"name":"Department of Information Engineering and the Research Center \u201cE. Piaggio\u201d, Universit\u00e0 di Pisa, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Massa","sequence":"additional","affiliation":[{"name":"Department of Information Engineering and the Research Center \u201cE. Piaggio\u201d, Universit\u00e0 di Pisa, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucia","family":"Pallottino","sequence":"additional","affiliation":[{"name":"Department of Information Engineering and the Research Center \u201cE. Piaggio\u201d, Universit\u00e0 di Pisa, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8635-5571","authenticated-orcid":false,"given":"Antonio","family":"Bicchi","sequence":"additional","affiliation":[{"name":"Department of Information Engineering and the Research Center \u201cE. Piaggio\u201d, Universit\u00e0 di Pisa, Pisa, Italy"},{"name":"Italian Institute of Technology, Genova, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2024,11,1]]},"reference":[{"key":"bibr1-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920961451"},{"key":"bibr2-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-017-9677-2"},{"key":"bibr3-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978335"},{"key":"bibr4-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.6123"},{"key":"bibr5-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813670"},{"key":"bibr6-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1177\/0278364919839137"},{"key":"bibr7-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45873-5_9"},{"key":"bibr8-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1177\/02783649211006735"},{"key":"bibr9-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.09.405"},{"key":"bibr10-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/SSRR.2008.4745886"},{"key":"bibr11-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2010.938839"},{"key":"bibr12-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1007\/s43154-022-00079-4"},{"key":"bibr13-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920957090"},{"key":"bibr14-02783649241242812","volume-title":"Introduction to the Mathematical Theory of Control","volume":"1","author":"Bressan A","year":"2007"},{"key":"bibr15-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920937074"},{"key":"bibr16-02783649241242812","first-page":"5643","volume-title":"Proceedings of International Conference on Robotics and Automation","author":"Caporale D","year":"2019"},{"key":"bibr17-02783649241242812","volume-title":"Introduction to Discrete Event Systems","author":"Cassandras CG","year":"2006"},{"key":"bibr18-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2009.2017516"},{"key":"bibr19-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"bibr20-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2004.824698"},{"key":"bibr21-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-014-9395-y"},{"key":"bibr22-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920903107"},{"key":"bibr23-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015236405696"},{"key":"bibr24-02783649241242812","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431900"},{"key":"bibr25-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.208"},{"key":"bibr26-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1212691"},{"key":"bibr27-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.04.033"},{"key":"bibr28-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2480176"},{"key":"bibr29-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2841941"},{"key":"bibr30-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2023.105655"},{"key":"bibr31-02783649241242812","volume-title":"Proceedings of the IEEE Mediterranean Conference On Control and Automation","author":"Fourlas G","year":"2002"},{"key":"bibr32-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161340"},{"key":"bibr33-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2008.931718"},{"key":"bibr34-02783649241242812","volume-title":"The Jeep Hackers are Back to Prove Car Hacking can Get Much Worse","author":"Greenberg A","year":"2016"},{"key":"bibr35-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2018.00065"},{"key":"bibr36-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377451"},{"key":"bibr37-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSPW.2018.00026"},{"key":"bibr38-02783649241242812","unstructured":"ISO Central Secretary (2009) Information technology - trusted platform module - part 1: overview. Standard ISO\/IEC 11889-1:2009, Intl. Organization for Standardization, Geneva, CH. https:\/\/www.iso.org\/standard\/50970.html."},{"key":"bibr39-02783649241242812","unstructured":"ISO Central Secretary (2015) Information technology - trusted platform module library - part 1: architecture. Standard ISO\/IEC 11889-1:2015, Intl. Organization for Standardization, Geneva, CH. https:\/\/www.iso.org\/standard\/66510.html."},{"key":"bibr40-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.812781"},{"key":"bibr41-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920988087"},{"key":"bibr42-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1002\/rob.21977"},{"key":"bibr43-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/IRC52146.2021.00016"},{"key":"bibr44-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1145\/3146389"},{"key":"bibr45-02783649241242812","doi-asserted-by":"publisher","DOI":"10.3390\/s19184019"},{"key":"bibr46-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1177\/0278364921990671"},{"key":"bibr47-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"bibr48-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139555"},{"key":"bibr49-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2011.08.008"},{"key":"bibr50-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1145\/3597512.3597527"},{"key":"bibr51-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2015.2498192"},{"key":"bibr52-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1080\/00423114.2015.1062899"},{"key":"bibr53-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363977"},{"key":"bibr54-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1080\/00207170310001626798"},{"key":"bibr55-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1177\/02783649211037731"},{"key":"bibr56-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_68"},{"key":"bibr57-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363879"},{"key":"bibr58-02783649241242812","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669336"},{"key":"bibr59-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.04.011"},{"key":"bibr60-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887293"},{"key":"bibr61-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1007\/BF02134011"},{"key":"bibr62-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2007.909810"},{"key":"bibr63-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/70.681242"},{"key":"bibr64-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2158130"},{"key":"bibr65-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2266831"},{"key":"bibr66-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2020.3023059"},{"key":"bibr106-02783649241242812","unstructured":"Petri R, Springer M, Zelle D, et al., 2016, November. Evaluation of lightweight TPMs for automotive software updates over the air. In\n                      Proc. of 4th International Conference on Embedded Security in Car USA\n                      (pp. 1-15)."},{"key":"bibr68-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2005.09.004"},{"key":"bibr69-02783649241242812","volume-title":"Security in Computing","author":"Pfleeger CP","year":"2015"},{"key":"bibr70-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920979368"},{"key":"bibr71-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4"},{"key":"bibr72-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920961809"},{"key":"bibr73-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"bibr74-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"bibr75-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/WC-M.2006.250352"},{"key":"bibr76-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461378"},{"key":"bibr77-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1969.1099133"},{"key":"bibr78-02783649241242812","doi-asserted-by":"publisher","DOI":"10.4271\/2017-01-1652"},{"key":"bibr79-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920917465"},{"key":"bibr80-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/9.746252"},{"key":"bibr81-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00007-N"},{"key":"bibr82-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814926"},{"key":"bibr83-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2013.2272174"},{"key":"bibr84-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-015-9475-7"},{"key":"bibr85-02783649241242812","first-page":"541","volume-title":"Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems","author":"Strobel V","year":"2018"},{"issue":"1","key":"bibr86-02783649241242812","volume":"1","author":"Sumra IA","year":"2011","journal-title":"Computer Science Journal"},{"key":"bibr87-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.05.011"},{"key":"bibr88-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1088\/1748-3190\/10\/1\/016014"},{"key":"bibr89-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2929015"},{"key":"bibr90-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1145\/504729.504754"},{"key":"bibr91-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/ICSSE58758.2023.10227220"},{"key":"bibr92-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3178467"},{"key":"bibr93-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.08.015"},{"key":"bibr94-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1145\/3325822"},{"key":"bibr95-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3060378"},{"key":"bibr96-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2020.3014024"},{"key":"bibr97-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1002\/oca.2284"},{"key":"bibr98-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802763"},{"key":"bibr99-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.814099"},{"key":"bibr100-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.03.037"},{"key":"bibr101-02783649241242812","volume-title":"Hybrid networked control for cyber-physical network systems with applications to interconnected power grids","author":"Zeng X","year":"2015"},{"key":"bibr102-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2014.2301434"},{"key":"bibr103-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2523937"},{"key":"bibr104-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1007\/s43154-021-00046-5"},{"key":"bibr105-02783649241242812","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570640"}],"container-title":["The International Journal of Robotics Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/02783649241242812","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/02783649241242812","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/02783649241242812","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:17:11Z","timestamp":1777457831000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/02783649241242812"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,1]]},"references-count":105,"journal-issue":{"issue":"14","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["10.1177\/02783649241242812"],"URL":"https:\/\/doi.org\/10.1177\/02783649241242812","relation":{},"ISSN":["0278-3649","1741-3176"],"issn-type":[{"value":"0278-3649","type":"print"},{"value":"1741-3176","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11,1]]}}}