Stability Analysis for Hybrid Automata Using Conservative Gains

Langerak, Rom; Polderman, Jan Willem; Krilavičius, Tomas

doi:10.1016/s1474-6670(17)36454-6

Cited by 4 publications

(2 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Related to the last point we are working on the reformulation and generalization of the results of (Langerak et al, 2003) on the stability analysis of hybrid automata.…”

Section: Discussionmentioning

confidence: 99%

Process Algebraic Approach to Hybrid Systems

Brinksma

Krilavičius

Usenko

2005

IFAC Proceedings Volumes

View full text Add to dashboard Cite

Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concurrent discrete event systems that has been developed within computer science in past quarter century. It has generated a deeper understanding of the nature of concepts such as observable behaviour in the presence of nondeterminism, system composition by interconnection of concurrent component systems, and notions of behavioural equivalence of such systems. It has contributed fundamental concepts such as bisimulation, and has been succesfully used in a wide range of problems and practical applications in concurrent systems. We believe that the basic tenets of process algebra are highly compatible with the behavioural approach to dynamical systems. In our contribution we present an extension of classical process algebra that is suitable for the modelling and analysis of continuous and hybrid dynamical systems. It provides a natural framework for the concurrent composition of such systems, and can deal with nondeterministic behaviour that may arise from the occurrence of internal switching events. Standard process algebraic techniques lead to the characterization of the observable behaviour of such systems as equivalence classes under some suitably adapted notion of bisimulation.

show abstract

“…Related to the last point we are working on the reformulation and generalization of the results of (Langerak et al, 2003) on the stability analysis of hybrid automata.…”

Section: Discussionmentioning

confidence: 99%

Process Algebraic Approach to Hybrid Systems

Brinksma

Krilavičius

Usenko

2005

IFAC Proceedings Volumes

View full text Add to dashboard Cite

show abstract

“…Other approaches that allow some memory in the switching (e.g. hybrid automata with affine dynamics in each mode and without resets) are studied in, for example, Johansson (2003) and Langerak et al (2003).…”

Section: Phil Trans R Soc a (2010)mentioning

confidence: 99%

Stability analysis and controller synthesis for hybrid dynamical systems

Heemels¹,

Schutter

Lunze

et al. 2010

Phil. Trans. R. Soc. A.

View full text Add to dashboard Cite

Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the case in many technological systems in which logic decision-making and embedded control actions are combined with continuous physical processes. Also for many mechanical, biological, electrical and economical systems the use of hybrid models is essential to adequately describe their behaviour. To capture the evolution of these systems, mathematical models are needed that combine in one way or another the dynamics of the continuous parts of the system with the dynamics of the logic and discrete parts. These mathematical models come in all kinds of variations, but basically consist of some form of differential or difference equations on the one hand and automata or other discrete-event models on the other hand. The collection of analysis and synthesis techniques based on these models forms the research area of hybrid systems theory, which plays an important role in the multi-disciplinary design of many technological systems that surround us. This paper presents an overview from the perspective of the control community on modelling, analysis and control design for hybrid dynamical systems and surveys the major research lines in this appealing and lively research area.

show abstract

Research on Process Algebraic Analysis Tools for Electronic System Design

Man

Krilavičius

2009

Lecture Notes in Electrical Engineering

View full text Add to dashboard Cite

Stability Analysis for Hybrid Automata Using Conservative Gains

Cited by 4 publications

References 21 publications

Process Algebraic Approach to Hybrid Systems

Process Algebraic Approach to Hybrid Systems

Stability analysis and controller synthesis for hybrid dynamical systems

Research on Process Algebraic Analysis Tools for Electronic System Design

Contact Info

Product

Resources

About