Today’s Outline

• Recap

• Model-Based Autonomous Systems

  • Motivation & Overview
    • Model-Based Programming
    • Model-based Deductive Executive
    • RISC-like Deductive kernel
  • Model-based configuration management
    • Modeling a spacecraft using propositional logic
    • Mode Identification
    • Mode Reconfiguration
  • Viewed as Optimizing CSP Search
  • LTMS: Incremental Propositional Solver

Previous slide

Next slide

Back to first slide

View graphic version