Search results for "Polytope"

showing 10 items of 25 documents

Characterizing extreme points of polyhedra an extension of a result by Wolfgang Bühler

1982

This paper reconsiders the characterization given by Buhler admitting convex polyhedra of probability distributions on a finite or countable set which are given by systems of linear inequalities more complex than those considered before.

Discrete mathematicsGeneral MathematicsRegular polygonInteger points in convex polyhedraManagement Science and Operations ResearchCombinatoricsPolyhedronLinear inequalityConvex polytopeCountable setExtreme pointSoftwareSpherical polyhedronMathematicsZeitschrift für Operations Research
researchProduct

Real quadrics in C n , complex manifolds and convex polytopes

2006

In this paper, we investigate the topology of a class of non-Kähler compact complex manifolds generalizing that of Hopf and Calabi-Eckmann manifolds. These manifolds are diffeomorphic to special systems of real quadrics Cn which are invariant with respect to the natural action of the real torus (S1)n onto Cn. The quotient space is a simple convex polytope. The problem reduces thus to the study of the topology of certain real algebraic sets and can be handled using combinatorial results on convex polytopes. We prove that the homology groups of these compact complex manifolds can have arbitrary amount of torsion so that their topology is extremely rich. We also resolve an associated wall-cros…

General MathematicsHolomorphic functionSubspace arrangementsPolytope52C35Combinatorics52B05Ricci-flat manifoldTheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITYConvex polytopeComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONMathematics::Symplectic Geometry32Q55Mathematics32M17Equivariant surgeryTopology of non-Kähler compact complex manifoldsMathematics::Geometric TopologyManifoldAffine complex manifoldsMathematics::Differential GeometryDiffeomorphismComplex manifoldCombinatorics of convex polytopesSingular homologyReal quadrics
researchProduct

Robust control in uncertain multi-inventory systems and consensus problems

2008

Abstract We consider a continuous time linear multi–inventory system with unknown demands bounded within ellipsoids and controls bounded within polytopes. We address the problem of ∈-stabilizing the inventory since this implies some reduction of the inventory costs. The main results are certain conditions under which ∈-stabilizability is possible through a saturated linear state feedback control. The idea of this approach is similar to the consensus problem solution for a network of continuous time dynamic agents, where each agent evolves according to a first order dynamics has bounded control and it is subject to unknown but bounded disturbances. In this context, we derive conditions under…

LMI; robust control; inventory systems; consensusMathematical optimizationMulti-agent systemMulti-agent systemsPolytopeContext (language use)EllipsoidCooperative systemsReduction (complexity)inventory systemsConsensusSettore ING-INF/04 - AutomaticaconsensusControl theoryBounded functionLMI robust control inventory systems consensusLMIRobust controlSettore MAT/09 - Ricerca OperativaDistributed control and estimationrobust controlCooperative systems; Distributed control and estimation; Multi-agent systemsMathematics
researchProduct

Pure Functions in C: A Small Keyword for Automatic Parallelization

2017

AbstractThe need for parallel task execution has been steadily growing in recent years since manufacturers mainly improve processor performance by increasing the number of installed cores instead of scaling the processor’s frequency. To make use of this potential, an essential technique to increase the parallelism of a program is to parallelize loops. Several automatic loop nest parallelizers have been developed in the past such as PluTo. The main restriction of these tools is that the loops must be statically analyzable which, among other things, disallows function calls within the loops. In this article, we present a seemingly simple extension to the C programming language which marks fun…

LOOP (programming language)Computer sciencemedia_common.quotation_subject020209 energy02 engineering and technologyParallel computingcomputer.software_genreToolchainTheoretical Computer ScienceTask (computing)Automatic parallelizationSide effect (computer science)Parallel processing (DSP implementation)020204 information systemsTheory of computationParallelism (grammar)0202 electrical engineering electronic engineering information engineeringPolytope model020201 artificial intelligence & image processingCompilerFunction (engineering)computerSoftwareInformation Systemsmedia_common2017 IEEE International Conference on Cluster Computing (CLUSTER)
researchProduct

A simplified predictive control of constrained Markov jump system with mixed uncertainties

2014

Published version of an article in the journal: Abstract and Applied Analysis. Also available from the publisher at: http://dx.doi.org/10.1155/2014/475808 Open Access A simplified model predictive control algorithm is designed for discrete-time Markov jump systems with mixed uncertainties. The mixed uncertainties include model polytope uncertainty and partly unknown transition probability. The simplified algorithm involves finite steps. Firstly, in the previous steps, a simplified mode-dependent predictive controller is presented to drive the state to the neighbor area around the origin. Then the trajectory of states is driven as expected to the origin by the final-step mode-independent pre…

Mathematical optimizationArticle Subjectlcsh:MathematicsApplied MathematicsPolytopeState (functional analysis)Analysis; Applied Mathematicslcsh:QA1-939VDP::Mathematics and natural science: 400::Mathematics: 410::Analysis: 411Set (abstract data type)Model predictive controlPolyhedronControl theoryTrajectoryInvariant (mathematics)AnalysisMathematicsMarkov jump
researchProduct

Approximation of the Feasible Parameter Set in worst-case identification of Hammerstein models

2005

The estimation of the Feasible Parameter Set (FPS) for Hammerstein models in a worst-case setting is considered. A bounding procedure is determined both for polytopic and ellipsoidic uncertainties. It consists in the projection of the FPS of the extended parameter vector onto suitable subspaces and in the solution of convex optimization problems which provide Uncertainties Intervals of the model parameters. The bounds obtained are tighter than in the previous approaches. hes.

