applications.tex

由matlab开发的hybrid系统的描述语言

\chapter{Applications}
In this paper we introduced Discrete Hybrid Automata as a general
modeling framework for obtaining hybrid models oriented to the
solution of analysis and synthesis problems. The language
\hysdel{} describes DHA at a high level and its associated
compiler generates the corresponding computational models. This
simplifies the use of the whole theory and set of tools available
for different classes of hybrid systems for solving control, state
estimation and verification problems.


The effectiveness of \hysdel{} was shown on an automotive case
study in~\cite{TB02}. In~\cite{BTM01a} \hysdel{} was used to model
a batch evaporator plant and the associate PLC controller.
\hysdel{} has been successfully used in several industrial
applications. In~\cite{BBFH01a} the authors modeled the hybrid
behavior of a vehicle/tyre system and designed a traction
controller that helps the driver to control a vehicle under
adverse external conditions such as wet or icy roads. Another
automotive application was presented in~\cite{BGKH02a}, where the
focus is on the application of hybrid modeling and optimal control
to the problem of air-to-fuel ratio and torque control in advanced
gasoline direct injection stratified charge (DISC) engines. In
both cases, the control design leaded to a control law that can be
implemented on automotive hardware as a piecewise affine function
of the measured and estimated quantities. In~\cite{FGLSMA02} the
economic optimization of a combined cycle power plant was
accomplished by modeling the system in \hysdel{} (turning on/off
the gas and steam turbine, operating constraints, different
modalities start up of the turbines), and then using the generated
MLD model in a mixed integer linear optimization
algorithm~\cite{Cplex01}.

The latest version of the \hysdel{} compiler is available on-line
at \url{http://control.ethz.ch/~hybrid/hysdel}.