Results 31 to 40 of about 65,892 (182)
State-Space Region-Invariance of Discrete-Time Control Systems
IEEE Access, 2023 In the paper, the so-called region-invariance properties of discrete-time control systems are considered. An already known notion of positivity of control systems has been generalized (using a kind of geometric insight instead of a pure algebraic ...
Wiktor Malesza, Michal Slawomir Wiraszka
doaj +1 more source
Polyhedral Analysis using Parametric Objectives [PDF]
, 2012 The abstract domain of polyhedra lies at the heart of many program analysis techniques. However, its operations can be expensive, precluding their application to polyhedra that involve many variables.
A. Miné +21 more
core +3 more sources
Deforming $||.||_{1}$ into $||.||_{\infty}$ via Polyhedral Norms: A Pedestrian Approach
SIAM Review, 2022 Motivated by the sparsity that appears in various relevant applications, polyhedral norms are thoroughly investigated, novel expressions of the unit balls associated with them are provided, and all the facets and vertices of these balls are determined. A similar treatment is given to the corresponding dual norms.
Gaudioso, Manlio +1 more
openaire +3 more sources
Editing Watertight Manifold Polyhedra using Face Shifts with Automatic Topological Updates and Edge Flips [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information SciencesIn the context of urban 3D mapping, the 3D modelling step is a crucial operation, which can be very error prone, particularly when high fidelity and accuracy are required. While automatic reconstruction tools are way faster and less expensive than manual
F. Geniet, M. Brédif, B. Vallet
doaj +1 more source
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present an approach to constrained Horn clause (CHC) verification combining three techniques: abstract interpretation over a domain of convex polyhedra, specialisation of the constraints in CHCs using abstract interpretation of query-answer ...
Bishoksan Kafle, John P. Gallagher
doaj +1 more source
Motion generation of a planar 3R serial chain based on conformal geometric algebra with applications to planar linkages [PDF]
Mechanical Sciences, 2022 A planar three-revolute (3R) serial chain is an important part of many mechanisms. The classical approach in motion generation of a planar 3R serial chain is to construct closed-loop equations based on complex numbers, which yields a large-scale ...
L. Wang +7 more
doaj +1 more source
A Polyhedral Approach for a Constrained Matching Problem [PDF]
Discrete & Computational Geometry, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hefner, A., Kleinschmidt, P.
openaire +1 more source
Ergodic Control and Polyhedral Approaches to PageRank Optimization [PDF]
IEEE Transactions on Automatic Control, 2013 We study a general class of PageRank optimization problems which consist in finding an optimal outlink strategy for a web site subject to design constraints. We consider both a continuous problem, in which one can choose the intensity of a link, and a discrete one, in which in each page, there are obligatory links, facultative links and forbidden links.
Fercoq, Olivier +3 more
openaire +3 more sources
Dynamic programming for graphs on surfaces [PDF]
, 2010 We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k.
B. Courcelle +15 more
core +1 more source
BMC Bioinformatics, 2017 Background RNA secondary structure prediction is a compute intensive task that lies at the core of several search algorithms in bioinformatics. Fortunately, the RNA folding approaches, such as the Nussinov base pair maximization, involve mathematical ...
Marek Palkowski, Wlodzimierz Bielecki
doaj +1 more source