{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T04:04:47Z","timestamp":1750565087371,"version":"3.41.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.23919\/acc.2017.7963740","type":"proceedings-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T21:39:58Z","timestamp":1499722798000},"page":"5065-5070","source":"Crossref","is-referenced-by-count":0,"title":["Validation of adaptive control laws using optimization and trajectory sensitivity"],"prefix":"10.23919","author":[{"given":"Mario Luca","family":"Fravolini","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Ficola","sequence":"additional","affiliation":[]},{"given":"Fabio","family":"Radicioni","sequence":"additional","affiliation":[]},{"given":"Tansel","family":"Yucelen","sequence":"additional","affiliation":[]},{"given":"Ehsan","family":"Arabi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/81.828574"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_16"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5159969"},{"key":"ref13","first-page":"368","article-title":"Falsification of ltl safety properties in hybrid systems","volume":"5505","author":"plaku","year":"2009","journal-title":"Proc Conf on Tools and Algorithms for the Construction and Analysis of Sys (TACAS) ser LNCS"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/1755952.1755983","article-title":"Monte-Carlo techniques for falsification of temporal properties of nonlinear hybrid systems","author":"nghiem","year":"2010","journal-title":"Proc of the 13th ACM Int Conf on Hybrid Systems Computation and Control"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.21236\/ADA531406"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1089\/cmb.2009.0172"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/978-3-642-24372-1_39","article-title":"Linear hybrid system falsification through local search","volume":"6996","author":"abbas","year":"2011","journal-title":"Automated Technology for Verification and Analysis Ser LNCS"},{"key":"ref18","article-title":"Falsification of Hybrid Systems with Non-linear Dynamics Using Optimization and Sensitivity Analysis","author":"kuratko","year":"2013","journal-title":"ETAPS 2013"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2031580"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-6988"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2011.941961"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2007.899197"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2010.936292"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2011.2111385"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042508"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2284005"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-4396-3","author":"lavretsky","year":"2013","journal-title":"Robust and Adaptive Control With Aerospace Applications"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2011.623327"},{"journal-title":"Robust Adaptive Control","year":"1996","author":"ioannou","key":"ref20"},{"journal-title":"Robust Control Toolbox Users's Guide","year":"2009","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580518"}],"event":{"name":"2017 American Control Conference (ACC)","start":{"date-parts":[[2017,5,24]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7951530\/7962914\/07963740.pdf?arnumber=7963740","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T20:35:52Z","timestamp":1750538152000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7963740\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":22,"URL":"https:\/\/doi.org\/10.23919\/acc.2017.7963740","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}