FINAL PROJECT REPORT

← Back to document page

FINAL PROJECT REPORTAugust 2007Project no.: IST-2001-35304Project Co-ordinator: Frits VaandragerProject Start Date: 1 April 02Duration: 39 monthsProject home page: : PublicContents1 PROJECT Consortium Description . . . . . . . . . . . . . . . . . . . . . . . . . . . . Main Achievements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 PROJECT Objectives63 PROJECT Methodologies, Results and Model-Based System Development . . . . . . . . . . . . . . . . . . . . . . PROJECT Results: Expressiveness, Performance & Tools . . . . . . . . . . . . Priced Timed Automata: Theory, Algorithms and Applications . . Stochastic Extensions of Timed Automata . . . . . . . . . . . . . . Modelling Frameworks for Scheduling Under (Discrete) Uncertainty Optimization and Constraint Satisfaction as a Tool for Timed Au-tomata Analysis.

Typically, in each of these domain problems are solved using different approaches and mathematical tools. The Ametist project has provided the foundations for a unifying framework for time-dependent behavior and dynamic resource allocation that crosses the boundaries of application domains.

  Solved