{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:59:56Z","timestamp":1729634396309,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/med.2017.7984128","type":"proceedings-article","created":{"date-parts":[[2017,7,25]],"date-time":"2017-07-25T21:36:51Z","timestamp":1501018611000},"page":"259-264","source":"Crossref","is-referenced-by-count":1,"title":["Formal verification of a gain scheduling control scheme"],"prefix":"10.1109","author":[{"given":"Pablo","family":"Ordonez","sequence":"first","affiliation":[]},{"given":"Andrew R.","family":"Mills","sequence":"additional","affiliation":[]},{"given":"Tony","family":"Dodd","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2013.6496950"},{"key":"ref11","first-page":"95","article-title":"A comparison between five models of software engineering","volume":"5","author":"munassar","year":"2010","journal-title":"IJCSIS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6926012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1115\/1.4025637"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"1401","DOI":"10.1016\/S0005-1098(00)00058-3","article-title":"Research on gain scheduling","volume":"36","author":"rugh","year":"2000","journal-title":"Automatica"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1049\/cp.2013.1709"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"1043","DOI":"10.1016\/S0967-0661(99)00078-7","article-title":"Control of jet engines","volume":"7","author":"spang","year":"1999","journal-title":"Control Engineering Practice"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"article-title":"Model checking methodology for verification of safety logics","year":"0","author":"valkonen","key":"ref18"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRSE.2015.7366490"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS.2015.7152300"},{"key":"ref6","first-page":"72","article-title":"A calculated look at fixed-point arithmetic","volume":"11","author":"gordon","year":"1998","journal-title":"Embedded Systems Programming"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1080\/002071700411304"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IIC.2015.7150771"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591184"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref1"},{"key":"ref9","first-page":"650","article-title":"An integrated systems engineering framework for supervisor synthesis, verification, and performance evaluation","author":"markovski","year":"0"}],"event":{"name":"2017 25th Mediterranean Conference on Control and Automation (MED)","start":{"date-parts":[[2017,7,3]]},"location":"Valletta, Malta","end":{"date-parts":[[2017,7,6]]}},"container-title":["2017 25th Mediterranean Conference on Control and Automation (MED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7974655\/7984082\/07984128.pdf?arnumber=7984128","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T16:05:51Z","timestamp":1569945951000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7984128\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/med.2017.7984128","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}