Michel D. Ingham

Model-based programming of intelligent embedded systems and robotic space explorers

Brian Williams, Michel D. Ingham, Seung Chung et al. · Proceedings of the IEEE · 2003 · 186 citations

Robotic Systems, Engineering, Software Engineering +28

Engineering Complex Embedded Systems with State Analysis and the Mission Data System

Michel D. Ingham, Robert Rasmussen, Matthew Bennett et al. · Journal of Aerospace Computing Information and Communication · 2005 · 90 citations

Engineering, Computer Architecture, Software Engineering +27

EELS: Autonomous snake-like robot with task and motion planning capabilities for ice world exploration

Tiago Vaquero, Guglielmo Daddi, Rohan Thakker et al. · Science Robotics · 2024 · 56 citations

An ontology for State Analysis: Formalizing the mapping to SysML

David Wagner, Mike Bennett, Robert Karban et al. · 2012 · 49 citations

Ontology (Information Science), Engineering, Ontology Engineering +23

Application of a Safety-Driven Design Methodology to an Outer Planet Exploration Mission

Brandon D. Owens, Margaret Stringfellow Herring, Nicolas Dulac et al. · Proceedings - IEEE Aerospace Conference · 2008 · 43 citations

Engineering, Intent Specification, Safety Science +20