Michel D. Ingham

28 papers A* 3A 2B 1C 1Journal 18Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Ontology-Driven Robotic Specification Synthesis.
CoRR
Maksym Figat, Ryan M. Mackey, Michel D. Ingham
2025 A* conf
Risk-Aware Integrated Task and Motion Planning for Versatile Snake Robots Under Localization Failures.
ICRA
Ashkan Jasour, Guglielmo Daddi, Masafumi Endo, Tiago Stegun Vaquero, Michael Paton, Marlin P. Strub, Sabrina Corpino, Michel D. Ingham, Masahiro Ono, Rohan Thakker
2025 J jnl
Risk-aware Integrated Task and Motion Planning for Versatile Snake Robots under Localization Failures.
CoRR
Ashkan Jasour, Guglielmo Daddi, Masafumi Endo, Tiago Stegun Vaquero, Michael Paton, Marlin P. Strub, Sabrina Corpino, Michel D. Ingham, Masahiro Ono, Rohan Thakker
2024 J jnl
EELS: Autonomous snake-like robot with task and motion planning capabilities for ice world exploration.
Sci. Robotics
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, Eloise Marteau, Joseph Bowkett, Daniel Loret de Mola Lemus, Yashwanth Kumar Nakka, Benjamin Hockman, Andrew L. Orekhov, Tristan Hasseler, Carl Leake, Benjamin Nuernberger, Pedro Proença, William Reid, William Talbot, Nikola Georgiev, Torkom Pailevanian, Avak Archanian, Eric Ambrose, Jay Jasper, Rachel Etheredge, Christiahn Roman, Dan Levine, Kyohei Otsu, Sarah Yearicks, Hovhannes Melikyan, Richard Rieber, Kalind C. Carpenter, Jeremy Nash, Abhinandan Jain, Lori Shiraishi, Matthew Robinson, Matthew J. Travers, Howie Choset, Joel W. Burdick, Alex S. Gardner, M. Cable, Michel D. Ingham, Masahiro Ono
2024 J jnl
Risk-Averse Decision Making Under Uncertainty.
IEEE Trans. Autom. Control.
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2023 A conf
EELS: Towards Autonomous Mobility in Extreme Terrain with a Versatile Snake Robot with Resilience to Exteroception Failures.
IROS
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, Joseph Bowkett, Daniel Loret de Mola Lemus, Yashwanth Kumar Nakka, Benjamin Hockman, Andrew L. Orekhov, Tristan Hasseler, Carl Leake, Benjamin Nuernberger, Pedro Proença, William Reid, William Talbot, Nikola Georgiev, Torkom Pailevanian, Avak Archanian, Eric Ambrose, Jay Jasper, Rachel Etheredge, Christiahn Roman, Dan Levine, Kyohei Otsu, Hovhannes Melikyan, Jeremy Nash, Richard Rieber, Kalind C. Carpenter, Abhinandan Jain, Lori Shiraishi, Daniel Pastor, Sarah Yearicks, Michel D. Ingham, Matthew Robinson, Ali Agha, Matthew J. Travers, Howie Choset, Joel Burdick, Masahiro Ono
2022 J jnl
Interstellar Object Accessibility and Mission Design.
CoRR
Benjamin P. S. Donitz, Declan Mages, Hiroyasu Tsukamoto, Peter Dixon, Damon Landau, Soon-Jo Chung, Erica Bufanda, Michel D. Ingham, Julie C. Castillo-Rogez
2022 J jnl
Neural-Rendezvous: Learning-based Robust Guidance and Control to Encounter Interstellar Objects.
CoRR
Hiroyasu Tsukamoto, Soon-Jo Chung, Benjamin Donitz, Michel D. Ingham, Declan Mages, Yashwanth Kumar Nakka
2021 A* conf
Constrained Risk-Averse Markov Decision Processes.
AAAI
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2021 J jnl
Risk-Averse Decision Making Under Uncertainty.
CoRR
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2020 J jnl
Advancing the Scientific Frontier with Increasingly Autonomous Systems.
CoRR
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, P. Michael Furlong, Michel D. Ingham, Brian M. Kennedy, Ksenia Kolcio, Issa Nesnas, Robert Rasmussen, Glenn Reeves, Cristina Sorice, Bethany Theiling, Jay Wyatt
2020 J jnl
Constrained Risk-Averse Markov Decision Processes.
CoRR
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2020 — conf
Partially Observable Games for Secure Autonomy.
SP (Workshops)
Mohamadreza Ahmadi, Arun Viswanathan, Michel D. Ingham, Kymie Tan, Aaron D. Ames
2020 J jnl
Partially Observable Games for Secure Autonomy.
CoRR
Mohamadreza Ahmadi, Arun Viswanathan, Michel D. Ingham, Kymie Tan, Aaron D. Ames
2020 C conf
Risk-Averse Planning Under Uncertainty.
ACC
Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2019 J jnl
Risk-Averse Planning Under Uncertainty.
CoRR
Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2019 J jnl
Special issue on model-based systems engineering.
Syst. Eng.
Michel D. Ingham
2012 — conf
A Model-based Approach to Engineering Behavior of Complex Aerospace Systems.
Infotech@Aerospace
Michel D. Ingham, John C. Day, Kenneth Donahue, Alexander Kadesch, Andrew Kennedy, Mohammed Omair Khan, Ethan Post, Shaun Standley
2012 — conf
Modeling Off-Nominal Behavior in SysML.
Infotech@Aerospace
John Day, Kenneth Donahue, Michel D. Ingham, Alexander Kadesch, Andrew Kennedy, Ethan Post
2010 J jnl
Prototyping a Domain-Specific Language for Monitor and Control Systems.
J. Aerosp. Comput. Inf. Commun.
Matthew Bennett, Richard Borgen, Klaus Havelund, Michel D. Ingham, David A. Wagner
2009 J jnl
Goal-Based Operations: An Overview.
J. Aerosp. Comput. Inf. Commun.
Daniel D. Dvorak, Michel D. Ingham, J. Richard Morris, John Gersh
2009 J jnl
Introduction: Enhancing Intelligence in Aerospace Systems.
J. Aerosp. Comput. Inf. Commun.
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
2005 B conf
A unifying framework for systems modeling, control systems design, and system operation.
SMC
Daniel L. Dvorak, Mark B. Indictor, Michel D. Ingham, Robert D. Rasmussen, Margaret V. Stringfellow
2005 A* conf
Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata.
AAAI
Oliver B. Martin, Brian C. Williams, Michel D. Ingham
2005 J jnl
Engineering Complex Embedded Systems with State Analysis and the Mission Data System.
J. Aerosp. Comput. Inf. Commun.
Michel D. Ingham, Robert D. Rasmussen, Matthew Bennett, Alex C. Moncada
2004 J jnl
Model-Based Programming of Fault-Aware Systems.
AI Mag.
Brian C. Williams, Michel D. Ingham, Seung Chung, Paul Elliott, Michael W. Hofbaur, Gregory T. Sullivan
2003 J jnl
Model-based programming of intelligent embedded systems and robotic space explorers.
Proc. IEEE
Brian C. Williams, Michel D. Ingham, Seung H. Chung, Paul H. Elliott
2002 A conf
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State.
CP
Brian C. Williams, Michel D. Ingham