{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:07:31Z","timestamp":1740132451729,"version":"3.37.3"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2017,6,1]],"date-time":"2017-06-01T00:00:00Z","timestamp":1496275200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"European Commission under the project UnCoVerCPS","award":["643921"],"award-info":[{"award-number":["643921"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/tac.2016.2606082","type":"journal-article","created":{"date-parts":[[2016,9,5]],"date-time":"2016-09-05T14:04:40Z","timestamp":1473084280000},"page":"3021-3028","source":"Crossref","is-referenced-by-count":1,"title":["Minimum Resource Commitment for Reachability Specifications in a Discrete Time Linear Setting"],"prefix":"10.1109","volume":"62","author":[{"given":"Riccardo","family":"Vignali","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7443-4117","authenticated-orcid":false,"given":"Maria","family":"Prandini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"CPLEX 11 0 User's Manual","year":"2007","author":"ilog","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623400374756"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6377(99)00016-4"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/87.845876"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2000.880987"},{"key":"ref10","first-page":"257","article-title":"Efficient computation of reachable sets of linear time-invariant systems with inputs","author":"girard","year":"2006","journal-title":"Hybrid Syst Comput and Control"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00059-1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_27"},{"article-title":"Modeling and reach-set computation for analysis and optimal control of discrete hybrid automata","year":"2003","author":"torrisi","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038685"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377825"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s00041-008-9045-x"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2014.2364709"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"ref6","first-page":"495","article-title":"NuSMV: A new symbolic model verifier","author":"cimatti","year":"1999","journal-title":"Comput Aided Verif"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1287\/moor.23.4.769"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"UPPAAL in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_6"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-22110-1_30","article-title":"Spaceex: Scalable verification of hybrid systems","author":"frehse","year":"2011","journal-title":"Proc 23rd Int Conf Computer Aided Verification (CAV)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054177"},{"key":"ref9","first-page":"31","article-title":"Verification of hybrid systems via mathematical programming","author":"bemporad","year":"1999","journal-title":"Hybrid Syst Comput and Control"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref1"},{"article-title":"Robust tracking commitment with application to demand response","year":"2015","author":"bitlislioglu","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.01960"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040396"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.08.023"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2014.6981539"},{"key":"ref26","article-title":"Controller synthesis for linear time-varying systems with adversaries","volume":"abs 1501 4925","author":"huang","year":"2015","journal-title":"CoRR"},{"key":"ref25","article-title":"Research challenges for the security of control systems","author":"c\u00e1rdenas","year":"0","journal-title":"HOTSEC"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7934112\/07560595.pdf?arnumber=7560595","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:40:22Z","timestamp":1641987622000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7560595\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":36,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tac.2016.2606082","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"type":"print","value":"0018-9286"},{"type":"electronic","value":"1558-2523"}],"subject":[],"published":{"date-parts":[[2017,6]]}}}