scientific article; zbMATH DE number 1303060
From MaRDI portal
Publication:4249562
zbMath0954.93019MaRDI QIDQ4249562
Manfred Morari, Alberto Bemporad
Publication date: 15 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
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