Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State. - Brian C. Williams; Michel D. Ingham (CP, 2002)

Model-based programming of intelligent embedded systems and robotic space explorers. - Brian C. Williams; Michel D. Ingham; Seung H. Chung; Paul H. Elliott (Proc. IEEE, 2003)

Model-Based Programming of Fault-Aware Systems. - Brian C. Williams; Michel D. Ingham; Seung Chung; Paul Elliott; Michael W. Hofbaur; Gregory T. Sullivan (AI Mag., 2004)

Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata. - Oliver B. Martin; Brian C. Williams; Michel D. Ingham (AAAI, 2005)

A unifying framework for systems modeling, control systems design, and system operation. - Daniel L. Dvorak; Mark B. Indictor; Michel D. Ingham; Robert D. Rasmussen; Margaret V. Stringfellow (SMC, 2005)

Engineering Complex Embedded Systems with State Analysis and the Mission Data System. - Michel D. Ingham; Robert D. Rasmussen; Matthew Bennett; Alex C. Moncada (J. Aerosp. Comput. Inf. Commun., 2005)

Introduction: Enhancing Intelligence in Aerospace Systems. - Kelly Cohen; Fernando Figueroa; Ella M. Atkins; Michel D. Ingham; Richard J. Doyle; Sanjay Garg; Irene Gregory; Shigeru Obayashi; Nhan Ngyuen; Lars Blackmore; Walt Truszkowski (J. Aerosp. Comput. Inf. Commun., 2009)

Goal-Based Operations: An Overview. - Daniel D. Dvorak; Michel D. Ingham; J. Richard Morris; John Gersh (J. Aerosp. Comput. Inf. Commun., 2009)

Prototyping a Domain-Specific Language for Monitor and Control Systems. - Matthew Bennett; Richard Borgen; Klaus Havelund; Michel D. Ingham; David A. Wagner 002 (J. Aerosp. Comput. Inf. Commun., 2010)

Modeling Off-Nominal Behavior in SysML. - John Day 001; Kenneth Donahue; Michel D. Ingham; Alexander Kadesch; Andrew Kennedy; Ethan Post (Infotech@Aerospace, 2012)

A Model-based Approach to Engineering Behavior of Complex Aerospace Systems. - Michel D. Ingham; John C. Day; Kenneth Donahue; Alexander Kadesch; Andrew Kennedy; Mohammed Omair Khan; Ethan Post; Shaun Standley (Infotech@Aerospace, 2012)

Special issue on model-based systems engineering. - Michel D. Ingham (Syst. Eng., 2019)

Risk-Averse Planning Under Uncertainty. - Mohamadreza Ahmadi; Masahiro Ono; Michel D. Ingham; Richard M. Murray; Aaron D. Ames (ACC, 2020)

Partially Observable Games for Secure Autonomy. - Mohamadreza Ahmadi; Arun Viswanathan; Michel D. Ingham; Kymie Tan; Aaron D. Ames (SP (Workshops), 2020)

Advancing the Scientific Frontier with Increasingly Autonomous Systems. - Rashied B. Amini; Abigail Azari; Shyam Bhaskaran; Patricia Beauchamp; Julie C. Castillo-Rogez; Rebecca Castaño; Seung Chung; John C. Day; Richard J. Doyle; Martin Feather; Lorraine M. Fesq; Jeremy Frank; et al. (CoRR, 2020)

Constrained Risk-Averse Markov Decision Processes. - Mohamadreza Ahmadi; Ugo Rosolia; Michel D. Ingham; Richard M. Murray; Aaron D. Ames (AAAI, 2021)

Neural-Rendezvous: Learning-based Robust Guidance and Control to Encounter Interstellar Objects. - Hiroyasu Tsukamoto; Soon-Jo Chung; Benjamin Donitz; Michel D. Ingham; Declan Mages; Yashwanth Kumar Nakka (CoRR, 2022)

Interstellar Object Accessibility and Mission Design. - Benjamin P. S. Donitz; Declan Mages; Hiroyasu Tsukamoto; Peter Dixon 003; Damon Landau; Soon-Jo Chung; Erica Bufanda; Michel D. Ingham; Julie C. Castillo-Rogez (CoRR, 2022)

EELS: Towards Autonomous Mobility in Extreme Terrain with a Versatile Snake Robot with Resilience to Exteroception Failures. - Rohan Thakker; Michael Paton; Marlin P. Strub; R. Michael Swan; Guglielmo Daddi; Rob Royce; L. Phillipe Tosi; Matthew Gildner; Tiago Vaquero; Marcel Veismann; Peter V. Gavrilov; Eloise Marteau; et al. (IROS, 2023)

EELS: Autonomous snake-like robot with task and motion planning capabilities for ice world exploration. - Tiago Stegun Vaquero; Guglielmo Daddi; Rohan Thakker; Michael Paton; Ashkan Jasour; Marlin P. Strub; R. Michael Swan; Rob Royce; Matthew Gildner; L. Phillipe Tosi; Marcel Veismann; Peter V. Gavrilov; et al. (Sci. Robotics, 2024)

Risk-Averse Decision Making Under Uncertainty. - Mohamadreza Ahmadi; Ugo Rosolia; Michel D. Ingham; Richard M. Murray; Aaron D. Ames (IEEE Trans. Autom. Control., 2024)

Risk-aware Integrated Task and Motion Planning for Versatile Snake Robots under Localization Failures. - Ashkan Jasour; Guglielmo Daddi; Masafumi Endo; Tiago Stegun Vaquero; Michael Paton; Marlin P. Strub; Sabrina Corpino; Michel D. Ingham; Masahiro Ono; Rohan Thakker (CoRR, 2025)