Join us for coffee and tea at 15.45 p.m.
Date: Tuesday, March 8th 2011
Florian Kerber (RuG, JBI)
Room: 5161.0267 (Bernoulliborg),
Compositional Analysis and Control of Dynamical
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
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.
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)
On the Education Day of the Faculty of Science and Engineering, the winner of the Faculty Teaching Award 2017 was revealed: Prof. Dirk Slotboom has been chosen as FSE’s teacher of the year 2017.
Ten University of Groningen (UG) Bachelor’s degree programmes have been awarded the ‘Top Degree Programme’ title in this year’s Dutch Higher Education Guide (Keuzegids), placing them at the top of Dutch academic education. In the ‘Broad-based General...
The membrane of a cell forms the boundary of life itself. This thin, fatty mantle is the sleeve that keeps the contents of a cell firmly inside. Transport proteins within the membrane are vital for effecting contact and exchange with the outside world...