{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:40:54Z","timestamp":1729633254175,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/coase.2007.4341717","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T17:45:29Z","timestamp":1191951929000},"page":"454-459","source":"Crossref","is-referenced-by-count":7,"title":["Local Monitor Implementation for Decentralized Intrusion Detection in Secure Multi-Agent Systems"],"prefix":"10.1109","author":[{"given":"Adriano","family":"Fagiolini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianni","family":"Valenti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucia","family":"Pallottino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluca","family":"Dini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Bicchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434902"},{"key":"11","article-title":"Fault isolation in hybrid systems combining model based diagnosis and signal processing","author":"narasimhan","year":"2000","journal-title":"Proc 4th IFAV Symp Fault Detection Supervision Safety Tech Processes"},{"key":"12","article-title":"A Framework for Fault Detection of Hybrid Systems","author":"fourlas","year":"2001","journal-title":"Proceedings of the 9th IEEE Mediterranean Conference on Control and Automation"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2006.1642069"},{"journal-title":"Maneuver design for multiple aircraft conflict resolution","year":"2000","author":"ghosh","key":"2"},{"key":"1","first-page":"509","volume":"43","author":"tomlin","year":"1998","journal-title":"Conflict resolution for air traffic management A case study in multi-agent hybrid systems"},{"key":"10","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-45873-5_9","article-title":"Design of observers for hybrid systems","volume":"2289","author":"balluchi","year":"2002","journal-title":"Hybrid Systems Computation and Control"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/87.486338"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802763"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357176"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2004.1265539"},{"key":"9","article-title":"Diagnosability of Hybrid Systems","author":"fourlas","year":"2002","journal-title":"Proceedings of the 10th IEEE Mediterranean Conference on Control and Automation"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167685"}],"event":{"name":"2007 IEEE International Conference on Automation Science and Engineering","start":{"date-parts":[[2007,9,22]]},"location":"Scottsdale, AZ, USA","end":{"date-parts":[[2007,9,25]]}},"container-title":["2007 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341639\/4341640\/04341717.pdf?arnumber=4341717","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T17:26:02Z","timestamp":1556904362000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341717\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/coase.2007.4341717","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}