<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Discrete-time hybrid modeling and verification of the batch evaporator process benchmark"^^ . "For hybrid systems described by interconnections of linear discrete-time dynamical systems, automata, and propositional logic rules, we recently proposed the Mixed Logical Dynamical (MLD) systems formalism and the language HYSDEL (Hybrid System Descrip- tion Language) as a modeling tool. For MLD models, we developed a reachability analysis algorithm which combines forward reach set computation and feasibility analysis of trajectories by linear and mixed-integer linear programming. In this paper the versatility of the overall analysis tool is illustrated on the batch evaporator benchmark process. "^^ . "2001-04" . "7" . "4" . . "Lavoisier"^^ . . . "European Journal of Control"^^ . . . "09473580" . . . . . . . . . . . . . "Fabio Danilo"^^ . "Torrisi"^^ . "Fabio Danilo Torrisi"^^ . . "Alberto"^^ . "Bemporad"^^ . "Alberto Bemporad"^^ . . "Manfred"^^ . "Morari"^^ . "Manfred Morari"^^ . . . . . "HTML Summary of #458 \n\nDiscrete-time hybrid modeling and verification of the batch evaporator process benchmark\n\n" . "text/html" . . . "QA Mathematics"@en . . . "QA75 Electronic computers. Computer science"@en . . . "TJ Mechanical engineering and machinery"@en . .