MURI Telecon 2005-10-18: Difference between revisions

From Murray Wiki
Jump to navigationJump to search
(created meeting page)
 
No edit summary
 
(2 intermediate revisions by the same user not shown)
Line 5: Line 5:


== Notes ==
== Notes ==
* Present:
* Present: Pablo, Eric, Mani
 
=== Discussion of current draft ===
* Need to make the statement of work more concrete
** Talk about toolboxes, demonstrations, etc
** RMM to rewrite based on notes from discussion
* Technical Approach:
** Build on examples leading up to RoboFlag
* Distributed computing section
** Operators to human operators
** "Captured": perhaps hint at geometric meaning
* SoS section: needs to be updated (Pablo will take a pass)
* Probabalistic: currently high level; Mani will make more complete.  Good tools coming out in probabalistic modeling checking + probabalistic verification.  Look at both probabilistic systems + probabalistic reasoning
* Testbeds: keep both for now
** Think of Alice as a specific instance of one vehicle of many
** Complements the MVWT in terms of complexity, etc
* Partners and transitions
** JPL: meeting with Holtzman and his group this week (tomorrow at 9 am).  Well funded.  Interested in safety and security in space missions.  Gerard teaches at Caltech; currently very small.
** Boeing: working on conference call. Brainstorm about how it will benefit them.
** Honeywell: will set up call for next week
** AFRL: contacted VS, MN, IF; will probably ''not'' contact VA (conflict of interest)
 
=== Actions ===
* Eric: block diagram showing how this would work - picking from library, put together, etc
* Eric: add paragraph and figure about SPIN
* Pablo: updated SoS section; include examples + safety paragraph
* Mani: add specific example (carrying through from previous) and theorems we would like to have in probabalistic section.
* Mani: first cut at adversarial section; then hand off to Pablo to write SoS/game theory section
* Richard: contact SRI and set up telecon
* Richard: contact John Bay and explore possible connections to IF

Latest revision as of 17:04, 18 October 2005

Goals

  • Discuss current draft of proposal, collecting comments on what to revise
  • Talk about partnerships and transition strategies
  • Agree on actions over the next week + time of next telecon

Notes

  • Present: Pablo, Eric, Mani

Discussion of current draft

  • Need to make the statement of work more concrete
    • Talk about toolboxes, demonstrations, etc
    • RMM to rewrite based on notes from discussion
  • Technical Approach:
    • Build on examples leading up to RoboFlag
  • Distributed computing section
    • Operators to human operators
    • "Captured": perhaps hint at geometric meaning
  • SoS section: needs to be updated (Pablo will take a pass)
  • Probabalistic: currently high level; Mani will make more complete. Good tools coming out in probabalistic modeling checking + probabalistic verification. Look at both probabilistic systems + probabalistic reasoning
  • Testbeds: keep both for now
    • Think of Alice as a specific instance of one vehicle of many
    • Complements the MVWT in terms of complexity, etc
  • Partners and transitions
    • JPL: meeting with Holtzman and his group this week (tomorrow at 9 am). Well funded. Interested in safety and security in space missions. Gerard teaches at Caltech; currently very small.
    • Boeing: working on conference call. Brainstorm about how it will benefit them.
    • Honeywell: will set up call for next week
    • AFRL: contacted VS, MN, IF; will probably not contact VA (conflict of interest)

Actions

  • Eric: block diagram showing how this would work - picking from library, put together, etc
  • Eric: add paragraph and figure about SPIN
  • Pablo: updated SoS section; include examples + safety paragraph
  • Mani: add specific example (carrying through from previous) and theorems we would like to have in probabalistic section.
  • Mani: first cut at adversarial section; then hand off to Pablo to write SoS/game theory section
  • Richard: contact SRI and set up telecon
  • Richard: contact John Bay and explore possible connections to IF