Change search
ReferencesLink to record
Permanent link

Direct link
On the existence of executions of hybrid automata
1999 (English)In: Proceedings of the 38th IEEE Conference on Decision and Control, 1999, IEEE , 1999, 2249-2254 p.Conference paper (Refereed)
Abstract [en]

Necessary and sufficient conditions for hybrid automata to be non-blocking and deterministic (local existence and uniqueness of executions, respectively) are, developed. The problem of global existence of executions is discussed in the context of Zeno hybrid automata, that is, hybrid automata that exhibit infinitely many discrete transitions in finite time

Place, publisher, year, edition, pages
IEEE , 1999. 2249-2254 p.
Keyword [en]
Analytical models, Automata, Automatic control, Control system analysis, Control system synthesis, Cost accounting, Extraterrestrial phenomena, Optimal control, Sufficient conditions, Topology
National Category
Control Engineering
URN: urn:nbn:se:kth:diva-80794DOI: 10.1109/CDC.1999.831255ISBN: 0-7803-5250-5OAI: diva2:496736
the 38th IEEE Conference on Decision and Control, Phoenix, AZ
Qc 20120227Available from: 2012-02-27 Created: 2012-02-10 Last updated: 2012-02-27Bibliographically approved

Open Access in DiVA

exist_cdc99(296 kB)257 downloads
File information
File name FULLTEXT01.pdfFile size 296 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full textIEEEXplore

Search in DiVA

By author/editor
Johansson, Karl H.Egerstedt, Magnus
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 257 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: 109 hits
ReferencesLink to record
Permanent link

Direct link