MURI Telecon 2005-08-03: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
(=Action plan=) |
||
| Line 24: | Line 24: | ||
== Action plan == | == Action plan == | ||
* Wed | * Wed: Mani to take a pass through entire white paper | ||
** Set up a single challenge at the model level | ** Set up a single challenge at the model level | ||
* Wed-Fri: Pablo to rework SoS section and send to John | * Wed-Fri: Pablo to rework SoS section and send to John | ||
* Sat-Sun: John, Mani: work on integration | * Sat-Sun: John, Mani: work on integration | ||
* Sun pm, Mon: Richard will reformat | * Sun pm, Mon: Richard will reformat | ||
Latest revision as of 17:38, 3 August 2005
3 Aug 05, 10 am
Round Robin
Eric Klavins
- We need to integrate the parts better
- We need to say more about how SoS will link to temporal logic
- Statement that we can integrate these pieces is not there
- Proof of concepts festival
- Have some people come in and quickly code things up
- Action (Richard): Take a first cut at this and send out today
Pablo
- Suggest taht we switch order of presentation
- Action (Pablo, John): Rework SoS session after specification section. Pablo will take a first cut (with Stephen and Antonis) and then hand off to John.
Mani
- Don't think we really know how to implement temporal logic within SoS
- We should think about role of clocks more explicitly; not clear that CCL or Unity are the right approach to doing this
- How do you specify things for dynamics; how do we convert to static test (without unrolling
John Doyle
- Needs to emphasize distributed more
Action plan
- Wed: Mani to take a pass through entire white paper
- Set up a single challenge at the model level
- Wed-Fri: Pablo to rework SoS section and send to John
- Sat-Sun: John, Mani: work on integration
- Sun pm, Mon: Richard will reformat
