<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A framework for control, fault detection, state estimation and verification of hybrid systems"^^ . "This paper presents a modeling formalism for hybrid systems which allows one to formulate and solve several practical problems, such as control, formal verification, state estimation, and fault detection. As an extension to previous works we report a technique that allows one to reduce the number of auxiliary binary variables in the modeling phase "^^ . "1999" . "1" . . "IEEE"^^ . . "IEEE"^^ . . . "American Control Conference"^^ . . . . . . . . . . . . . . "Manfred"^^ . "Morari"^^ . "Manfred Morari"^^ . . "Domenico"^^ . "Mignone"^^ . "Domenico Mignone"^^ . . "Alberto"^^ . "Bemporad"^^ . "Alberto Bemporad"^^ . . . . . "HTML Summary of #608 \n\nA framework for control, fault detection, state estimation and verification of hybrid systems\n\n" . "text/html" . . . "QA Mathematics"@en . . . "QA75 Electronic computers. Computer science"@en . . . "TJ Mechanical engineering and machinery"@en . .