{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T11:19:14Z","timestamp":1780053554130,"version":"3.54.0"},"reference-count":42,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T00:00:00Z","timestamp":1751932800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T00:00:00Z","timestamp":1751932800000},"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":[[2025,7,8]]},"DOI":"10.23919\/acc63710.2025.11107793","type":"proceedings-article","created":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:17:51Z","timestamp":1755800271000},"page":"4491-4500","source":"Crossref","is-referenced-by-count":1,"title":["AI Engineering for Safety-Critical Control Systems: An Aerospace Perspective"],"prefix":"10.23919","author":[{"given":"Umut","family":"Durak","sequence":"first","affiliation":[{"name":"Institute of Flight Systems of the German Aerospace Center (DLR),Leading the Avionics Systems Research Group,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zamira","family":"Daw","sequence":"additional","affiliation":[{"name":"University of Stuttgart,Leading the Advance Methods of Certification Group,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin,Department of Aerospace Engineering and Engineering Mechanics"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ella","family":"Atkins","sequence":"additional","affiliation":[{"name":"Virginia Tech,Kevin T. Crofton Aerospace and Ocean Engineering Department"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Darren","family":"Cofer","sequence":"additional","affiliation":[{"name":"Collins Aerospace,Minneapolis,Minnesota"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mevlut","family":"Uzun","sequence":"additional","affiliation":[{"name":"Cranfield University,UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gokhan","family":"Inalhan","sequence":"additional","affiliation":[{"name":"Sloane Institute,London,UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leonidas","family":"Kosmidis","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC),Leading Research on Hardware Solutions for Critical and Autonomous Systems"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James L.","family":"Paunicka","sequence":"additional","affiliation":[{"name":"Boeing CTO Office’s Autonomy Capabilities Team,St Louis,Missouri"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Trung T","family":"Pham","sequence":"additional","affiliation":[{"name":"FAA’s Chief Scientist and Technical Advisor (CSTA) for Artificial Intelligence (AI) - Machine Learning,Washington, DC"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE55472.2022.9812672"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DASC62030.2024.10749638"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2018.3571224"},{"key":"ref4","volume-title":"Artificial Intelligence in Aeronautical Systems: Statement of Concerns","year":"2021"},{"key":"ref5","article-title":"Artificial intelligence roadmap: A human-centric approach to ai in aviation","volume-title":"Tech. Rep.","year":"2020"},{"key":"ref6","article-title":"Easa concept paper: First usable guidance for level 1 machine learning applications","volume-title":"Tech. Rep.","year":"2021"},{"key":"ref7","article-title":"Easa concept paper: Guidance for Level 1 and 2 machine learning applications","year":"2024"},{"key":"ref8","article-title":"Easa research \u2013 machine learning application approval (mleap) final report","author":"Consortium","year":"2024","journal-title":"European Union Aviation Safety Agency, Horizon Europe research and innovation programme report"},{"key":"ref9","article-title":"Formal methods use for learning assurance (formula)","author":"Xiang","year":"2023","journal-title":"Tech. Rep."},{"key":"ref10","article-title":"Roadmap for artificial intelligence safety assurance","volume-title":"Tech. Rep.","year":"2024"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2022.01.135"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3390\/make5040083"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2023.3262786"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3641289"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.2514\/6.2020-1083"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.adi3099"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DASC55683.2022.9925743"},{"key":"ref18","article-title":"Standard Practice for Methods to Safely Bound Behavior of Aircraft Systems Containing Complex Functions Using Run-Time Assurance","year":"2021"},{"key":"ref19","article-title":"Minimum Operational Performance Standards (MOPS) for Detect and Avoid (DAA) Systems","year":"2017"},{"key":"ref20","article-title":"Statistical analysis of commercial aviation accidents 1958-2019","author":"Airbus","year":"2020","journal-title":"Blagnac: Airbus"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ast.2019.05.001"},{"key":"ref22","article-title":"Airbus a350-900 main landing gears","year":"2024"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.2082"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.21203\/rs.3.rs-55125\/v1","article-title":"Universal differential equations for scientific machine learning","volume-title":"CoRR","author":"Rackauckas","year":"2020"},{"key":"ref25","article-title":"Understanding the overarching properties","author":"Holloway","year":"2019","journal-title":"Tech. Rep."},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/DASC62030.2024.10749313"},{"key":"ref27","first-page":"1","article-title":"Ieee guide for information technology - system definition - concept of operations (conops) document","year":"1998","journal-title":"IEEE Std 1362-1998"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2514\/6.2022-2103"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.2514\/6.2023-2589"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s13272-024-00772-4"},{"key":"ref31","article-title":"Easa research \u2013 machine learning application approval (mleap) final report","author":"Consortium","year":"2024","journal-title":"European Union Aviation Safety Agency, Horizon Europe research and innovation programme report"},{"key":"ref32","volume-title":"Interpretable machine learning.","author":"Molnar","year":"2020"},{"key":"ref33","article-title":"Neural network based runway landing guidance for general aviation autoland","author":"Balduzzi","year":"2021","journal-title":"United States. Department of Transportation. Federal Aviation Administration \u2026, Tech. Rep."},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/DASC62030.2024.10749477"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-83903-1_3"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICNS54818.2022.9771519"},{"key":"ref37","article-title":"Software Considerations in Airborne Systems and Equipment Certification","year":"2011"},{"key":"ref38","article-title":"Design Assurance Guidance For Airborne Electronic Hardware","year":"2000"},{"key":"ref39","article-title":"Use of Multi-Core Processors","year":"2022"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3561054"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/DASC52595.2021.9594412"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"}],"event":{"name":"2025 American Control Conference (ACC)","location":"Denver, CO, USA","start":{"date-parts":[[2025,7,8]]},"end":{"date-parts":[[2025,7,10]]}},"container-title":["2025 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11107441\/11107442\/11107793.pdf?arnumber=11107793","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:57:22Z","timestamp":1755907042000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11107793\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,8]]},"references-count":42,"URL":"https:\/\/doi.org\/10.23919\/acc63710.2025.11107793","relation":{},"subject":[],"published":{"date-parts":[[2025,7,8]]}}}