\chapter{Applications}In this paper we introduced Discrete Hybrid Automata as a generalmodeling framework for obtaining hybrid models oriented to thesolution of analysis and synthesis problems. The language\hysdel{} describes DHA at a high level and its associatedcompiler generates the corresponding computational models. Thissimplifies the use of the whole theory and set of tools availablefor different classes of hybrid systems for solving control, stateestimation and verification problems.The effectiveness of \hysdel{} was shown on an automotive casestudy in~\cite{TB02}. In~\cite{BTM01a} \hysdel{} was used to modela batch evaporator plant and the associate PLC controller.\hysdel{} has been successfully used in several industrialapplications. In~\cite{BBFH01a} the authors modeled the hybridbehavior of a vehicle/tyre system and designed a tractioncontroller that helps the driver to control a vehicle underadverse external conditions such as wet or icy roads. Anotherautomotive application was presented in~\cite{BGKH02a}, where thefocus is on the application of hybrid modeling and optimal controlto the problem of air-to-fuel ratio and torque control in advancedgasoline direct injection stratified charge (DISC) engines. Inboth cases, the control design leaded to a control law that can beimplemented on automotive hardware as a piecewise affine functionof the measured and estimated quantities. In~\cite{FGLSMA02} theeconomic optimization of a combined cycle power plant wasaccomplished by modeling the system in \hysdel{} (turning on/offthe gas and steam turbine, operating constraints, differentmodalities start up of the turbines), and then using the generatedMLD model in a mixed integer linear optimizationalgorithm~\cite{Cplex01}.The latest version of the \hysdel{} compiler is available on-lineat \url{http://control.ethz.ch/~hybrid/hysdel}.