Change search
ReferencesLink to record
Permanent link

Direct link
Continuity and invariance in hybrid automata
KTH, Superseded Departments, Signals, Sensors and Systems.ORCID iD: 0000-0001-9940-5929
Show others and affiliations
2001 (English)In: Proceedings of the 40th IEEE Conference on Decision and Control, 2001, IEEE , 2001, 340-345 p.Conference paper (Refereed)
Abstract [en]

Hybrid automata have been proposed as a language for modelling and analysing the interaction of digital and analogue dynamics in embedded computer systems. In the paper, hybrid automata are studied from a dynamical systems perspective. Extending earlier work on conditions for existence and uniqueness of executions of hybrid automata, we characterise a class of hybrid automata whose executions depend continuously on the initial state. The continuity conditions are subsequently used to derive an extension of LaSalle's principle for studying the stability of invariant sets of states of hybrid automata

Place, publisher, year, edition, pages
IEEE , 2001. 340-345 p.
Keyword [en]
Hybrid systems, Dynamical systems, Continuity, LaSalle's Invariance Principle
National Category
Control Engineering
URN: urn:nbn:se:kth:diva-81087DOI: 10.1109/.2001.980123ISBN: 0-7803-7061-9OAI: diva2:497092
the 40th IEEE Conference on Decision and Control, 2001, Orlando, FL
QC 20120228Available from: 2012-02-28 Created: 2012-02-10 Last updated: 2012-02-28Bibliographically approved

Open Access in DiVA

hybrid_cdc01(178 kB)34 downloads
File information
File name FULLTEXT01.pdfFile size 178 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full textIEEEXplore

Search in DiVA

By author/editor
Johansson, Karl H.
By organisation
Signals, Sensors and Systems
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 34 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 19 hits
ReferencesLink to record
Permanent link

Direct link