10.1007/978-3-540-69293-5_19
A component-based agent model for assessment of driving behaviour
Abstract
Item does not contain fulltextThis paper presents an ambient agent-based model that addresses the assessment of driving behaviour. In case of negative assessment, cruise control slows down and stops the car. The agent model has been formally specified in a component-based manner in the form of an executable specification that can be used for prototyping. A number of simulation experiments have been conducted. Moreover, dynamic properties of components at different aggregation levels and interlevel relations between them have been specified and verified.5th International Conference on Ubiquitous Intelligence and Computing, UIC 2008, Oslo, Norway, June 23-25, 200