Today’s Outline

• Recap

• Model-Based Autonomous Systems

  • Motivation & Overview
  • Model-based configuration management
    • Modeling a spacecraft using propositional logic
    • Mode Identification
    • Mode Reconfiguration
  • Viewed as Optimizing CSP Search
    • MI/MR as combinatorial optimization
    • Cost Model
    • Best-First Search
  • LTMS: Incremental Propositional Solver

Previous slide

Next slide

Back to first slide

View graphic version