-
arXiv:2303.17761 [pdf, ps, other]
Differential Flatness by Pure Prolongation: Necessary and Sufficient Conditions
Abstract: In this article, we introduce the notion of differential flatness by pure prolongation: loosely speaking, a system admits this property if, and only if, there exists a pure prolongation of finite order such that the prolonged system is feedback linearizable. We obtain Lie-algebraic necessary and sufficient conditions for a general nonlinear multi-input system to satisfy this property. These condit… ▽ More
Submitted 16 August, 2023; v1 submitted 30 March, 2023; originally announced March 2023.
Comments: Version 2
MSC Class: 34H05; 93C10; 93C35
Journal ref: Communications in Optimization Theory, Special issue on Systems Theory, Control and Related Topics, dedicated to Professor E. Zeheb on the occasion of his 85th birthday, 2024
-
Reeb Graph Metrics from the Ground Up
Abstract: The Reeb graph has been utilized in various applications including the analysis of scalar fields. Recently, research has been focused on using topological signatures such as the Reeb graph to compare multiple scalar fields by defining distance metrics on the topological signatures themselves. Here we survey five existing metrics that have been defined on Reeb graphs: the bottleneck distance, the i… ▽ More
Submitted 19 October, 2022; v1 submitted 11 October, 2021; originally announced October 2021.
Comments: 71 pages, 35 figures
-
arXiv:2109.10976 [pdf, ps, other]
Barriers and Potentially Safe Sets in Hybrid Systems: Pendulum with Non-Rigid Cable
Abstract: This paper deals with an application of the notion of barrier in mixed constrained nonlinear systems to an example of a pendulum mounted on a cart with non-rigid cable, whose dynamics may switch to free-fall when the tension of the cable vanishes. We present a direct construction of the boundary of the potentially safe set in which there always exists a control such that the cable never goes slack… ▽ More
Submitted 22 September, 2021; originally announced September 2021.
Comments: 10 pages, 5 figures, as published in Automatica
MSC Class: 93C10 (Primary); 34A38 (Secondary)
Journal ref: Automatica, 73, pp.248-255 (2016)
-
arXiv:2109.05754 [pdf, ps, other]
Epidemic Management with Admissible and Robust Invariant Sets
Abstract: We present a detailed set-based analysis of the well-known SIR and SEIR epidemic models subjected to hard caps on the proportion of infective individuals, and bounds on the allowable intervention strategies, such as social distancing, quarantining and vaccination. We describe the admissible and maximal robust positively invariant (MRPI) sets of these two models via the theory of barriers. We show… ▽ More
Submitted 13 September, 2021; originally announced September 2021.
Comments: 28 pages, 5 figures, accepted for publication in PLOS ONE
MSC Class: 34H05 (primary); 92D30 (secondary); 37N35; 37N25
-
Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake
Abstract: We present an implementation of the trimmed serendipity finite element family, using the open source finite element package Firedrake. The new elements can be used seamlessly within the software suite for problems requiring $H^1$, \hcurl, or \hdiv-conforming elements on meshes of squares or cubes. To test how well trimmed serendipity elements perform in comparison to traditional tensor product ele… ▽ More
Submitted 8 October, 2021; v1 submitted 27 April, 2021; originally announced April 2021.
Comments: 19 pages, 7 figures, 3 tables, 2 listings
Journal ref: ACM Transactions on Mathematical Software 48(1):8:1-8:19 (2022)
-
arXiv:2003.10362 [pdf, ps, other]
Maintaining Hard Infection Caps in Epidemics via the Theory of Barriers
Abstract: Research in epidemiology often focusses on designing interventions that result in the number of infected individuals asymptotically approaching zero, without considering that this number may peak at high values during transients. Recent research has shown that a set-based approach could be used to address the problem, and we build on this idea by applying the theory of barriers to construct admiss… ▽ More
Submitted 23 March, 2020; originally announced March 2020.
Comments: 6 pages, 3 figures
MSC Class: 92D30 (primary); 93C15 (secondary)
-
Extending discrete exterior calculus to a fractional derivative
Abstract: Fractional partial differential equations (FDEs) are used to describe phenomena that involve a "non-local" or "long-range" interaction of some kind. Accurate and practical numerical approximation of their solutions is challenging due to the dense matrices arising from standard discretization procedures. In this paper, we begin to extend the well-established computational toolkit of Discrete Exteri… ▽ More
Submitted 16 July, 2019; v1 submitted 2 May, 2019; originally announced May 2019.
Comments: 18 pages, 11 figures. Work is to be presented at Solid and Physical Modeling 2019
Journal ref: Computer-Aided Design 114 (2019) 64-72
-
On Singularities of Flat Affine Systems With $n$ States and $n-1$ Controls
Abstract: We study the set of intrinsic singularities of flat affine systems with $n-1$ controls and $n$ states using the notion of Lie-Bäcklund atlas, previously introduced by the authors. For this purpose, we prove two easily computable sufficient conditions to construct flat outputs as a set of independent first integrals of distributions of vector fields, the first one in a generic case, namely in a nei… ▽ More
Submitted 15 May, 2020; v1 submitted 21 February, 2019; originally announced February 2019.
Comments: 24 pages
MSC Class: 93B05
Journal ref: International Journal of Robust and Nonlinear Control, volume 30, Issue 9, p. 3547-3565, Wiley, 2020
-
arXiv:1701.00670 [pdf, ps, other]
Intrinsic and Apparent Singularities in Flat Differential Systems
Abstract: In this paper, we study the singularities of locally flat systems, motivated by the solution, if it exists, of the global motion planning problem for such systems, in the spirit of \cite{CE_14}. More precisely, flat outputs may be only locally defined because of the existence of points where they are singular (a notion that will be made clear later), thus preventing from planning trajectories cros… ▽ More
Submitted 14 May, 2018; v1 submitted 3 January, 2017; originally announced January 2017.
Journal ref: Systems & Control Letters, 113, pp. 117-124, 2018
-
arXiv:1508.01708 [pdf, ps, other]
Barriers in Nonlinear Control Systems with Mixed Constraints
Abstract: In this paper, we propose an extension to mixed multidimensional constraints of the problem of state and input constrained control introduced in DeDona and Lévine, SIAM J. Control and Optimiz., Vol. 51, 2013, where the admissible set, namely the subset of the state space where the state and input constraints can be satisfied for all times, was studied, with focus on its boundary. The latter may be… ▽ More
Submitted 7 August, 2015; originally announced August 2015.
-
Inference of Ancestral Recombination Graphs through Topological Data Analysis
Abstract: The recent explosion of genomic data has underscored the need for interpretable and comprehensive analyses that can capture complex phylogenetic relationships within and across species. Recombination, reassortment and horizontal gene transfer constitute examples of pervasive biological phenomena that cannot be captured by tree-like representations. Starting from hundreds of genomes, we are interes… ▽ More
Submitted 26 July, 2016; v1 submitted 21 May, 2015; originally announced May 2015.
Comments: 33 pages, 12 figures. The accompanying software, instructions and example files used in the manuscript can be obtained from https://github.com/RabadanLab/TARGet
-
On Barriers in State and Input Constrained Nonlinear Systems
Abstract: In this paper, the problem of state and input constrained control is addressed, with multidimensional constraints. We obtain a local description of the boundary of the admissible subset of the state space where the state and input constraints can be satisfied \emph{for all times}. This boundary is made of two disjoint parts: the subset of the state constraint boundary on which there are trajectori… ▽ More
Submitted 5 February, 2013; originally announced February 2013.
Comments: 36 pages, 8 figures, submitted
Journal ref: SIAM Journal on Control and Optimization, Volume 51, Issue 4, pp. 2705-3354, 2013
-
On the computation of $π$-flat outputs for differential-delay systems
Abstract: We introduce a new definition of $π$-flatness for linear differential delay systems with time-varying coefficients. We characterize $π$- and $π$-0-flat outputs and provide an algorithm to efficiently compute such outputs. We present an academic example of motion planning to discuss the pertinence of the approach.
Submitted 26 September, 2014; v1 submitted 25 June, 2012; originally announced June 2012.
Comments: Minor corrections to fit with the journal version
Journal ref: Systems & Control Letters 71 (2014) 14-22
-
arXiv:0910.3619 [pdf, ps, other]
On the Computation of $π$-Flat Outputs for Linear Time-Delay Systems
Abstract: This paper deals with linear time-varying, delay systems. Extensions of the concept of differential flatness \cite{Fliess_95} to this context have been first proposed in \cite{Mounier_95,Fliess_96} (see also \cite{Rudolph_03,Chyzak_05}), by the introduction of $π$-flat output. Roughly speaking, it means that every system variable may be expressed as a function of a particular output $y$, a finite… ▽ More
Submitted 31 December, 2010; v1 submitted 19 October, 2009; originally announced October 2009.
Comments: Submitted to journal "Linear Algebra and its Applications"
-
arXiv:math/0605405 [pdf, ps, other]
On Necessary and Sufficient Conditions for Differential Flatness
Abstract: This paper is devoted to the characterization of differentially flat nonlinear systems in implicit representation, after elimination of the input variables, in the differential geometric framework of manifolds of jets of infinite order. We extend the notion of Lie-Bäcklund equivalence, introduced in Fliess et al. (1999), to this implicit context and focus attention on Lie-Bäcklund isomorphisms ass… ▽ More
Submitted 1 January, 2011; v1 submitted 15 May, 2006; originally announced May 2006.
Comments: Version 3 is the published version
Journal ref: Applicable Algebra in Engineering, Communication and Computing, Volume 22, Number 1, pages 47-90, January 2011
-
Labeled binary planar trees and quasi-Lie algebras
Abstract: We study the natural map eta between a group of binary planar trees whose leaves are labeled by elements of a free abelian group H and a certain group D(H) derived from the free Lie algebra over H. Both of these groups arise in several different topological contexts. The map eta is known to be an isomorphism over Q, but not over Z. We determine its cokernel and attack the conjecture that it is i… ▽ More
Submitted 17 April, 2009; v1 submitted 13 April, 2005; originally announced April 2005.
Comments: This is the version published by Algebraic & Geometric Topology on 9 August 2006
MSC Class: 57N10; 57M25
Journal ref: Algebr. Geom. Topol. 6 (2006) 935-948
-
arXiv:math/0408310 [pdf, ps, other]
The Lagrangian filtration of the mapping class group and finite-type invariants of homology spheres
Abstract: In a recent paper we defined a new filtration of the mapping class group--the "Lagrangian" filtration. We here determine the successive quotients of this filtration, up to finite index. As an application we show that, for any additive invariant of finite-type (e.g. the Casson invariant), and any level of the Lagrangian filtration, there is a homology 3-sphere which has a Heegaard decomposition w… ▽ More
Submitted 23 August, 2004; originally announced August 2004.
Comments: 12 pages, 1 figure
MSC Class: 57N10; 57M25
-
arXiv:math/0306315 [pdf, ps, other]
Concordance of boundary links
Abstract: We show that the twisted signature invariants of boundary link concordance derived from unitary representations of the free group are actually ordinary link concordance invariants. We also show how the discontinuity locus of this signature function is determined by Seifert matrices of the link.
Submitted 22 June, 2003; originally announced June 2003.
MSC Class: 57M25; 57Q45
-
arXiv:math/0207290 [pdf, ps, other]
Addendum and correction to: Homology cylinders: an enlargement of the mapping class group
Abstract: In a previous paper [Homology cylinders: an enlargement of the mapping class group, Algebr. Geom. Topol. 1 (2001) 243--270, arXiv:math.GT/0010247], a group H_g of homology cylinders over the oriented surface of genus g is defined. A filtration of H_g is defined, using the Goussarov-Habiro notion of finite-type. It is erroneously claimed that this filtration essentially coincides with the relativ… ▽ More
Submitted 31 December, 2002; v1 submitted 30 July, 2002; originally announced July 2002.
Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol2/agt-2-47.abs.html
MSC Class: 57N10; 57M25
Journal ref: Algebr. Geom. Topol. 2 (2002) 1197-1204
-
arXiv:math/0102103 [pdf, ps, other]
Analytic invariants of boundary links
Abstract: Using basic topology and linear algebra, we define a plethora of invariants of boundary links whose values are power series with noncommuting variables. These turn out to be useful and elementary reformulations of an invariant originally defined by M. Farber.
Submitted 13 February, 2001; originally announced February 2001.
Comments: LaTeX, 8 pages
-
arXiv:math/0102102 [pdf, ps, other]
Concordance and 1-loop clovers
Abstract: We show that surgery on a connected clover (or clasper) with at least one loop preserves the concordance class of a knot. Surgery on a slightly more special class of clovers preserves invertible concordance. We also show that the converse is false. Similar results hold for clovers with at least two loops vs. S-equivalence.
Submitted 20 November, 2001; v1 submitted 13 February, 2001; originally announced February 2001.
Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol1/agt-1-33.abs.html
MSC Class: 57N10; 57M25
Journal ref: Algebr. Geom. Topol. 1 (2001) 687-697
-
arXiv:math/0010247 [pdf, ps, other]
Homology cylinders: an enlargement of the mapping class group
Abstract: We consider a homological enlargement of the mapping class group, defined by homology cylinders over a closed oriented surface (up to homology cobordism). These are important model objects in the recent Goussarov-Habiro theory of finite-type invariants of 3-manifolds. We study the structure of this group from several directions: the relative weight filtration of Dennis Johnson, the finite-type… ▽ More
Submitted 24 April, 2001; v1 submitted 26 October, 2000; originally announced October 2000.
Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol1/agt-1-12.abs.html
MSC Class: 57N10; 57M25
Journal ref: Algebr. Geom. Topol. 1 (2001) 243-270
-
arXiv:math/0005280 [pdf, ps, other]
Homology surgery and invariants of 3-manifolds
Abstract: We introduce a homology surgery problem in dimension 3 which has the property that the vanishing of its algebraic obstruction leads to a canonical class of π-algebraically-split links in 3-manifolds with fundamental group π. Using this class of links, we define a theory of finite type invariants of 3-manifolds in such a way that invariants of degree 0 are precisely those of conventional algebrai… ▽ More
Submitted 24 June, 2001; v1 submitted 30 May, 2000; originally announced May 2000.
Comments: Published in Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol5/paper18.abs.html
MSC Class: 57N10; 57M25
Journal ref: Geom. Topol. 5 (2001) 551-578
-
arXiv:math/9904106 [pdf, ps, other]
Tree-level invariants of three-manifolds, Massey products and the Johnson homomorphism
Abstract: Two references added and the introduction slightly expanded. We show that the tree-level part of a recent theory of invariants of 3-manifolds (due, independently, to Goussarov and Habiro) is essentially given by classical algebraic topology in terms of the Johnson homomorphism and Massey products, for arbitrary 3-manifolds. A key role of our proof is played by the notion of a homology cylinder,… ▽ More
Submitted 14 October, 2003; v1 submitted 20 April, 1999; originally announced April 1999.
Comments: AMS-LaTeX, 26 pages with 15 figures
-
Finite type invariants, the mapping class group and blinks
Abstract: The goal of the present paper is to find higher genus surgery formulae for the set of finite-type invariants of homology spheres, and to develop a companion theory of finite-type invariants to be applied, in a subsequent publication, to the study of subgroups of the mapping class group. The main result is to show that six filtrations on the vector space generated by oriented homology spheres (th… ▽ More
Submitted 18 December, 1997; v1 submitted 17 December, 1997; originally announced December 1997.
Comments: 51 pages, 44 figures, to be published in JDG. Replaced because of font problems in original
MSC Class: 57M99
-
arXiv:math/9712221 [pdf, ps, other]
Pure braids, a new subgroup of the mapping class group and finite type invariants
Abstract: In the study of the relation between the mapping class group M of a surface and the theory of finite-type invariants of homology 3-spheres, three subgroups of the mapping class group play a large role. They are the Torelli group, the Johnson subgroup K and a new subgroup L, which contains K, defined by a choice of a Lagrangian subgroup of the homology of the surface. In this work we determine th… ▽ More
Submitted 3 December, 1997; originally announced December 1997.
Comments: 22 pages, Latex, 5 pictures
MSC Class: 57M
-
A Factorization of the Conway Polynomial
Abstract: A string link S can be closed in a canonical way to produce an ordinary closed link L. We also consider a twisted closing which produces a knot K. We give a formula for the Conway polynomial of L as a product of the Conway polynomial of K times a power series whose coefficients are given as explicit functions of the Milnor invariants of S. One consequence is a formula for the first non-vanishing… ▽ More
Submitted 8 November, 1997; originally announced November 1997.
Comments: 20 pages, LaTeX, 9 figures using BoxedEPS
-
Morse theory of harmonic forms
Abstract: We consider the problem of whether it is possible to improve the Novikov inequalities for closed 1-forms, or any other inequalities of a similar nature, if we assume, additionally, that the given 1-form is harmonic with respect to some Riemannian metric. We show that, under suitable assumptions, it is impossible. We use, in an essential way, a theorem of E.Calabi characterizing 1-forms which are… ▽ More
Submitted 11 November, 1997; originally announced November 1997.
Comments: 16 pages, AMSTex, 12 figures
-
Finite type 3-manifold invariants and the structure of the Torelli
Abstract: We apply the theory of finite-type invariants of homology 3-spheres to investigate the structure of the Torelli group. We construct natural cocycles in the Torelli group and show that the lower central series quotients of the Torelli group map onto a vector space of trivalent graphs. We also have analogous results for two other natural subgroups of the mapping class group.
Submitted 22 September, 1996; originally announced September 1996.
Comments: 52 pages, AMSLatex, 20 figures
-
Finite type 3-manifold invariants and the structure of the Torelli group I
Abstract: Using the recently developed theory of finite type invariants of integral homology 3-spheres we study the structure of the Torelli group of a closed surface. Explicitly, we construct (a) natural cocycles of the Torelli group (with coefficients in a space of trivalent graphs) and cohomology classes of the abelianized Torelli group; (b) group homomorphisms that detect (rationally) the nontrivialit… ▽ More
Submitted 9 May, 1997; v1 submitted 14 March, 1996; originally announced March 1996.
Comments: AMS-LaTeX, 51 pages with 16 figures. Revised version, to appear in the Journal of Diff. Geometry
-
On Finite Type 3-manifold invariants IV: Comparison of Definitions
Abstract: This paper compares the definitions of finite-type invariants due to Ohtsuki and to Garoufalidis, showing that, residually, type 3m of the former equals type m of the latter. It also shows that type 2m Ohtsuki invariants define knot invariants of type 3m (first proved by Habegger).
Submitted 27 September, 1995; v1 submitted 26 September, 1995; originally announced September 1995.
Comments: 13 pages, Postscript
-
On Finite Type 3-Manifold Invariants II
Abstract: This paper continues the study of finite-type invariants of homology spheres studied by Ohtsuki and Garoufalidis. We apply the surgery classification of links to give a diagrammatic description, using ideas of Ohtsuki. This uses a computation of the surgery equivalence classes of pure braids. We show that the order of any invariant, in Ohtsukis sense, is a multiple of 3. We also study the relati… ▽ More
Submitted 12 June, 1995; originally announced June 1995.
Comments: 28 pages, 15 figures, Uuencoded PostScript File
-
Jumps of the eta invariant
Abstract: We study the eta-invariant, defined by Atiyah-Patodi-Singer a real valued invariant of an oriented odd-dimensional Riemannian manifold equipped with a unitary representation of its fundamental group. When the representation varies analytically, the corresponding eta-invariant may have an integral jump, known also as the spectral flow. The main result of the paper establishes a formula for this s… ▽ More
Submitted 20 July, 1994; originally announced July 1994.
Comments: 46 pages