16.412J/6.835 Intelligent Embedded Systems Prof. Brian Williams Rm 37-381 Rm NE43-838 Prof. Brian Williams Rm 37-381 Rm NE43-838

Slides:



Advertisements
Similar presentations
MBD in real-world system… Self-Configuring Systems Meir Kalech Partially based on slides of Brian Williams.
Advertisements

Background Reinforcement Learning (RL) agents learn to do tasks by iteratively performing actions in the world and using resulting experiences to decide.
WPI CS534 Showcase Jeff Martin. * Computer Software on Deep Space 1 * Used to execute plans/mission objectives * Model based * Constraint based * Fault.
CSE 5522: Survey of Artificial Intelligence II: Advanced Techniques Instructor: Alan Ritter TA: Fan Yang.
CPSC 322, Lecture 37Slide 1 Finish Markov Decision Processes Last Class Computer Science cpsc322, Lecture 37 (Textbook Chpt 9.5) April, 8, 2009.
A: A Unified Brand-name-Free Introduction to Planning Subbarao Kambhampati Environment What action next? The $$$$$$ Question.
Zach Ramaekers Computer Science University of Nebraska at Omaha Advisor: Dr. Raj Dasgupta 1.
AT 209 Introduction to Civil Unmanned Aerial Systems (UAS)
1 Briefing to the CAA on the Terrestrial Planet Finder (TPF): Finding and Characterizing Earth-like Planets Zlatan Tsvetanov, NASA Program Scientist Charles.
CPSC 322, Lecture 17Slide 1 Planning: Representation and Forward Search Computer Science cpsc322, Lecture 17 (Textbook Chpt 8.1 (Skip )- 8.2) February,
CPSC 322, Lecture 32Slide 1 Probability and Time: Hidden Markov Models (HMMs) Computer Science cpsc322, Lecture 32 (Textbook Chpt 6.5) March, 27, 2009.
1 Optimizing Utility in Cloud Computing through Autonomic Workload Execution Reporter : Lin Kelly Date : 2010/11/24.
CIS 410/510 Probabilistic Methods for Artificial Intelligence Instructor: Daniel Lowd.
Intelligent Agents: an Overview. 2 Definitions Rational behavior: to achieve a goal minimizing the cost and maximizing the satisfaction. Rational agent:
CSE 515 Statistical Methods in Computer Science Instructor: Pedro Domingos.
NASA/NSTA Web Seminar: Living and Working in Space: Energy LIVE INTERACTIVE YOUR DESKTOP Thursday, February 1, :00 p.m. to 8:00 p.m. Eastern.
NASA and The Moon. What Does NASA Do? NASA's mission is to pioneer the future in space exploration, scientific discovery and aeronautics research. To.
T Special Course in Computer and Information Science VI P: Decision support with data analysis (5 cr) Introduction lecture Miki Sirola.
Modularly Adaptable Rover and Integrated Control System Mars Society International Conference 2003 – Eugene, Oregon.
All rights reserved © Altec ExoMars 2018 Rover Operations Control Centre Available Tools for planning and Data Processing I. Musso.
The Role of Optimization and Deduction in Reactive Systems P. Pandurang Nayak NASA Ames Research Center Brian.
Artificial Intelligence: Prospects for the 21 st Century Henry Kautz Department of Computer Science University of Rochester.
GaTAC: A Scalable and Realistic Testbed for Multiagent Decision Making Ekhlas Sonu, Prashant Doshi Dept. of Computer Science University of Georgia Athens,
Space-Based Network Centric Operations Research. Secure Autonomous Integrated Controller for Distributed Sensor Webs Objective Develop architectures and.
National Aeronautics and Space Administration International Engagement & Partnerships: Building on the Past, Boldly Collaborating for the Future Goddard.
Fundamentals of Information Systems, Third Edition2 Principles and Learning Objectives Artificial intelligence systems form a broad and diverse set of.
Lecture 10: 8/6/1435 Machine Learning Lecturer/ Kawther Abas 363CS – Artificial Intelligence.
ENG 1181 College of Engineering Engineering Education Innovation Center P. 1 1 Computer Problem Solving in MATLAB Topics Covered: 1.Problem Solving 2.Top-Down.
1 Russia’s Priorities to Space Exploration and International Cooperation by Nikolai Anfimov Director General TsNIIMASH, Russia’s Federal Space Agency by.
Principles of Autonomy and Decision Making 1 Brian Williams and Nicholas Roy / September 8 th, 2004.
Aero/Astro Open House MERS Research Group Model-based Embedded and Robotic Systems Group Space Systems Laboratory Massachusetts Institute of Technology.
Presented to Kepler Pre-Launch Educator Workshop January 31, 2009 Shari Asplund Discovery and New Frontiers Programs Education and Public Outreach Manager.
10/16/02copyright Brian Williams, courtesy of JPL Diagnosing Multiple Faults Brian C. Williams J/6.834J October 16 th, 2002 Brian C. Williams,
SPHERES 0-G Autonomous Rendezvous and Docking Testbed Presented To DARPA Orbital Express December 2000 MIT Space Systems Laboratory David W. Miller (617)
Robotic Space Explorers Brian C. Williams Space Systems Lab & Artificial Intelligence Lab, MIT.
Planning Your Advanced Lecture 1 Brian C. Williams J/6.834J Sept 26 th, 2001.
 The Multi-Tier Mission Architecture and a Different Approach to Entry, Descent and Landing Jeremy Straub Department of Computer Science University of.
