Publication:4249562
From MaRDI portal
zbMath0954.93019MaRDI QIDQ4249562
Manfred Morari, Alberto Bemporad
Publication date: 15 February 2001
90C05: Linear programming
90B25: Reliability, availability, maintenance, inspection in operations research
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems, Simultaneous state and input estimation of hybrid systems with unknown inputs, HySAT: An efficient proof engine for bounded model checking of hybrid systems, Reachability analysis of linear systems using support functions, Optimal control of sampled-data piecewise affine systems, A clustering technique for the identification of piecewise affine systems, Verification of Hybrid Systems