Wildeboer, Melvyn (2021) Assume-Guarantee Contracts for Continuous-Time Linear Systems using External Equivalence by Simulation. Bachelor's Thesis, Applied Mathematics.
|
Text
bAppM_2021_WildeboerM.pdf Download (366kB) | Preview |
|
Text
toestemming.pdf Restricted to Registered users only Download (118kB) |
Abstract
Modern engineering systems are increasingly more complex as they are generally the result of the interconnection of a large number of components. Motivated by this, a mathematical framework for comparing dynamical systems is required, in order to define specifications on such components and to allow for the replacement of components. The notion of simulation provides such a framework for continuous-time linear systems. This notion is a powerful tool for non-deterministic linear systems and leads to a notion of external equivalence which is finer than equality of external behaviour. Using geometric control theory, the notion of simulation is characterized for linear systems. In addition, it is shown that the property of simulation passes over to interconnected linear systems for various types of interconnections. Moreover, assume-guarantee contracts are introduced, which can be regarded as characterizations of system specifications. These contracts consist of a pair of assumptions, which describe expected input behaviour of a linear system, and guarantees, which represent desired output behaviour of a linear system when interconnected with relevant environments. These contracts define a class of compatible environments and implementations, and in this paper, conditions are established for the existence of such implementations of assume-guarantee contract.
Item Type: | Thesis (Bachelor's Thesis) |
---|---|
Supervisor name: | Besselink, B. |
Degree programme: | Applied Mathematics |
Thesis type: | Bachelor's Thesis |
Language: | English |
Date Deposited: | 05 Jul 2021 12:20 |
Last Modified: | 05 Jul 2021 12:20 |
URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/24952 |
Actions (login required)
View Item |