Accelerated Long Range Traverse (ALERT) Paul Springer Michael Mossey.
Model-based Programming of Cooperative Explorers Prof. Brian C. Williams Dept. of Aeronautics and Astronautics Artificial Intelligence Labs And Space Systems.
ADASS the Planning and Scheduling Perspective Roadmap: - How planning and scheduling fits in at ADASS - ADASS planning and scheduling posters and presentations.
Robotic Space Explorers: To Boldly Go Where No AI System Has Gone Before A Story of Survival J/6.834J September 19, 2001.
Spring, 2005 CSE391 – Lecture 1 1 Introduction to Artificial Intelligence Martha Palmer CSE391 Spring, 2005.
Space Systems Laboratory Massachusetts Institute of Technology AUTONOMY MIT Graduate Student Open House March 24, 2000.
Transfer Learning in Sequential Decision Problems: A Hierarchical Bayesian Approach Aaron Wilson, Alan Fern, Prasad Tadepalli School of EECS Oregon State.
MARS EXPLORATION PROGRAM NSTA Robotics E-Class MARS EXPLORATION PROGRAM NSTA Robotics E-Class Sheri Klug Mars Space Flight Facility Arizona State University.
SAS_05_Contingency_Lutz_Tal1 Contingency Software in Autonomous Systems Robyn Lutz, JPL/Caltech & ISU Doron Tal, USRA at NASA Ames Ann Patterson-Hine,
CSRP NASA Workshop NASA’s Revised Budget. CSRP NASA Workshop NASA’s New Vision and Objectives (as of January 14, 2004)  VISION  The fundamental goal.
Copyright B. Williams J/6.834J, Fall 02 Lecture 3: Immobile Robots and Space Explorers Prof. Brian Williams Rm Wednesday, September 11 th,
The History Of Space Exploration Chapter 6 Lesson 2 Page 214.
CS382 Introduction to Artificial Intelligence Lecture 1: The Foundations of AI and Intelligent Agents 24 January 2012 Instructor: Kostas Bekris Computer.
Brittany Grinner Paul Lim PATHFINDER & SOJOURNER.
MIT Dept of Aeronautics and Astronautics March 21, 2003 Graduate Open House Programming Cooperative Teams To Perform Global Science HOME TWO Enroute COLLECTION.
Autonomy: Executive and Instruments Life in the Atacama 2004 Science & Technology Workshop Nicola Muscettola NASA Ames Reid Simmons Carnegie Mellon.
FASTER SPACE EU CONFERENCE February /06/2016 In FASTER, a European consortium of six partners from five member states develops and demonstrates.
Brief Intro to Machine Learning CS539
Session Chair: Dr. Sam W. Thurman
EXPERT SYSTEMS.
Monitoring Dynamical Systems: Combining Hidden Markov Models and Logic
Fundamentals of Information Systems
Model-based Diagnosis: The Single Fault Case
User Preparation for new Satellite generations
NASA Ames Research Center
Thrust IC: Action Selection in Joint-Human-Robot Teams
AI in Space – Lessons From NASA’s Deep Space 1 Mission
Course Logistics CS533: Intelligent Agents and Decision Making
Design 6 Classes 4th Quarter Lunar/Mars Rover Science Project
Market-based Dynamic Task Allocation in Mobile Surveillance Systems
Model-based Diagnosis
Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 7
Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 7
Presentation transcript:

