Genetic fuzzy based artificial intelligence for unmanned combat aerial vehicle control in simulated air combat missions N Ernest, D Carroll, C Schumacher, M Clark, K Cohen, G Lee Journal of Defense Management 6 (1), 2167-0374, 2016 | 277 | 2016 |
A study on run time assurance for complex cyber physical systems M Clark, X Koutsoukos, J Porter, R Kumar, G Pappas, O Sokolsky, I Lee, ... AIR FORCE RESEARCH LAB WRIGHT-PATTERSON AFB OH AEROSPACE SYSTEMS DIR, 2013 | 65 | 2013 |
Study on the barriers to the industrial adoption of formal methods JA Davis, M Clark, D Cofer, A Fifarek, J Hinchman, J Hoffman, B Hulbert, ... Formal Methods for Industrial Critical Systems: 18th International Workshop …, 2013 | 60 | 2013 |
A component-based simplex architecture for high-assurance cyber-physical systems D Phan, J Yang, M Clark, R Grosu, J Schierman, S Smolka, S Stoller 2017 17th International Conference on Application of Concurrency to System …, 2017 | 42 | 2017 |
Certifiable Trust in Autonomous Systems: Making the Intractable Tangible JB Lyons, MA Clark, AR Wagner, MJ Schuelke AI Magazine 38 (3), 37-50, 2017 | 41 | 2017 |
Certification strategies using run-time safety assurance for part 23 autopilot systems LR Hook, M Clark, D Sizoo, MA Skoog, J Brady 2016 IEEE Aerospace Conference, 1-10, 2016 | 32 | 2016 |
Runtime assurance for autonomous aerospace systems JD Schierman, MD DeVore, ND Richards, MA Clark Journal of Guidance, Control, and Dynamics 43 (12), 2205-2217, 2020 | 28 | 2020 |
Ultrasonic welding system J Handel, M Clark US Patent App. 11/233,753, 2007 | 28 | 2007 |
Run-time assurance and formal methods analysis nonlinear system applied to nonlinear system control KH Gross, MA Clark, JA Hoffman, ED Swenson, AW Fifarek Journal of Aerospace Information Systems 14 (4), 232-246, 2017 | 26 | 2017 |
Controller verification in adaptive learning systems towards trusted autonomy X Zhang, M Clark, K Rattan, J Muse Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical …, 2015 | 19 | 2015 |
Nonlinear adaptive control of quadrotor UAVs with run-time safety assurance R Avram, X Zhang, JA Muse, M Clark AIAA Guidance, Navigation, and Control Conference, 1896, 2017 | 16 | 2017 |
Piecewise affine hybrid automata representation of a multistage fuzzy pid controller MA Clark, KS Rattan 2014 AAAI Spring Symposium Series, 2014 | 15 | 2014 |
Formally verified run time assurance architecture of a 6U cubesat attitude control system KH Gross, M Clark, JA Hoffman, A Fifarek, K Rattan, E Swenson, ... AIAA Infotech@ Aerospace, 0222, 2016 | 14 | 2016 |
Autonomy community of interest (coi) test and evaluation, verification and validation (tevv) working group: Technology investment strategy 2015-2018 M Clark, J Alley, PJ Deal, JC Depriest, E Hansen, C Heitmeyer, R Nameth, ... Office of the Assistant Secretary of Defense for Research and Engineering TR, 2015 | 14 | 2015 |
Air force research laboratory test and evaluation, verification and validation of autonomous systems challenge exploration M Clark, K Kearns, J Overholt, K Gross, B Barthelemy, C Reed Air Force Research Lab, Wright-Patterson AFB, Tech. Rep., 2014 | 12 | 2014 |
Hybrid representation of rule-based systems MA Clark, KS Rattan Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 10 | 2015 |
Towards Safety Assurance of Trusted Autonomy in Air Force Flight Critical Systems MA Clark, JA Hoffman, J Hinchman, B Hulbert Layered Assurance Workshop, 17, 2012 | 9* | 2012 |
Fuzzy logic controller stability analysis using a satisfiability modulo theories approach TJ Arnett, B Cook, M Clark, K Rattan 19th AIAA Non-Deterministic Approaches Conference, 1773, 2017 | 8 | 2017 |
Design and analysis of a multistage fuzzy pid controller KS Rattan, MA Clark, JA Hoffman 2015 American Control Conference (ACC), 5726-5731, 2015 | 8 | 2015 |
Evaluation of formal methods tools applied to a 6u cubesat attitude control system K Gross, J Hoffman, M Clark, E Swenson, R Cobb, M Whalen, L Wagner AIAA SPACE 2015 Conference and Exposition, 4529, 2015 | 8 | 2015 |