{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:45:19Z","timestamp":1725468319239},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/etfa.2009.5347224","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T14:44:11Z","timestamp":1260456251000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Factory monitoring and control with mixed hardware\/software, discrete\/continuous models"],"prefix":"10.1109","author":[{"given":"Paul","family":"Maier","sequence":"first","affiliation":[]},{"given":"Martin","family":"Sachenbacher","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref3","first-page":"258","article-title":"Phaver: Algorithmic Verification of Hybrid Systems Past Hytech","author":"frehse","year":"2005","journal-title":"Proc HSCC"},{"key":"ref10","first-page":"579","article-title":"Mode Estimation of Model-Based Programs: Monitoring Systems with Complex behavior","author":"williams","year":"2001","journal-title":"Proc IJCAI"},{"key":"ref6","first-page":"253","article-title":"Mode Estimation of Probabilistic Hybrid Systems","author":"hofbaur","year":"2002","journal-title":"HSCC"},{"key":"ref5","article-title":"Qualitative Abstraction of Piecewise Affine Systems","author":"hofbaur","year":"2008","journal-title":"Proc QR"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2007.4290203"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1076\/mcmd.7.4.383.3639"},{"journal-title":"Hybride Inbetriebnahme von Produktionsanlagen ? Von der Virtuellen zur Realen Inbetriebnahme (in German)","year":"2007","author":"dominka","key":"ref2"},{"key":"ref9","article-title":"Model-based Monitoring and Diagnosis of Systems with Software-Extended Behavior","author":"mikaelian","year":"2005","journal-title":"Proc AAAI"},{"key":"ref1","article-title":"CoTeSys - Cognition for Technical Systems","author":"buss","year":"2007","journal-title":"Proc HAM"}],"event":{"name":"Factory Automation (ETFA 2009)","start":{"date-parts":[[2009,9,22]]},"location":"Palma de Mallorca, Spain","end":{"date-parts":[[2009,9,25]]}},"container-title":["2009 IEEE Conference on Emerging Technologies & Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340902\/5346987\/05347224.pdf?arnumber=5347224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T21:54:15Z","timestamp":1489874055000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5347224\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/etfa.2009.5347224","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}