Hybrid system are of
interest to a diverge group of researchers. Research topics include the
mathematics and specification part, the verification and simulation implementation
of these formal notions, and the physical semantics leg which tries to
put the mathematical and implementation activity in a sound physical framework.
A mathematical paradigm for hybrid
systems relies on the dynamic system notion of flows in phase space. An
excellent book on dynamic systems is Differential
Equations, Dynamical Systems, and Linear Algebra by Hirsh and
Smale. The hybrid dynamic system paradigm is well phrased by Guckenheimer
and Johnson in their "Planar Hybrid Systems"
article in the Hybrid Systems III issue. Discrete transitions occur in
between continuous modes of operation when state variables reach threshold
values. These transitions may discontinuously change the field gradient
that determines flow and may cause discontinuous jumps in the state vector
values. Several implementations
of this hybrid dynamic systems modeling paradigm have been developed, either
from the discrete systems perspective or from the continuous systems point
of view.
Discrete system behavior is well
captured by finite state machines and these can be extended to include
continuous behavior. Initially, this resulted in timed automata, which
contain clocks that can be reset to 0 to constitute the continuous dimension.
The resulting continuous behavior, therefore, is monotonously increasing
with a constant rate and can be reset at discrete events. As a next step,
hybrid automata were introduced that do not enforce the monotonicity constraint
and allow clocks with different rates. These formalisms are especially
useful in analyzing synchronization and communication behavior. For more
information, refer to Alur, Courcoubetis, Henzinger, Halbwachs, Ho, Nicollin,
Olivero, Sifakis, and Yovine, "The Algorithmic Analysis
of Hybrid Systems" in Theoretical Computer Science.
In the continuous systems realm,
there is a common mathematical framework in the form of differential equations,
possibly extended by algebraic constraints (so called DAEs). State of the
art modeling packages apply this formalism to handle large continuous models.
To cope with the modeling complexity, hierarchy and object-oriented notions
such as inheritance are applied. Presently, the international Modelica
initiative aims to standardize the object-oriented model specification
language. Models are specified as noncausal interactions between objects,
and a compilation stage flattens the model structure and compiles a causal
DAE. Noncausal modeling is first developed by the bond graph formalism
and a good book on the subject is System Dynamics:
A unified approach by Karnopp, Margolis, and Rosenberg. In the
DAE framework, discrete mechanisms are introduced by conditionally (de)activating
algebraic constraints, and, in some cases, some of the differential equations.
This hybrid DAE formalism is powerful in modeling complex dynamic system
behavior.
By nature, hybrid automata are well
suited for verification purposes. To deal with complex continuous behavior,
the continuous phase space is discretized into piecewise linear behaviors.
In this context, linear refers to the constant rate of change constraint
as opposed to the classical linear systems notion where dynamic behavior
typically is exponential (i.e., linearity refers to the solutions not the
underlying equations). An excellent book on systems theory is Introduction
to Dynamic Systems: Theory, Models, and Applications by Luenberger.
The piecewise linearization of a continuous phase space is studied in detail
by Stursberg, Kowalewski, Hoffmann, and Preußig in their Hybrid
Systems IV article "Comparing Timed and Hybrid
Automata as Approximations of Continuous Systems".
Hybrid DAEs are a typical simulation
formalism. Along with a continuous numerical approximation, root-finding
to locate the discrete event time, event iteration to handle sequences
of discrete events, and reinitialization needs to be handled. Cellier describes
this in his thesis Combined Continuous/Discrete System
Simulation by Use of Digital Computers: Techniques and Tools.
Discontinuities that result from model abstraction (e.g., bouncing
ball) can be conveniently modeled by hybrid DAEs as small, localized, conditional
constraints. The elaborate discrete control mechanisms that are part of
embedded control systems can be modeled by Petri nets, which requires a
deterministic implementation.
The simulation and verification
research takes a control perspective and relies on 'good models'. Such
models are obtained by including physical constraints as developed in the
field of thermodynamics. An excellent book (though in German) on the subject
is Energie und Entropie: Eine Einfuhrung in die
Thermodynamik by Falk and Ruppel. The resulting physical semantics
for hybrid dynamic systems enables one to analyze mathematical singularities
such as described by Utkin in Sliding Modes in
Control and Optimization. Bond graphs apply thermodynamic concepts
to provide a systematic modeling approach from physical concepts all the
way to a mathematical representation that inherently enforces conservation
of energy and continuity of power. Much work on including discontinuous
phenomena in this theoretical modeling framework is done by Mosterman and
Biswas, which resulted in Mosterman's dissertation Hybrid
Dynamic Systems: A hybrid bond graph modeling paradigm and its application
in diagnosis.
Finally, a lot of research is conducted
to develop formal models for powerful hybrid system specification formalisms.
Branicky presents a thorough study of this in his dissertation Studies
in Hybrid Systems. This interesting strand of research has close
ties with the formal methods community, which is an emerging factor in
system specification for verification and, ultimately, automated code generation.
This then addresses the eventual synthesis goal where an embedded control
system is formulated as a system of equations with unknown control variables
that are solved algorithmically.
In my opinion this describes the
texture of the research performed by the hybrid dynamic systems community.
A good indication of where we stand is the annual Hybrid System workshop
of the IEEE Technical Committee on Hybrid Dynamical Systems. At present, we have
moved beyond solving small, illustrative, problems and hybrid system methodologies
are deployed in such projects as real-time hardware in the loop simulation
and consumer electronics control verification. A suite of simulation and
verification tools is readily available in the public domain.
Future research will apply hybrid
dynamic system concepts and notions to increasingly complex systems for
analysis and synthesis purposes based on sound theoretical principles.
I look forward to new developments, enjoy being part of it, and hope this
site contributes to advancing the state of the art!
Pieter J. Mosterman