Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Convexity recognition of the union of polyhedra - MaRDI portal

Convexity recognition of the union of polyhedra

From MaRDI portal
Publication:5943314

DOI10.1016/S0925-7721(01)00004-9zbMath0976.68163MaRDI QIDQ5943314

Alberto Bemporad, Komei Fukuda, Fabio D. Torrisi

Publication date: 27 September 2001

Published in: Computational Geometry (Search for Journal in Brave)




Related Items

Explicit sub-optimal linear quadratic regulation with state and input constraintsDonut Domains: Efficient Non-convex Domains for Abstract InterpretationOn the efficiency of convex polyhedraTime-Bounded Verification of CTMCs against Real-Time SpecificationsDelta Minors, Delta Free Clutters, and EntanglementGeometric algorithm for multiparametric linear programmingAn improved multi-parametric programming algorithm for flux balance analysis of metabolic networksOn a cone covering problemOn ill-conceived initialization in archetypal analysisRandom dual expected utilityEvaluation of piecewise affine control via binary search treeInner and outer approximations of polytopes using boxes.An algorithm for approximate multiparametric linear programmingComputation of the constrained infinite time linear quadratic regulatorOn highly robust efficient solutions to uncertain multiobjective linear programsOptimal complexity reduction of polyhedral piecewise affine systemsA geometric and game-theoretic study of the conjunction of possibility measuresConvexity recognition of the union of polyhedraExact join detection for convex polyhedra and other numerical abstractionsA case when the union of polytopes is convexExtended convex hullThe explicit linear quadratic regulator for constrained systemsApplications of polyhedral computations to the analysis and verification of hardware and software systemsStabilizing low complexity feedback control of constrained piecewise affine systems


Uses Software


Cites Work