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

Colloquium Mathematics, Florian Kerber

08 March 2011

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

  • 05 September 2024

    ERC Starting Grants for two UG researchers

    Two UG researches, both working at the Faculty of Science and Engineering, have been awarded an ERC Starting Grant: Jingxiu Xie and Gosia Wlodarczyk-Biegun. The European Research Council's (ERC) Starting Grants consist of €1.5 million each, for a...

  • 23 July 2024

    The chips of the future

    Our computers use an unnecessarily large amount of energy, and we are reaching the limits of our current technology. That is why CogniGron is working on new materials that mimic the way the brain computes, and Professor Tamalika Banerjee will...

  • 18 July 2024

    Smart robots to make smaller chips

    A robotic arm in a factory that repeatedly executes the same movement: that’s a thing of the past, states Ming Cao. Researchers of the University of Groningen are collaborating with high-tech companies to make production processes more autonomous.