{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:36:06Z","timestamp":1729658166255,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/acc.2015.7170994","type":"proceedings-article","created":{"date-parts":[[2015,7,30]],"date-time":"2015-07-30T21:26:01Z","timestamp":1438291561000},"page":"1800-1805","source":"Crossref","is-referenced-by-count":8,"title":["Data-driven property verification of grey-box systems by bayesian experiment design"],"prefix":"10.1109","author":[{"given":"S.","family":"Haesaert","sequence":"first","affiliation":[]},{"given":"P.M.J.","family":"Van den Hof","sequence":"additional","affiliation":[]},{"given":"A.","family":"Abate","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2012.19"},{"key":"ref11","article-title":"Lightweight verification of Markov decision processes with rewards","author":"legay","year":"2014","journal-title":"CoRR"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2004.1348029"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLA.2012.158"},{"key":"ref14","first-page":"89","article-title":"Learning and designing stocnastic processes from logical constraints","author":"bortorusst","year":"2013","journal-title":"Quantitative Evaluation of Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_36"},{"key":"ref16","article-title":"Smoothed model checking for uncertain continuous time Markov chains","author":"bortolussi","year":"2014","journal-title":"ar Xiv preprint arXiv 1402 1450"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-025683-2.50013-2"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-3-540-78929-1_14","article-title":"A counterexample-guided approach to parameter synthesis for linear hybrid automata","volume":"4981","author":"frehse","year":"2008","journal-title":"Hybrid Systems Computation and Control"},{"journal-title":"Using HyTech to synthesize control parameters for a steam boiler","year":"1996","author":"henzinger","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.11.021"},{"key":"ref3","article-title":"Model checking discrete-time piecewise affine systems: Application to gene networks","author":"yordanov","year":"2007","journal-title":"European Control Conference"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.12.013"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"275","DOI":"10.3166\/ejc.15.275-310","article-title":"System identification of complex and structured systems","volume":"15","year":"2009","journal-title":"European Journal of Control"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","article-title":"Probabilistic verification of discrete event systems using acceptance sampling","author":"younes","year":"2002","journal-title":"Computer Aided Verification"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1111\/1467-9884.00238"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref1","first-page":"1","article-title":"The birth of model checking","author":"clarke","year":"2008","journal-title":"25 Years of Model Checking"},{"key":"ref9","first-page":"399","article-title":"Statistical model checking of black-box probabilistic systems","author":"sen","year":"2004","journal-title":"Computer Aided Verification"},{"journal-title":"Random Signals Detection Estimation and Data Analysis","year":"1988","author":"shanmugan","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.2514\/6.2009-5876"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/1-84628-178-4"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"197","DOI":"10.4310\/CIS.2011.v11.n3.a1","article-title":"Optimal experiment design for open and closed-loop system identification","volume":"11","author":"gevers","year":"2011","journal-title":"Communications in Information and Systems"}],"event":{"name":"2015 American Control Conference (ACC)","start":{"date-parts":[[2015,7,1]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2015,7,3]]}},"container-title":["2015 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7160954\/7170700\/07170994.pdf?arnumber=7170994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,28]],"date-time":"2019-08-28T22:50:40Z","timestamp":1567032640000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7170994\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/acc.2015.7170994","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}