Wildeboer, Melvyn (2021) AssumeGuarantee Contracts for ContinuousTime 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 continuoustime linear systems. This notion is a powerful tool for nondeterministic 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, assumeguarantee 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 assumeguarantee 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 