 |
Third NASA-Goddard/IEEE Workshop on
|
 |
|
Third NASA-Goddard/IEEE Workshop on
|
|
April 26–27, 2004
Goddard Space Flight Center
Greenbelt, Maryland, USA
Agenda
[NOTE: Information on Panel topics and participants will be updated as soon as possible.]
Sunday, April 25
|
7:00 p.m.
|
Reception.
Greenbelt Marriott Hotel. Complimentary drinks and hors d'oeuvres. POSTER SESSION. |
Monday, April 26
|
8:00 a.m.
|
REGISTRATION AND CONTINENTAL BREAKFAST | |||
|
8:45
|
Opening Remarks | |||
| Session 1: Agent/MAS Control | ||||
|
9:00
|
"Ecologically Inspired Agent Control Model" | Maxim Peysakhov, Vincent A. Cicirello, and William Regli | ||
|
9:30
|
"From Abstract to Concrete Norms in Agent Institutions" | Davide Grossi and Frank Dignum | ||
|
10:00
|
"Meeting the Deadline: Why, When and How" | Frank Dignum, Jan Broersen, Virginia Dignum, and John-Jules Meyer | ||
|
10:30
|
"Multi-Agent Systems Reliability, Fuzzyness, and Deterrence" | Michel Rudnianski and Hélène Bestougeff | ||
|
11:00
|
BREAK | |||
| Session 2: Supporting Technologies | ||||
|
11:15
|
"Formalism Challenges of the Cougaar Model Driven Architecture" | Shawn Bohner, Denis Gracanin, Michael Hinchey, and Boby George | ||
|
11:45
|
"F-OWL: an Inference Engine for Semantic Web" | Youyong Zou, Tim Finin, and Harry Chen | ||
|
12:15 p.m.
|
LUNCH (provided) | |||
|
1:15
|
Keynote Address: "Self-aware computer systems" | John McCarthy | ||
|
2:15
|
BREAK | |||
| Session 3: Specification, Design, Architecture A | ||||
|
2:30
|
"Facilitating the Process of Specification Capture and Transformation on the Formal Development of Multi-Agent Systems" | Aluízio Haendchen Filho, Nuno Caminada, Edward Hermann Haeusler, Arndt von Staa | ||
|
3:00
|
"Using Ontologies to Formalize Service Specification in Multi-Agent Systems" | Karin K. Breitman, Aluízio Haendchen Filho, Edward Hermann Haeusler, Arndt von Staa | ||
|
3:30
|
"Model-Driven Architecture for Agent-Based Systems" | Denis Gracanin, Shawn A. Bohner, and Michael Hinchey | ||
|
4:00
|
BREAK | |||
|
4:15
|
Invited Talk -- "IBM’s Autonomic Computing" | Tom Studwell, IBM | ||
|
5:15
|
BREAK | |||
|
6:15
|
POSTER SESSION | |||
|
7:00
|
DINNER (provided) at Greenbelt Marriott Hotel |
Tuesday, April 27
|
8:00 a.m.
|
CONTINENTAL BREAKFAST | |||
| Session 4: Artificial Physics | ||||
|
8:45
|
"Two Formal Fluids Models For Multiagent Sweeping and Obstacle Avoidance" | Wesley Kerr, Diana F. Spears, William M. Spears, and David R. Thayer | ||
|
9:15
|
"A Formal Analysis of Potential Energy in a Multiagent System" | William M. Spears, Diana F. Spears, and Rodney Heil | ||
|
9:45
|
"Agent-Based Chemical Plume Tracing Using Fluid Dynamics" | Dimitri Zarzhitsky, Diana F. Spears, David R. Thayer, and William M. Spears | ||
|
10:15
|
BREAK | |||
|
|
Session 5: Specification, Design, Architecture B | |||
|
10:30
|
"Representing Semantic Constituents of Agent Communication Languages Using Conceptual Graphs" | Lois W. Harper, and Harry S. Delugach | ||
|
11:00
|
"Designing Adaptive Real-Time Systems Using Timed Automata" | G. Hutzler, H. Klaudel, and D. Y. Wang | ||
|
11:30
|
"Autonomic Properties of Two Legacy NASA Multi-Agent Systems, LOGOS and ACT" | Walt Truszkowski, Chris Rouff, Mike Hinchey, and James Rash | ||
|
12:00 Noon
|
LUNCH (provided) | |||
|
|
Session 6: Verification and Validation A | |||
|
1:00
|
"An Approach to V&V of Embedded Adaptive Systems" | Sampath Yerramalla, Yan Liu, Edgar Fuller, Bojan Cukic, and Srikanth Gururajan | ||
|
1:30
|
"Verification of Epistemic Properties in Multiagent Systems by Unbounded Model Checking" | M. Kacprzak, A. Lomuscio, and W. Penczek | ||
|
2:00
|
"Symbolic Model Checking of Multi-agent Systems Using OBDDs" | Franco Raimondi and Alessio Lomuscio | ||
|
2:30
|
BREAK | |||
|
|
Session 7: Verification and Validation B | |||
|
2:45
|
"Consistency Checking for Deliberative Agents with respect to Communication Protocols" | Jaime Ramírez. Angélica de Antonio | ||
|
3:15
|
"Properties of a Formal Method for Modeling Emergence in Swarm-based Systems" | Christopher Rouff, Amy Vanderbilt, Mike Hinchey, Walt Truszkowski, and James Rash | ||
|
3:45
|
"Model Checking Multi-agent Systems with VerICS" | T. Lasica, W. Penczek, and M. Szreter | ||
|
4:15
|
Invited Talk -- "The NASA Exploration Initiative: Goals and Challenges" | Barbara Pfarr, NASA/GSFC | ||
|
5:15
|
DISCUSSION | |||
|
6:00
|
WORKSHOP ADJOURNS |
Poster Session (See schedule for Monday evening.)
| "Massive Multi-Agent Systems Control" | Jean-Charles Campagne, Alain Cardon, Etienne Collomb, and Toyoaki Nishida | |
| "Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP)" | H. Sarmadi | |
| "Interaction and Communication of Agents in Networks and Language Complexity Estimates" | Jan Smid, Marek Obitko, David Fisher, and Walt Truszkowski | |
| "Petri Nets as Modeling Tool for Emergent Agents" | Margo Bergman |
Return to Home Page