Skip to ContentSkip to Navigation
Over onsNieuws en agendaNieuwsberichten

Colloquium Mathematics, Florian Kerber

08 maart 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)

Laatst gewijzigd:04 juli 2014 21:24

Meer nieuws

  • 16 mei 2018

    Het nut van algen boven water

    Tussen de Bahama’s en Ierland goten algenonderzoeksters Maria van Leeuwe en Jacqueline Stefels van de RUG honderden liters oceaanwater door hun filters. Ze voeren op onderzoeksschip de Pelagia een etappe van de NICO-expeditie mee. Het Netherlands Initiative...

  • 09 mei 2018

    Petra Rudolf gekozen tot nieuwe voorzitter European Physical Society

    RUG-hoogleraar Experimentele Vaste Stof Fysica Petra Rudolf is verkozen tot 'president' van de European Physical Society (EPS). Met ingang van april 2019 zal zij deze organisatie, die natuurkundige vakverenigingen in heel Europa (inclusief Turkije en...

  • 08 mei 2018

    Professor Sijbren Otto wint eervolle Royal Society of Chemistry Award

    Aan hoogleraar Systeemchemie Sijbren Otto van de Rijksuniversiteit Groningen (RUG) is de Supramolecular Chemistry Award 2018 van de Britse Royal Society of Chemistry toegekend. Otto ontvangt deze tweejaarlijkse prijs voor zijn bijdrage aan het onderzoek...