16.412J/6.835 Intelligent Embedded Systems Prof. Brian Williams Rm Rm NE Prof. Brian Williams Rm Rm NE MW 11-12:30, Rm

Outline Course Objectives and Assignments Types of Reasoning Kinds of Intelligent Embedded Systems A Case Study: Space Explorers Course Objectives and Assignments Types of Reasoning Kinds of Intelligent Embedded Systems A Case Study: Space Explorers

Course Objective 1 To understand fundamental methods for creating the major components of intelligent embedded systems. Accomplished by:  First ten lectures on basic methods  ~ 5 problem sets during the first ten lectures to exercise basic understanding of methods. To understand fundamental methods for creating the major components of intelligent embedded systems. Accomplished by:  First ten lectures on basic methods  ~ 5 problem sets during the first ten lectures to exercise basic understanding of methods. Plan Execute Monitor & Diagnosis

Basic Method Lectures Decision Theoretic Planning Reinforcement Learning Partial Order Planning Conditional Planning and Plan Execution Propositional Logic and Inference Model-based Diagnosis Temporal Planning and Execution Bayesian Inference and Learning More Advanced: Graph-based and Model-based Planning Combining Hidden Markov Models and Symbolic Reasoning Decision Theoretic Planning Reinforcement Learning Partial Order Planning Conditional Planning and Plan Execution Propositional Logic and Inference Model-based Diagnosis Temporal Planning and Execution Bayesian Inference and Learning More Advanced: Graph-based and Model-based Planning Combining Hidden Markov Models and Symbolic Reasoning

Course Objective 2 To dive into the recent literature, and collectively synthesize, clearly explain and evaluate the state of the art in intelligent embedded systems. Accomplished by:  Weekly thought questions (~ 2 page answers)  Group lecture on advance topic  45 minute lecture  Short tutorial article on method 1-3 methods  Demo of example reasoning algorithm  Groups of size ~3. To dive into the recent literature, and collectively synthesize, clearly explain and evaluate the state of the art in intelligent embedded systems. Accomplished by:  Weekly thought questions (~ 2 page answers)  Group lecture on advance topic  45 minute lecture  Short tutorial article on method 1-3 methods  Demo of example reasoning algorithm  Groups of size ~3.

Course Objective 3 To apply one or more reasoning elements to create a simple agent that is driven by Goals or Rewards Accomplished by:  Final project during last third of course  Implement and demonstrate one or more reasoning methods on a simple embedded system.  Short final presentation on project.  Final project report. To apply one or more reasoning elements to create a simple agent that is driven by Goals or Rewards Accomplished by:  Final project during last third of course  Implement and demonstrate one or more reasoning methods on a simple embedded system.  Short final presentation on project.  Final project report. Plan Execute Monitor & Diagnosis

