In this paper, we present an iterative steering algorithm for nonholonomic systems (also called driftless control-affine systems) and we prove its global convergence under the sole assumption that the Lie Algebraic Rank Condition (LARC) holds true everywhere. That algorithm is an extension of the one introduced in [21] for regular systems. The first novelty here consists in the explicit algebra...

In this note we prove several inequalities for regular near polygons. ∗This work was partly supported by the Grant-in-Aid for Scientific Research (No 14740072), the Ministry of Education, Science and Culture, JAPAN. †This work was partly done when the author was at the ComMaC center at the Pohang University of Science and Technology. He would like to thank the ComMaC-KOSEF for its support.

Let Γ denote a near polygon distance-regular graph with diameter d ≥ 3, valency k and intersection numbers a1 > 0, c2 > 1. Let θ1 denote the second largest eigenvalue of Γ. We show θ1 ≤ k − a1 − c2 c2 − 1 . We show the following (i)–(iii) are equivalent. (i) Equality is attained above; (ii) Γ is Q-polynomial with respect to θ1; (iii) Γ is a dual polar graph or a Hamming graph.

field observations of the incurred damages to the buildings and bridges due to earthquakes in near field show there are various failure modes which are in relation to the forces caused by vertical component. while vertical component of earthquake for ordinary buildings in most seismic regulations and standards is not considered. therefore, in the current study the effects of vertical and horizo...

Abstract This article is concerned with the study of initial value problem for three-dimensional viscous Boussinesq system in thin domain Ω ≔ mathvariant="double-struck">R 2 × ( 0 , <m:m...

In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations such that a pop can only be performed on the first non-empty stack. First, we show that for an ordered multi-pushdown system the set of all predecessors of a regular set of configurations is an effectively constructible...