|
|
Welcome |
|
|
Teaching |
|
|
Research |
|
|
Projects |
|
|
CV |
|
|
Contact info |
|
|
Other stuff |
|
|
Links |
This talk presents a very brief introduction to some general theoretical aspects behind Modelling and Simulation. We focus on dynamic systems and show different levels of specification and abstraction for modelling such systems. We present the concept of hierarchies of system specification, and discuss some alternative hierarchies. The notion of system morphism as a means to relate systems either at the same level or at different levels of specification is introduced. Special attention is given to some behavioural morphisms, specifically (bi)simulation. Abstraction, refinement, and correctness are defined in terms of these morphisms.
The slides are available in the following formats: