-
Optimal Strategies for Disjunctive Sensing and Control
Authors:
Richard L Sutherland,
Ilya V Kolmanovsky,
Anouck R Girard,
Frederick A Leve,
Christopher D Petersen
Abstract:
A disjunctive sensing and actuation problem is considered in which the actuators and sensors are prevented from operating together over any given time step. This problem is motivated by practical applications in the area of spacecraft control. Assuming a linear system model with stochastic process disturbance and measurement noise, a procedure to construct a periodic sequence that ensures bounded…
▽ More
A disjunctive sensing and actuation problem is considered in which the actuators and sensors are prevented from operating together over any given time step. This problem is motivated by practical applications in the area of spacecraft control. Assuming a linear system model with stochastic process disturbance and measurement noise, a procedure to construct a periodic sequence that ensures bounded states and estimation error covariance is described along with supporting analysis results. The procedure is also extended to ensure eventual satisfaction of probabilistic chance constraints on the state. The proposed scheme demonstrates good performance in simulations for spacecraft relative motion control.
△ Less
Submitted 10 September, 2018;
originally announced September 2018.
-
Constrained Spacecraft Relative Motion Planning Exploiting Periodic Natural Motion Trajectories and Invariance
Authors:
Gregory R. Frey,
Christopher D. Petersen,
Frederick A. Leve,
Ilya V. Kolmanovsky,
Anouck R. Girard
Abstract:
Spacecraft relative motion planning is concerned with the design and execution of maneuvers relative to a nominal target. These types of maneuvers are frequently utilized in missions such as rendezvous and docking, satellite inspection and formation flight where exclusion zones representing spacecraft or other obstacles must be avoided. The presence of these exclusion zones leads to non-linear and…
▽ More
Spacecraft relative motion planning is concerned with the design and execution of maneuvers relative to a nominal target. These types of maneuvers are frequently utilized in missions such as rendezvous and docking, satellite inspection and formation flight where exclusion zones representing spacecraft or other obstacles must be avoided. The presence of these exclusion zones leads to non-linear and non-convex constraints which must be satisfied. In this paper, a novel approach to spacecraft relative motion planning with obstacle avoidance and thrust constraints is developed. This approach is based on a graph search applied to a virtual net of closed (periodic) natural motion trajectories, where the natural motion trajectories represent virtual net nodes (vertices), and adjacency and connection information is determined by conditions defined in terms of safe, positively-invariant tubes built around each trajectory. These conditions guarantee that transitions from one natural motion trajectory to another natural motion trajectory can be completed without constraint violations. The proposed approach improves the flexibility of a previous approach based on the use of forced equilibria, and has other advantages in terms of reduced fuel consumption and passive safety. The resulting maneuvers, if planned on-board, can be executed directly or, if planned off board, can be used to warm start trajectory optimizers to generate further improvements.
△ Less
Submitted 21 June, 2017; v1 submitted 18 March, 2017;
originally announced March 2017.
-
Generalized trapezoidal words
Authors:
Amy Glen,
Florence Levé
Abstract:
The factor complexity function $C_w(n)$ of a finite or infinite word $w$ counts the number of distinct factors of $w$ of length $n$ for each $n \ge 0$. A finite word $w$ of length $|w|$ is said to be trapezoidal if the graph of its factor complexity $C_w(n)$ as a function of $n$ (for $0 \leq n \leq |w|$) is that of a regular trapezoid (or possibly an isosceles triangle); that is, $C_w(n)$ increase…
▽ More
The factor complexity function $C_w(n)$ of a finite or infinite word $w$ counts the number of distinct factors of $w$ of length $n$ for each $n \ge 0$. A finite word $w$ of length $|w|$ is said to be trapezoidal if the graph of its factor complexity $C_w(n)$ as a function of $n$ (for $0 \leq n \leq |w|$) is that of a regular trapezoid (or possibly an isosceles triangle); that is, $C_w(n)$ increases by 1 with each $n$ on some interval of length $r$, then $C_w(n)$ is constant on some interval of length $s$, and finally $C_w(n)$ decreases by 1 with each $n$ on an interval of the same length $r$. Necessarily $C_w(1)=2$ (since there is one factor of length $0$, namely the empty word), so any trapezoidal word is on a binary alphabet. Trapezoidal words were first introduced by de Luca (1999) when studying the behaviour of the factor complexity of finite Sturmian words, i.e., factors of infinite "cutting sequences", obtained by coding the sequence of cuts in an integer lattice over the positive quadrant of $\mathbb{R}^2$ made by a line of irrational slope. Every finite Sturmian word is trapezoidal, but not conversely. However, both families of words (trapezoidal and Sturmian) are special classes of so-called "rich words" (also known as "full words") - a wider family of finite and infinite words characterized by containing the maximal number of palindromes - studied in depth by the first author and others in 2009.
In this paper, we introduce a natural generalization of trapezoidal words over an arbitrary finite alphabet $\mathcal{A}$, called generalized trapezoidal words (or GT-words for short). In particular, we study combinatorial and structural properties of this new class of words, and we show that, unlike the binary case, not all GT-words are rich in palindromes when $|\mathcal{A}| \geq 3$, but we can describe all those that are rich.
△ Less
Submitted 24 February, 2015; v1 submitted 2 August, 2014;
originally announced August 2014.
-
On Quasiperiodic Morphisms
Authors:
Florence Levé,
Gwénaël Richomme
Abstract:
Weakly and strongly quasiperiodic morphisms are tools introduced to study quasiperiodic words. Formally they map respectively at least one or any non-quasiperiodic word to a quasiperiodic word. Considering them both on finite and infinite words, we get four families of morphisms between which we study relations. We provide algorithms to decide whether a morphism is strongly quasiperiodic on finite…
▽ More
Weakly and strongly quasiperiodic morphisms are tools introduced to study quasiperiodic words. Formally they map respectively at least one or any non-quasiperiodic word to a quasiperiodic word. Considering them both on finite and infinite words, we get four families of morphisms between which we study relations. We provide algorithms to decide whether a morphism is strongly quasiperiodic on finite words or on infinite words.
△ Less
Submitted 23 April, 2013;
originally announced April 2013.
-
Quasiperiodic and Lyndon episturmian words
Authors:
Amy Glen,
Florence Levé,
Gwénaël Richomme
Abstract:
Recently the second two authors characterized quasiperiodic Sturmian words, proving that a Sturmian word is non-quasiperiodic if and only if it is an infinite Lyndon word. Here we extend this study to episturmian words (a natural generalization of Sturmian words) by describing all the quasiperiods of an episturmian word, which yields a characterization of quasiperiodic episturmian words in terms…
▽ More
Recently the second two authors characterized quasiperiodic Sturmian words, proving that a Sturmian word is non-quasiperiodic if and only if it is an infinite Lyndon word. Here we extend this study to episturmian words (a natural generalization of Sturmian words) by describing all the quasiperiods of an episturmian word, which yields a characterization of quasiperiodic episturmian words in terms of their "directive words". Even further, we establish a complete characterization of all episturmian words that are Lyndon words. Our main results show that, unlike the Sturmian case, there is a much wider class of episturmian words that are non-quasiperiodic, besides those that are infinite Lyndon words. Our key tools are morphisms and directive words, in particular "normalized" directive words, which we introduced in an earlier paper. Also of importance is the use of "return words" to characterize quasiperiodic episturmian words, since such a method could be useful in other contexts.
△ Less
Submitted 17 September, 2008; v1 submitted 6 May, 2008;
originally announced May 2008.
-
Directive words of episturmian words: equivalences and normalization
Authors:
Amy Glen,
Florence Levé,
Gwénaël Richomme
Abstract:
Episturmian morphisms constitute a powerful tool to study episturmian words. Indeed, any episturmian word can be infinitely decomposed over the set of pure episturmian morphisms. Thus, an episturmian word can be defined by one of its morphic decompositions or, equivalently, by a certain directive word. Here we characterize pairs of words directing a common episturmian word. We also propose a way…
▽ More
Episturmian morphisms constitute a powerful tool to study episturmian words. Indeed, any episturmian word can be infinitely decomposed over the set of pure episturmian morphisms. Thus, an episturmian word can be defined by one of its morphic decompositions or, equivalently, by a certain directive word. Here we characterize pairs of words directing a common episturmian word. We also propose a way to uniquely define any episturmian word through a normalization of its directive words. As a consequence of these results, we characterize episturmian words having a unique directive word.
△ Less
Submitted 26 February, 2008;
originally announced February 2008.
