• No results found

University of Groningen A geometric approach to differential-algebraic systems Megawati, Noorma

N/A
N/A
Protected

Academic year: 2021

Share "University of Groningen A geometric approach to differential-algebraic systems Megawati, Noorma"

Copied!
2
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

University of Groningen

A geometric approach to differential-algebraic systems

Megawati, Noorma

IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below.

Document Version

Publisher's PDF, also known as Version of record

Publication date: 2017

Link to publication in University of Groningen/UMCG research database

Citation for published version (APA):

Megawati, N. (2017). A geometric approach to differential-algebraic systems: from bisimulation to control by interconnection. University of Groningen.

Copyright

Other than for strictly personal use, it is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license (like Creative Commons).

Take-down policy

If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.

Downloaded from the University of Groningen/UMCG research database (Pure): http://www.rug.nl/research/portal. For technical reasons the number of authors shown on this cover page is limited to 10 maximum.

(2)

Proposition

to accompany the thesis

A geometric approach to

differential-algebraic systems:

From bisimulation to control by interconnection by

Noorma Yulia Megawati

1. Geometric control theory can be used to characterize the consistent subset and the solution set of differential-algebraic equation systems. [Chapter 3] 2. Bisimilar differential-algebraic equation systems have equal external

behav-ior. [Chapter 4]

3. The existence of a partial bisimulation relation is equivalent to transfer ma-trix equality. [Chapter 5]

4. The obtained sufficient and necessary conditions for a linear complementarity system to be disturbance decoupled do not coincide. [Chapter 6]

5. Any controller achieving a specification for the abstraction system of a given

system can be applied to the original system. The resulting closed-loop

system is simulated by the specification system. [Chapter 7]

6. No clouds lasts for ever; neither is there such a thing as eternal sunshine. From the darkest night the most beautiful morning is born. [R.A. Kartini: Letters of a Javanese Princess]

7. Let us dream as long as it is possible; if there where no dreams, what would life be? [R.A. Kartini: Letters of a Javanese Princess]

Referenties

GERELATEERDE DOCUMENTEN

A geometric approach to differential-algebraic systems: From bisimulation to control by interconnection Noorma Yulia Megawati.. PhD Thesis University of Groningen Cover by

An important aspect of this approach in developing bisimulation theory for continuous linear systems is that the conditions for the existence of a bisimulation relation are

The one-sided notion of bisimulation, called simulation, is given in the following definition.

Differently from the standard definition of the consistent subspace, this consistent subset is the set of initial states for which there exists a continuous and

Furthermore, two systems are called bisimilar if there exists a bisimulation relation relating all consistent states of both systems. This is formalized in the following definition

Based on this, the notion of bisimulation relation for regular matrix pencil DAE systems is constructed by computing the partial bisimulation relations corresponding to the

Motivated by the results of [19, 20] we have studied disturbance decoupling under arbitrary consis- tent switching behavior for linear systems with complementarity switching, and

In this section we will show that if there exists a feedback controller for the abstraction system achieving the specification system, then the interconnected system between