Skip to ContentSkip to Navigation
About usNews and EventsNews articles

Compositional analysis and control of dynamical systems

11 March 2011

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:15 September 2017 3.41 p.m.

More news

  • 17 April 2019

    Why lightning often strikes twice

    In contrast to popular belief, lightning often does strike twice, but the reason why a lightning channel is ‘reused’ has remained a mystery. Now, an international research team led by the University of Groningen has used the LOFAR radio telescope to...

  • 16 April 2019

    Still going strong after four decades

    On March 29th professor of Applied Physics Jeff de Hosson was offered a farewell symposium, a few months after his official retirement date near the close of 2018. ‘But 29 March was the 100th birthday of Jan Francken, my predecessor.’ Besides, De Hosson...

  • 11 April 2019

    Ben Feringa in orbit around the Sun

    Dozens of minor planets that used to orbit the Sun anonymously were named by the International Astronomical Union on 6 April 2019. The asteroid that used to be known as ‘minor planet 12655’ was named after Prof. Ben Feringa, winner of the 2016 Nobel...