Skip to ContentSkip to Navigation
About us Latest news News News articles

Compositional analysis and control of dynamical systems

11 March 2011

PhD ceremony: Mr. F.J. Kerber, 16.15 uur, Academiegebouw, Broerstraat 5, Groningen

Title: Compositional analysis and control of dynamical systems

Promotor(s): prof. A.J. van der Schaft

Faculty: Mathematics and Natural Sciences


Compositional techniques are widely used in formal verification to check the correctness of large computer programs. The key problem is the complexity caused by the interaction of concurrent processes which leads to high dimensions of the state space. To deal with this problem, the global verification problem for the overall system is simplified by splitting it into several less complex problems for the components. Models of engineering processes can also become very complex since they are equally characterized by networks of interacting subsystems. Inspired by solution concepts developed in the area of formal verification, we present concepts and tools for compositional analysis and control of dynamical systems. In this thesis the focus lies on deduction schemes based on (bi)simulation relations such as compositional and assume-guarantee reasoning. As one of the main results of this thesis we prove that circular assume-guarantee reasoning is sound and complete for linear systems. Our approach provides insights in various areas of systems theory and control. Explicit connections are made with classical compositional analysis techniques in systems and control such as passivity theory and with decentralized control.


Last modified:13 March 2020 01.10 a.m.
View this page in: Nederlands

More news

  • 28 May 2024

    NWO Summit grant for research into molecular basis of life

    RUG researchers partner in NWO Summit grant to research molecular basis of life.

  • 27 May 2024

    Human-centred robotics

    Every two weeks, UG Makers puts the spotlight on a researcher who has created something tangible, ranging from homemade measuring equipment for academic research to small or larger products that can change our daily lives. That is how UG...

  • 27 May 2024

    Four honorary doctorates awarded by the UG

    On Friday, 24 May, the UG awarded four honorary doctorates to Dr Kate Crawford, Dr Tedros Ghebreyesus, Gerrit Hiemstra and Prof. Mariana Mazzucato. The presentation took place in the Aula of the Academy Building and was part of the university's...