SHIP Winter Plan 2011

A) Logical Framework (Christian)

  • muCSP in Hets
  • Specifications and refinements
  • Verification support

B) Programming Framework (Dominik)

  • Requirements (from Design, Visualization, Simulation, Code-Generation, Interaction with real world)
  • Architecture and Prototype

C) SHIP Prototypes/Demonstrators? (Serge)

  • Demo for the SAB (BAALL)
  • Presentation for the Cebit 2013 (other than BAAL)

D) Differences to Existing Approaches of Multi-AGV Planning and Coordination (Ewaryst)

  • Classification of Routing algorithms along the discussed categories, see this report
  • The Cognitive Agent Architecture CAT
Last modified 7 years ago Last modified on 26.10.2011 09:30:05