Colloquium Mathematics, Florian Kerber
Join us for coffee and tea at 15.45 p.m.
Date: Tuesday, March 8th 2011
Speaker: Florian Kerber (RuG, JBI)
Room: 5161.0267 (Bernoulliborg),
Time: 16.15
Title: Compositional Analysis and Control of Dynamical
Systems
Abstract:
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 talk the focus lies on deduction schemes based on (bi) simulation relations
such as compositional and assume-guarantee reasoning. 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.
1
Colloquium coordinators are Prof.dr. A.C.D. van Enter (e-mail : A.C.D.van.Enter@rug.nl) and
Dr. M. Dür (e-mail: M.E.Dur@rug.nl)
Last modified: | 10 February 2021 2.28 p.m. |
More news
-
01 July 2025
‘Give seals space’
The Wadden Sea is constantly changing. Native animals need to be able to adapt in order to thrive in an environment that is shaped by the tides. By conducting research on seals in the area, PhD students Margarita Méndez-Aróstegui and Beatriz...
-
30 June 2025
David Lentink partners international research project on animal navigation
Prof. David Lentink is a partner in the NaviSense project awarded 54.7 million euros by the German government to research the mechanisms animals use to navigate and how these mechanisms can inspire technology.
-
26 June 2025
Prof. Adri Minnaard receives RSC Chemistry Biology Interface Horizon Prize with Lipidomics team
With the ‘Lipidomics Team’, Prof. Adri Minnaard has been named winner of the Chemistry Biology Interface Horizon Prize of the Royal Society of Chemistry (RSC).