{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T17:43:17Z","timestamp":1784137397515,"version":"3.55.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/robot.2009.5152608","type":"proceedings-article","created":{"date-parts":[[2009,8,24]],"date-time":"2009-08-24T11:04:04Z","timestamp":1251111844000},"page":"2723-2728","source":"Crossref","is-referenced-by-count":14,"title":["Dynamic Distributed Intrusion Detection for Secure Multi-Robot Systems"],"prefix":"10.1109","author":[{"given":"Adriano","family":"Fagiolini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Babboni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonio","family":"Bicchi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1007\/3-540-36580-X_38","article-title":"Observability of linear hybrid systems","author":"vidal","year":"2003","journal-title":"Hybrid Systems Computation and Control LNCS"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.05.001"},{"key":"18","author":"vecchio","year":"2001","journal-title":"Complexity Management in the State Estimation of Multi-Agent Systems"},{"key":"15","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-64358-3_34","article-title":"Reachability analysis via face lifting","author":"dang","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"16","first-page":"20","article-title":"Reachability analysis of nonlinear systems using conservative approximation","author":"asarin","year":"2003","journal-title":"Hybrid Systems Computation and Control Lecture Notes in Computer Science"},{"key":"13","first-page":"215","article-title":"Zonotope\/Hyperplane intersection for hybrid systems reachability analysis","author":"girard","year":"2008","journal-title":"Hybrid Systems Computation and Control Lecture Notes in Computer Science"},{"key":"14","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-31954-2_19","article-title":"Reachability of uncertain linear systems using zonotopes","author":"girard","year":"2005","journal-title":"Hybrid Systems Computation and Control Lecture Notes in Computer Science"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2007.4341717"},{"key":"12","article-title":"Tolerating malicious monitors in detecting misbehaving robots","author":"fagiolini","year":"2008","journal-title":"IEEE International Workshop on Safety"},{"key":"21","first-page":"103","article-title":"Observability of switched linear systems in continuous time","author":"babaali","year":"2005","journal-title":"HSCC"},{"key":"20","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/978-3-540-24743-2_4","article-title":"Observability of switched linear systems","author":"babaali","year":"2004","journal-title":"Hybrid Systems Computation and Control Lecture Notes in Computer Science"},{"key":"22","author":"d'innocenzo","year":"2006","journal-title":"Observability and Temporal Properties of Hybrid Systems Analysis and Verification"},{"key":"23","article-title":"Reachability computation for hybrid systems with Ariadne","author":"benvenuti","year":"2008","journal-title":"Proc of the 17th IFAC World Congress"},{"key":"24","author":"aubin","year":"1990","journal-title":"Set-Valued Analysis"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000026092.11691.96"},{"key":"26","volume":"2","author":"bressan","year":"2007","journal-title":"Introduction to the Mathematical Theory of Control"},{"key":"3","author":"pfleeger","year":"2004","journal-title":"Security in Computing Prentice Hall"},{"key":"2","author":"bertsekas","year":"1989","journal-title":"A survey of some aspects of parallel and distributed iterative algorithms"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2008.4543196"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1986.1104412"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434297"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434902"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2004.1265539"},{"key":"4","author":"bosworth","year":"0","journal-title":"Computer Security Handbook"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434659"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4587180"}],"event":{"name":"2009 IEEE International Conference on Robotics and Automation (ICRA)","location":"Kobe","start":{"date-parts":[[2009,5,12]]},"end":{"date-parts":[[2009,5,17]]}},"container-title":["2009 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5076472\/5152175\/05152608.pdf?arnumber=5152608","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T00:34:07Z","timestamp":1558485247000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5152608\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/robot.2009.5152608","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}