Compositional analysis and control of dynamical systems
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. |
More news
-
14 May 2025
Darker Zernike Day – Explore the effects of Light Pollution
In the afternoon of May 24th 2025, Zernike Campus will host its first ever Darker Zernike Day, in collaboration with the Interreg North Sea project Darker Sky . The event will bring awareness to the increasing light pollution in the Netherlands and...
-
13 May 2025
PFAS: breaking down the forever chemicals
PFAS accumulates in the environment, and is harmful for humans and animals. Biochemist Clemens Mayer and PhD student Suzanne Jansen are working on enzymes that can break down PFAS.
-
06 May 2025
Overcoming grid congestion: ‘Making better use of what we already have’
Grid congestion poses a major problem. There is little to no capacity to connect new households and businesses to the power grid and it risks halting the energy transition. Michele Cucuzzella, Associate Professor of Energy Systems & Nonlinear...