This overall project aims at developing methods for specifying the tasks at the different levels in the control hierachy. In particular, methods are considered for representing, i.e. modelling, and analysing the tasks. Supervision at individual levels aims at ensuring consistency of the decisions taken at the different levels. The supervision entails plans, data, models and performance.
|Effective start/end date||01/01/1995 → …|