{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:24:48Z","timestamp":1730341488483,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.23919\/acc.2018.8431834","type":"proceedings-article","created":{"date-parts":[[2018,8,17]],"date-time":"2018-08-17T20:16:10Z","timestamp":1534536970000},"page":"610-615","source":"Crossref","is-referenced-by-count":2,"title":["Robust Temporal Logic Inference for Hybrid System Observation\u2013 An Application on Occupancy Detection of Smart Buildings"],"prefix":"10.23919","author":[{"given":"Zhe","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Deng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agung","family":"Julius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1","article-title":"A decision tree approach to data classification using signal temporal logic","author":"bombara","year":"2016","journal-title":"Proc Int Conference on Hybrid Systems Computation and Control"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264507"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7401994"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/978-3-540-71493-4_27","article-title":"Robust test generation and coverage for hybrid systems","author":"julius","year":"2007","journal-title":"Proc Hybrid Syst Computat Control"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_20"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2017.2758358"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICNN.1995.488968"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2016.7743440"},{"key":"ref19","article-title":"The effect of indoor humidity on water vapor release in homes","author":"tenwolde","year":"2007","journal-title":"Proceedings Thermal Performance of the Exterior Envelopes of Whole Buildings X"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-3-642-29860-8_12","article-title":"Parametric identification of temporal properties","author":"asarin","year":"2012","journal-title":"Proc Int'l Conf Runtime Verification"},{"key":"ref3","first-page":"215","author":"tomastik","year":"2010","journal-title":"Model Based Real Time Estimation of Building Occupancy During Emergency Egress"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461337"},{"key":"ref5","article-title":"Mining parametric temporal logic properties in model-based design for cyber-physical systems","author":"hoxha","year":"2017","journal-title":"Int Journal on Software Tools for Technology Transfer"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LLS.2016.2644646"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2585083"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IHMSC.2016.179"},{"key":"ref1","first-page":"141","article-title":"Real-time occupancy detection using decision trees with multiple sensor types","author":"hailemariam","year":"2011","journal-title":"Proc Symp Simul Architect Urban Design"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2611536"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/978-3-642-40196-1_13","article-title":"Strong: A trajectory-based verification toolbox for hybrid systems","volume":"8054","author":"deng","year":"2013","journal-title":"Quantitative Evaluation of Systems"}],"event":{"name":"2018 Annual American Control Conference (ACC)","start":{"date-parts":[[2018,6,27]]},"location":"Milwaukee, WI","end":{"date-parts":[[2018,6,29]]}},"container-title":["2018 Annual American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8410068\/8430677\/08431834.pdf?arnumber=8431834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T03:50:41Z","timestamp":1598241041000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8431834\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.23919\/acc.2018.8431834","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}