{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:43:58Z","timestamp":1730299438813,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:00:00Z","timestamp":1598227200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:00:00Z","timestamp":1598227200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:00:00Z","timestamp":1598227200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,8,24]]},"DOI":"10.1109\/syscon47679.2020.9275657","type":"proceedings-article","created":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T23:40:26Z","timestamp":1607384426000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms"],"prefix":"10.1109","author":[{"given":"Milton","family":"Stafford","sequence":"first","affiliation":[]},{"given":"Siddhartha","family":"Bhattacharyya","sequence":"additional","affiliation":[]},{"given":"Matthew","family":"Clark","sequence":"additional","affiliation":[]},{"given":"Natasha A.","family":"Neogi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","article-title":"Your ”what” is my ”how”: Iteration and hierarchy in system design","author":"whalen","year":"2012","journal-title":"IEEE Software"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3121428"},{"journal-title":"Ntsb report on tesla autopilot accident shows what’s inside and it’s not pretty for fsd","year":"2019","author":"templeton","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2011.5871385"},{"key":"ref34","article-title":"Autonomous Systems: The Future in Aerospace","author":"wise","year":"2014","journal-title":"AIAA Intelligent Systems Workshop"},{"key":"ref10","article-title":"Enhancing Autonomy with Trusted Cognitive Modeling","author":"bhattacharyya","year":"2015","journal-title":"Association for Unmanned Vehicle Systems International"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2014.6979672"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2011.6096148"},{"key":"ref13","article-title":"Secure mathematically-assured composition of control models","author":"cofer","year":"2017","journal-title":"Technical Report"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_13"},{"journal-title":"Avoidance rerouter","year":"0","author":"collins","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_3"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.2514\/6.2011-6892"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS.2015.7152299"},{"key":"ref19","article-title":"L1 Adaptive Control Theory: Guaranteed Robustness with Fast Adaptation","author":"hovakimyan","year":"2010","journal-title":"SIAM Advances in Control and Design Series"},{"key":"ref28","first-page":"7","article-title":"Simplex Architecture: Meeting the Challenges of Using COTS in","author":"sha","year":"1998","journal-title":"Crosstalk"},{"journal-title":"Open Source AADL Tool Environment","year":"0","key":"ref4"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/37.710880","article-title":"Dynamic Control System Upgrade Using the Simplex Architecture","volume":"18","author":"seto","year":"1998","journal-title":"IEEE Control Systems"},{"journal-title":"Kind Model checker","year":"0","key":"ref3"},{"key":"ref6","first-page":"1","article-title":"An application of reinforcement learning to aerobatic helicopter flight","author":"abbeel","year":"2007","journal-title":"Advances in neural information processing systems"},{"key":"ref29","first-page":"99","article-title":"The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety","author":"adekunle","year":"2009","journal-title":"Proceedings of the 2009 15th IEEE Symposium on Real-Time and Embedded Technology and Applications"},{"journal-title":"OMG Systems Modeling Language SysML","year":"0","key":"ref5"},{"key":"ref8","first-page":"1258","article-title":"An application of reinforcement learning to aerobatic helicopter flight","author":"bertozzi","year":"2002","journal-title":"Artificial vision in road vehicles"},{"key":"ref7","first-page":"200","article-title":"A tutorial on uppaal","author":"behrmann","year":"2004","journal-title":"Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer Communication and Software Systems volume 3185 of Lecture Notes in Computer Science"},{"journal-title":"Birdseyeview aerobotics Firefly 6","year":"0","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS.2015.7152300"},{"journal-title":"Architecture analysis and design language AADL","year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-7548"},{"key":"ref22","first-page":"277","article-title":"The traffic alert and collision avoidance system","volume":"16","author":"kuchar","year":"2007","journal-title":"Lincoln Laboratory Journal"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_35"},{"key":"ref24","first-page":"1857","author":"meyer","year":"2015","journal-title":"Automatic Traffic Alert and Collision Avoidance System (TCAS) Onboard UAS"},{"article-title":"Saving the good guys: Eighth save illustrates life-saving auto gcas technology","year":"0","author":"martin","key":"ref23"},{"key":"ref26","first-page":"420","article-title":"The EO-1 Autonomous Science Agent","author":"tran","year":"2004","journal-title":"Int’ l conf on Autonomous agents and multiagent systems"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2017.23"}],"event":{"name":"2020 IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2020,8,24]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2020,9,20]]}},"container-title":["2020 IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9275655\/9275656\/09275657.pdf?arnumber=9275657","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T11:16:37Z","timestamp":1656587797000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9275657\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,24]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/syscon47679.2020.9275657","relation":{},"subject":[],"published":{"date-parts":[[2020,8,24]]}}}