Outline Course Objectives and Assignments Types of Reasoning (Slides compliments of Prof Malik, Berkeley) Kinds of Intelligent Embedded Systems A Case Study: Space Explorers Course Objectives and Assignments Types of Reasoning (Slides compliments of Prof Malik, Berkeley) Kinds of Intelligent Embedded Systems A Case Study: Space Explorers

Agents and Intelligence Prof Malik, Berkeley

Reflex agents Compliments of Prof Malik, Berkeley

Reflex agent with state Compliments of Prof Malik, Berkeley

Goal-oriented agent Compliments of Prof Malik, Berkeley

Utility-based agent Compliments of Prof Malik, Berkeley

Outline Course Objectives and Assignments Types of Reasoning Kinds of Intelligent Embedded Systems A Case Study: Space Explorers Course Objectives and Assignments Types of Reasoning Kinds of Intelligent Embedded Systems A Case Study: Space Explorers

Immobile Robots: Intelligent Offices and Ubiquitous Computing

Ecological Life Support For Mars Exploration

courtesy NASA The MIR Failure

courtesy NASA Ames

MIT Spheres courtesy Prof. Dave Miller, MIT Space Systems Laboratory

courtesy JPL Distributed Spacecraft Interferometers to search for Earth-like Planets Around Other Stars

courtesy JPL ``Our vision in NASA is to open the Space Frontier... We must establish a virtual presence, in space, on planets, in aircraft and spacecraft.’’ - Daniel S. Goldin, NASA Administrator, May 29, 1996 A Goldin Era of Robotic Space Exploration

Cooperative Exploration Distributed Planning Group, JPL Model-based Embedded and Robotic Systems Group, MIT

MIT Model Based Embedded and Robotics Group Autonomous Vehicles Testbed

Robotic Vehicles ATRV Rovers Monster Trucks Blimps Spheres Simulated Air/Space Vehicles ATRV Rovers Monster Trucks Blimps Spheres Simulated Air/Space Vehicles

Indoor test range Aim & Scope: indoor experiments for target site exploration cooperative exploration

Scenario Cooperative Target Site Exploration: Heterogeneous rover team and blimps explore science sites determined by remote sensing exploration feature path planned/taken way point exploration region identified feature goal position Tasks: small scout rovers (ATRV Jr) explore terrain as described in earlier scenarios blimps provide additional fine grain air surveillance scout rovers identify features for further investigation by sample rover (ATRV) scout rovers provide refined terrain mapping for path planning of the larger sample rover Scenario Research Objective Extend coordination to heterogeneous team …

Cryobot & Hydrobot courtesy JPL Exploring life under Europa

Outline Course Objectives and Assignments Types of Reasoning Kinds of Intelligent Embedded Systems A Case Study: Space Explorers Course Objectives and Assignments Types of Reasoning Kinds of Intelligent Embedded Systems A Case Study: Space Explorers

Cassini Maps Titan courtesy JPL 7 year cruise ~ ground operators ~ 1 billion $ 7 years to build A Capable Robotic Explorer: Cassini 150 million $ 2 year build 0 ground ops Faster, Better, Cheaper

courtesy JPL ``Our vision in NASA is to open the Space Frontier... We must establish a virtual presence, in space, on planets, in aircraft and spacecraft.’’ - Daniel S. Goldin, NASA Administrator, May 29, 1996

Four launches in 7 months Mars Climate Orbiter: 12/11/98 Mars Polar Lander: 1/3/99 Stardust: 2/7/99 QuickSCAT: 6/19/98 courtesy of JPL

Vanished: Mars Polar Lander Mars Observer courtesy of JPL Spacecraft require commonsense…

Traditional spacecraft commanding

Houston, We have a problem... courtesy of NASA Quintuple fault occurs (three shorts, tank-line and pressure jacket burst, panel flies off). Mattingly works in ground simulator to identify new sequence handling severe power limitations. Mattingly identifies novel reconfiguration, exploiting LEM batteries for power. Swaggert & Lovell work on Apollo 13 emergency rig lithium hydroxide unit.

Self Repairing Explorers: Deep Space 1