A geometric approach to differential-algebraic systems: from bisimulation to control by interconnection

Megawati, N. 2017 [Groningen]: University of Groningen. 112 p.

Research output: ScientificDoctoral Thesis

Copy link to clipboard


  • Title and contents

    Final publisher's version, 189 KB, PDF-document

  • Chapter 1

    Final publisher's version, 107 KB, PDF-document

  • Chapter 2

    Final publisher's version, 168 KB, PDF-document

  • Chapter 3

    Final publisher's version, 175 KB, PDF-document

  • Chapter 4

    Final publisher's version, 347 KB, PDF-document

  • Chapter 5

    Final publisher's version, 353 KB, PDF-document

  • Chapter 6

    Final publisher's version, 173 KB, PDF-document

  • Chapter 7

    Final publisher's version, 393 KB, PDF-document

    Embargo ends: 25/05/2019

  • Chapter 8

    Final publisher's version, 73 KB, PDF-document

  • Bibliography

    Final publisher's version, 107 KB, PDF-document

  • Summary

    Final publisher's version, 35 KB, PDF-document

  • Samenvatting

    Final publisher's version, 35 KB, PDF-document

  • Ringkasan

    Final publisher's version, 43 KB, PDF-document

  • Biography

    Final publisher's version, 53 KB, PDF-document

  • Complete thesis

    Final publisher's version, 1 MB, PDF-document

    Embargo ends: 25/05/2019

  • Propositions

    Final publisher's version, 49 KB, PDF-document

  • Noorma Megawati
Network modeling of complex systems often leads to models involving both differential equations and algebraic equations in the state variables, called differential-algebraic equation (DAE) systems. In this thesis we use concepts and results from geometric control theory to study several problems in DAE systems. The first problem that we study is the equivalence of DAE systems by bisimulation. As a preliminary result we characterize the set of consistent states and the set of solution trajectories. In the second problem we study a different notion of bisimulation relation for DAE systems having a regular matrix pencil. Under the assumption of regularity, we develop the notion of bisimulation relation as the direct product of two partial bisimulation relations corresponding to the fast and the slow subsystems. The third problem concerns disturbance decoupling for linear systems with complementarity switching. We present necessary and sufficient conditions for the linear system with complementarity switching to be disturbance decoupled. In general these two conditions do not coincide.

In the last problem, we study the control by interconnection problem of a standard input-state-output system, based on an abstraction system. An abstraction system is a lower-dimensional system whose external behavior contains the external behavior of the original system. First, we study the problem of constructing a controller for the abstraction system such that the interconnection of the abstraction system and the controller is bisimilar to a given specification system. Next we consider the problem of applying the controller system derived for the abstraction system to the original plant system.
Original languageEnglish
QualificationDoctor of Philosophy
Award date15-Sep-2017
Place of Publication[Groningen]
Print ISBNs978-94-028-0731-8
Electronic ISBNs978-94-034-0052-5
StatePublished - 2017

View graph of relations

Download statistics

No data available

ID: 47263638