{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T00:52:22Z","timestamp":1749084742617,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1109\/coase.2017.8256285","type":"proceedings-article","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T18:11:01Z","timestamp":1516212661000},"page":"1326-1331","source":"Crossref","is-referenced-by-count":5,"title":["Objective functions for falsification of signal temporal logic properties in cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Johan","family":"Eddeland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sajed","family":"Miremadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Fabian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Knut","family":"Akesson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21668-3_21"},{"key":"ref11","first-page":"253","article-title":"Pow-ertrain control verification benchmark","author":"jin","year":"2014","journal-title":"Proceedings of the 17th International Conference on Hybrid Systems Computation and Control"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883847"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171968"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/7.4.308"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2421907"},{"journal-title":"The MathWorks Inc Natick Massachusetts","article-title":"Simulink R2013b","year":"2017","key":"ref18"},{"key":"ref4","article-title":"Automated mode coverage analysis for cyber-physical systems using hybrid automata","author":"eddeland","year":"2017","journal-title":"Accepted for IFAC 2017 World Congress"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/s10703-009-0066-0","article-title":"Coverage-guided test generation for continuous and hybrid systems","volume":"34","author":"dang","year":"2009","journal-title":"Formal Methods in System Design"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","article-title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems","author":"donz\u00e9","year":"2010","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref5","first-page":"254","article-title":"S-taliro: A tool for temporal logic falsification for hybrid systems","author":"annpureddy","year":"2011","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref2","article-title":"Tatar: Testweaver-a tool for simulation-based test of mechatronic designs","author":"junghanns","year":"2008","journal-title":"6th International Modelica Conference Bielefeld March 3"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems"}],"event":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017)","start":{"date-parts":[[2017,8,20]]},"location":"Xi'an","end":{"date-parts":[[2017,8,23]]}},"container-title":["2017 13th IEEE Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8244402\/8256062\/08256285.pdf?arnumber=8256285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T09:32:24Z","timestamp":1570613544000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8256285\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/coase.2017.8256285","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}