<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Verification of hybrid systems via mathematical programming"^^ . "This paper proposes a novel approach to the verification of hybrid systems based on linear and mixed-integer linear programming. Models are described using the Mixed Logical Dynamical (MLD) formalism introduced in [5]. The proposed technique is demonstrated on a verification case study for an automotive suspension system."^^ . "1999" . "1569" . . "Springer-Verlag"^^ . . "Springer-Verlag"^^ . . . "Hybrid Systems: Computation and Control"^^ . . . . . . . . . . . . . . . . . "Manfred"^^ . "Morari"^^ . "Manfred Morari"^^ . . "Frits "^^ . "Vaandrager"^^ . "Frits Vaandrager"^^ . . "Jan"^^ . "Van Schuppen"^^ . "Jan Van Schuppen"^^ . . "Alberto"^^ . "Bemporad"^^ . "Alberto Bemporad"^^ . . . . . "HTML Summary of #500 \n\nVerification of hybrid systems via mathematical programming\n\n" . "text/html" . . . "QA Mathematics"@en . . . "QA75 Electronic computers. Computer science"@en . . . "TJ Mechanical engineering and machinery"@en . .