Mathematical optimizationEstimation theorySystem identificationIdentification (control systems)PolytopeLinear subspaceInterval arithmeticSettore ING-INF/04 - AutomaticaControl and Systems EngineeringBounding overwatchConvex optimizationNonlinear systemsApplied mathematicsElectrical and Electronic EngineeringProjection (set theory)static nonlinearityMathematics
researchProduct

Robust control of uncertain multi-inventory systems via linear matrix inequality

2008

We consider a continuous time linear multi inventory system with unknown demands bounded within ellipsoids and controls bounded within ellipsoids or polytopes. We address the problem of "-stabilizing the inventory since this implies some reduction of the inventory costs. The main results are certain conditions under which "-stabilizability is possible through a saturated linear state feedback control. All the results are based on a Linear Matrix Inequalities (LMIs) approach and on some recent techniques for the modeling and analysis of polytopic systems with saturations.

Mathematical optimizationLinear Matrix InequalitiesPolytopeDynamical Systems (math.DS)stock control93xxcontinuous systems linear matrix inequalities linear systems manufacturing systems robust control state feedback stock control uncertain systemsimpulse control inventory control hybrid systemsSettore ING-INF/04 - AutomaticaControl theoryFOS: Mathematicsmanufacturing systemsMathematics - Dynamical Systemslinear matrix inequalitiesstate feedbackTime complexityMathematics - Optimization and ControlInventory systemsMathematicsInventory controlLinear Matrix Inequalities; Inventory systemsLinear systemlinear systemsLinear matrix inequality93Cxx;93xxLinearity93Cxxhybrid systemsEllipsoidComputer Science Applicationsimpulse control; inventory control; hybrid systemsuncertain systemsControl and Systems EngineeringOptimization and Control (math.OC)Control systemBounded functioncontinuous systemsPerpetual inventorycontinuous systems; linear matrix inequalities; linear systems; manufacturing systems; robust control; state feedback; stock control; uncertain systemsinventory controlRobust controlSettore MAT/09 - Ricerca Operativarobust controlimpulse control
researchProduct

Combinatorics of generalized Bethe equations

2012

A generalization of the Bethe ansatz equations is studied, where a scalar two-particle S-matrix has several zeroes and poles in the complex plane, as opposed to the ordinary single pole/zero case. For the repulsive case (no complex roots), the main result is the enumeration of all distinct solutions to the Bethe equations in terms of the Fuss-Catalan numbers. Two new combinatorial interpretations of the Fuss-Catalan and related numbers are obtained. On the one hand, they count regular orbits of the permutation group in certain factor modules over \({\mathbb{Z}^M}\), and on the other hand, they count integer points in certain M-dimensional polytopes.

Mathematics::CombinatoricsNonlinear Sciences - Exactly Solvable and Integrable Systems010308 nuclear & particles physics010102 general mathematicsScalar (mathematics)Complex systemFOS: Physical sciencesStatistical and Nonlinear PhysicsPolytopeMathematical Physics (math-ph)Permutation group01 natural sciencesBethe ansatzCombinatorics0103 physical sciencesEnumerationFOS: MathematicsMathematics - CombinatoricsCombinatorics (math.CO)0101 mathematicsExactly Solvable and Integrable Systems (nlin.SI)Complex numberComplex planeMathematical PhysicsMathematics
researchProduct

On base loci of higher fundamental forms of toric varieties

2019

We study the base locus of the higher fundamental forms of a projective toric variety $X$ at a general point. More precisely we consider the closure $X$ of the image of a map $({\mathbb C}^*)^k\to {\mathbb P}^n$, sending $t$ to the vector of Laurent monomials with exponents $p_0,\dots,p_n\in {\mathbb Z}^k$. We prove that the $m$-th fundamental form of such an $X$ at a general point has non empty base locus if and only if the points $p_i$ lie on a suitable degree-$m$ affine hypersurface. We then restrict to the case in which the points $p_i$ are all the lattice points of a lattice polytope and we give some applications of the above result. In particular we provide a classification for the se…

MonomialAlgebra and Number Theory010102 general mathematicsLattice (group)Toric varietyPolytope01 natural sciencesBase locusBlowing upCombinatoricsMathematics - Algebraic GeometryMathematics::Algebraic GeometryHypersurfaceToric varieties fundamental forms0103 physical sciencesFOS: MathematicsSettore MAT/03 - Geometria010307 mathematical physicsAffine transformation0101 mathematicsAlgebraic Geometry (math.AG)Primary 14M25. Secondary 52B20 53A20MathematicsJournal of Pure and Applied Algebra
researchProduct

Matroid optimization problems with monotone monomials in the objective

2022

Abstract In this paper we investigate non-linear matroid optimization problems with polynomial objective functions where the monomials satisfy certain monotonicity properties. Indeed, we study problems where the set of non-linear monomials consists of all non-linear monomials that can be built from a given subset of the variables. Linearizing all non-linear monomials we study the respective polytope. We present a complete description of this polytope. Apart from linearization constraints one needs appropriately strengthened rank inequalities. The separation problem for these inequalities reduces to a submodular function minimization problem. These polyhedral results give rise to a new hiera…

PolynomialMonomialOptimization problemRank (linear algebra)Applied Mathematics0211 other engineering and technologies021107 urban & regional planningPolytopeMonotonic function0102 computer and information sciences02 engineering and technology01 natural sciencesMatroidCombinatoricsMonotone polygon010201 computation theory & mathematicsComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONDiscrete Mathematics and CombinatoricsMathematicsDiscrete Applied Mathematics
researchProduct