Validating a HamiltonJacobi Approximation to Hybrid System Reachable Sets

1
(No Transcript)
2
Energy efficient air transportation systems

• 5 of US GDP
• Delays caused 19 billion in direct operating
  costs in 2007
• Better operations needed

3
Energy efficient, high productivity buildings

• 40 total energy consumption, 72 electricity
  usage
• Isolated subsystems, not much modeling
• Better operations needed

4
Foundations

• Observe and infer with a viewpoint to planning
  and modifying action
• Use a hierarchy of
  platforms to develop
  and
  modify action
  plans
• Tasking sensors, programming the
  ensemble
• Closing the loop

5
Testbeds

• Future air transportation systems testbed
• Connections with NASA Ames (SDO, separation
  assurance), NASA Langley (safety)
• Simulators (FACET, ACES), actual flight data
  (CFDR)
• Mobile sensor net testbed
• Buildings
• Berkeley campus Soda, Cory, Sutardja Dai,
  California Halls
• LBL (DOE2)

6
Education and Outreach

• Cyber-physical systems science (CPSS)
• Curriculum development at Berkeley/MIT
• Outreach
• Curriculum development at SJSU
• SUPERB-CSS
• Research Experience for Teachers (RET)

7
(No Transcript)