Linear switching systems

Attainability and controllability

J. Bokor, Z. Szabó, László Nádai

Research output: Contribution to journalArticle

Abstract

Hybrid systems are characterized by the interaction between continuous-time dynamics (governed by differential or difference equations), and discrete dynamics and logic rules (described by temporal logic, finite state machines, etc.). Recent progress in the theory and practice of modeling and control design have caused an increasing interest in the study of hybrid systems, which is motivated not only by theoretical challenges but also by their ability to model, analyze and synthesize controllers in a large variety of application areas. This paper highlights some aspects encountered when modeling with hybrid systems through a short overview of some controllability and stabilizability results concerning linear switching systems. It was shown how classical techniques, such as geometrical control theory, Lie-algebraic techniques, convex analysis find their applicability in the study of the behavior of the hybrid systems.

Original languageEnglish
Pages (from-to)167-188
Number of pages22
JournalStudies in Computational Intelligence
Volume241
DOIs
Publication statusPublished - 2009

Fingerprint

Switching systems
Controllability
Hybrid systems
Temporal logic
Difference equations
Finite automata
Control theory
Differential equations
Controllers

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Linear switching systems : Attainability and controllability. / Bokor, J.; Szabó, Z.; Nádai, László.

In: Studies in Computational Intelligence, Vol. 241, 2009, p. 167-188.

Research output: Contribution to journalArticle

@article{c08121e580c146dc925669777bd5cfbf,
title = "Linear switching systems: Attainability and controllability",
abstract = "Hybrid systems are characterized by the interaction between continuous-time dynamics (governed by differential or difference equations), and discrete dynamics and logic rules (described by temporal logic, finite state machines, etc.). Recent progress in the theory and practice of modeling and control design have caused an increasing interest in the study of hybrid systems, which is motivated not only by theoretical challenges but also by their ability to model, analyze and synthesize controllers in a large variety of application areas. This paper highlights some aspects encountered when modeling with hybrid systems through a short overview of some controllability and stabilizability results concerning linear switching systems. It was shown how classical techniques, such as geometrical control theory, Lie-algebraic techniques, convex analysis find their applicability in the study of the behavior of the hybrid systems.",
author = "J. Bokor and Z. Szab{\'o} and L{\'a}szl{\'o} N{\'a}dai",
year = "2009",
doi = "10.1007/978-3-642-03633-0_10",
language = "English",
volume = "241",
pages = "167--188",
journal = "Studies in Computational Intelligence",
issn = "1860-949X",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - Linear switching systems

T2 - Attainability and controllability

AU - Bokor, J.

AU - Szabó, Z.

AU - Nádai, László

PY - 2009

Y1 - 2009

N2 - Hybrid systems are characterized by the interaction between continuous-time dynamics (governed by differential or difference equations), and discrete dynamics and logic rules (described by temporal logic, finite state machines, etc.). Recent progress in the theory and practice of modeling and control design have caused an increasing interest in the study of hybrid systems, which is motivated not only by theoretical challenges but also by their ability to model, analyze and synthesize controllers in a large variety of application areas. This paper highlights some aspects encountered when modeling with hybrid systems through a short overview of some controllability and stabilizability results concerning linear switching systems. It was shown how classical techniques, such as geometrical control theory, Lie-algebraic techniques, convex analysis find their applicability in the study of the behavior of the hybrid systems.

AB - Hybrid systems are characterized by the interaction between continuous-time dynamics (governed by differential or difference equations), and discrete dynamics and logic rules (described by temporal logic, finite state machines, etc.). Recent progress in the theory and practice of modeling and control design have caused an increasing interest in the study of hybrid systems, which is motivated not only by theoretical challenges but also by their ability to model, analyze and synthesize controllers in a large variety of application areas. This paper highlights some aspects encountered when modeling with hybrid systems through a short overview of some controllability and stabilizability results concerning linear switching systems. It was shown how classical techniques, such as geometrical control theory, Lie-algebraic techniques, convex analysis find their applicability in the study of the behavior of the hybrid systems.

UR - http://www.scopus.com/inward/record.url?scp=70449589462&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70449589462&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-03633-0_10

DO - 10.1007/978-3-642-03633-0_10

M3 - Article

VL - 241

SP - 167

EP - 188

JO - Studies in Computational Intelligence

JF - Studies in Computational Intelligence

SN - 1860-949X

ER -