scientific article; zbMATH DE number 1303060

zbMath0954.93019MaRDI QIDQ4249562

Manfred Morari, Alberto Bemporad

Publication date: 15 February 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

hybrid systemsmixed-integer linear programmingverification procedures

Mathematics Subject Classification ID

Linear programming (90C05) Reliability, availability, maintenance, inspection in operations research (90B25) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (7)

Verification of Hybrid Systems ⋮ Simultaneous state and input estimation of hybrid systems with unknown inputs ⋮ HySAT: An efficient proof engine for bounded model checking of hybrid systems ⋮ Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems ⋮ Optimal control of sampled-data piecewise affine systems ⋮ Reachability analysis of linear systems using support functions ⋮ A clustering technique for the identification of piecewise affine systems

This page was built for publication: