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.
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]