1–13 of 13 hits
|

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

    Ingham, Michel / Rasmussen, Robert / Bennett, Matthew et al. | AIAA | 2004

    Generating requirements for complex embedded systems using State Analysis

    Ingham, Michel D. / Rasmussen, Robert D. / Bennett, Matthew B. et al. | Elsevier | 2006

    Development of a Prototype Domain-Specific Language for Monitor and Control Systems

    Bennett, Matthew / Borgen, Richard / Havelund, Klaus et al. | IEEE | 2008

    An Architectural Pattern for Goal-Based Control

    Bennett, Matthew / Dvorak, Daniel / Hutcherson, Joseph et al. | IEEE | 2008

    A Control Architecture for Safe Human-Robotic Interactions During Lunar Surface Missions

    Wagner, David / Dvorak, Daniel / Baroff, Lynn et al. | AIAA | 2009

    Prototyping a Domain-Specific Language for Monitor and Control Systems

    Bennett, Matthew / Borgen, Richard / Havelund, Klaus et al. | AIAA | 2010

    The attitude determination system of the RAX satellite

    Springmann, John C. / Sloboda, Alexander J. / Klesh, Andrew T. et al. | Elsevier | 2012

    An ontology for State Analysis: Formalizing the mapping to SysML

    Wagner, David A. / Bennett, Matthew B. / Karban, Robert et al. | IEEE | 2012

    Elevator cab protection system

    Free access
    GEBHARDT DAVID R / BENNETT MATTHEW G | European Patent Office | 2017

      Elevator Cab Protection System

      Free access
      GEBHARDT DAVID R / BENNETT MATTHEW G | European Patent Office | 2016

    Mapping Earth's Dust-EMITting Regions from the ISS with the EMIT Imaging Spectrometer

    Oaida, Bogdan V. / Yelamanchili, Amruta / Wells, Christopher et al. | IEEE | 2022