{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:13:00Z","timestamp":1730232780518,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T00:00:00Z","timestamp":1683676800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T00:00:00Z","timestamp":1683676800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,10]]},"DOI":"10.1109\/iccad57653.2023.10152427","type":"proceedings-article","created":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T04:39:00Z","timestamp":1687581540000},"page":"1-5","source":"Crossref","is-referenced-by-count":1,"title":["Modeling And Diagnosis of Avionic Systems by Hybrid Automata Using Stateflow"],"prefix":"10.1109","author":[{"given":"Ihem","family":"Hnayen","sequence":"first","affiliation":[{"name":"Higher Institute of Applied Sciences and Technology of Kairouan,Tunisia"}]},{"given":"Hedi","family":"Dhouibi","sequence":"additional","affiliation":[{"name":"Higher Institute of Applied Sciences and Technology of Kairouan,Tunisia"}]},{"given":"Zineb","family":"Simeu-Abazi","sequence":"additional","affiliation":[{"name":"Higher Institute of Applied Sciences and Technology of Kairouan,Tunisia"}]},{"given":"Eric","family":"Gascard","sequence":"additional","affiliation":[{"name":"Higher Institute of Applied Sciences and Technology of Kairouan,Tunisia"}]}],"member":"263","reference":[{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.850178"},{"key":"ref7","first-page":"1204","article-title":"Fault detection and isolation for hybrid systems using structured parity residuals","volume":"2","author":"cocquempot","year":"2004","journal-title":"ASCC - Asian Control Conference"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/0142331208097840"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2006.372200"},{"key":"ref6","article-title":"Integrated diagnosis and control for hybrid dynamic systems. Knotek. M","author":"karsai","year":"2003","journal-title":"“Fault diagnostics based on temporal analysis” Thesis of the University Joseph Fourier Grenoble"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2013.2262761"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0109998"},{"journal-title":"Studies in hybrid systems modeling analysis and control","year":"1995","author":"branicky","key":"ref1"}],"event":{"name":"2023 International Conference on Control, Automation and Diagnosis (ICCAD)","start":{"date-parts":[[2023,5,10]]},"location":"Rome, Italy","end":{"date-parts":[[2023,5,12]]}},"container-title":["2023 International Conference on Control, Automation and Diagnosis (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10151847\/10152298\/10152427.pdf?arnumber=10152427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T17:50:56Z","timestamp":1689011456000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10152427\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,10]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/iccad57653.2023.10152427","relation":{},"subject":[],"published":{"date-parts":[[2023,5,10]]}}}