{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:36Z","timestamp":1760202636623,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6161470","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T21:18:31Z","timestamp":1331155111000},"page":"4841-4848","source":"Crossref","is-referenced-by-count":27,"title":["Distributed power allocation for vehicle management systems"],"prefix":"10.1109","author":[{"given":"Necmiye","family":"Ozay","sequence":"first","affiliation":[]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[]},{"given":"Richard M.","family":"Murray","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Synthesis of Reactive(1) Designs","year":"2010","author":"bloem","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"18","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/11609773_24","article-title":"Synthesis of reactive(1) designs","volume":"3855","author":"piterman","year":"2006","journal-title":"Verification Model Checking and Abstract Interpretation ser Lecture Notes in Computer Science"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.53"},{"key":"16","first-page":"396","article-title":"Distributed controller synthesis for local specifications","volume":"2076","author":"madhusudan","year":"2001","journal-title":"Automata Languages and Programming"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6656-1_2"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15643-4_10"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/FSCS.1990.89597"},{"journal-title":"Understanding In-flight Icing","year":"2004","author":"czernkovich","key":"21"},{"key":"20","first-page":"177","article-title":"Tailplane icing and aircraft performance degradation","author":"perkins","year":"0","journal-title":"Flight Safety Digest"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1981.230844"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/203095.201069"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(96)00069-2"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"26","first-page":"2878","article-title":"Energy management strategy for a parallel hybrid electric truck","author":"jun-mo","year":"2001","journal-title":"Proceedings of the 2001 American Control Conference"},{"year":"0","author":"johnson","key":"27"},{"key":"28","first-page":"147","article-title":"Environment assumptions for synthesis","author":"chatterjee","year":"2008","journal-title":"Concurrency"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2039550"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2007.352948"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"journal-title":"Aircraft Systems Mechanical Electrical and Avionics Subsystems Integration","year":"2001","author":"moir","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.22"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.2514\/6.2011-1506"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2006.313743"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2007.4391842"},{"key":"9","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/978-3-540-78929-1_5","article-title":"Contract-based design for computation and verification of a closed-loop hybrid system","author":"benvenuti","year":"2008","journal-title":"Proc Hybrid Systems Comput Contr"},{"key":"8","article-title":"Receding horizon temporal logic planning","author":"wongpiromsarn","year":"2010","journal-title":"IEEE Transactions on Automatic Control"}],"event":{"name":"2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)","start":{"date-parts":[[2011,12,12]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2011,12,15]]}},"container-title":["IEEE Conference on Decision and Control and European Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6149620\/6159299\/06161470.pdf?arnumber=6161470","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T01:59:42Z","timestamp":1561427982000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6161470\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6161470","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}