|
|
Welcome |
|
|
Teaching |
|
|
Research |
|
|
Projects |
|
|
CV |
|
|
Contact info |
|
|
Other stuff |
|
|
Links |
A variable-structure system is a system whose structure changes over time. This includes systems whose topology evolves (such as mobile systems) and systems which change their mode of operation as the result of some event (such as hybrid systems.) Such systems are generally more difficult to understand and analyze than systems with a static structure. Therefore we need a solid basis for modelling, simulating and reasoning about them. In this thesis we focus on timed, reactive systems and we propose an approach to modelling these systems based on the Statechart and DEVS formalisms. We investigate the capabilities of these formalisms to model variable-structure systems, and the relationships between them.
The complete thesis is available in the following formats: