scholarly journals Uniform boundedness ofS-units in arithmetic dynamics

2015 ◽  
Vol 274 (1) ◽  
pp. 97-106 ◽  
Author(s):  
Holly Krieger ◽  
Aaron Levin ◽  
Zachary Scherr ◽  
Thomas Tucker ◽  
Yu Yasufuku ◽  
...  
2021 ◽  
pp. 107754632110317
Author(s):  
Jin Tian ◽  
Liang Yuan ◽  
Wendong Xiao ◽  
Teng Ran ◽  
Li He

The main objective of this article is to solve the trajectory following problem for lower limb exoskeleton robot by using a novel adaptive robust control method. The uncertainties are considered in lower limb exoskeleton robot system which include initial condition offset, joint resistance, structural vibration, and environmental interferences. They are time-varying and have unknown boundaries. We express the trajectory following problem as a servo constraint problem. In contrast to conventional control methods, Udwadia–Kalaba theory does not make any linearization or approximations. Udwadia–Kalaba theory is adopted to derive the closed-form constrained equation of motion and design the proposed control. We also put forward an adaptive law as a performance index whose type is leakage. The proposed control approach ensures the uniform boundedness and uniform ultimate boundedness of the lower limb exoskeleton robot which are demonstrated via the Lyapunov method. Finally, simulation results have shown the tracking effect of the approach presented in this article.


2021 ◽  
pp. 107754632110026
Author(s):  
Zeyu Yang ◽  
Jin Huang ◽  
Zhanyi Hu ◽  
Diange Yang ◽  
Zhihua Zhong

The coupling, nonlinearity, and uncertainty characteristics of vehicle dynamics make the accurate longitudinal and lateral control of an automated and connected vehicle platoon a tough task. Little research has been conducted to fully address the characteristics. By using the ideology of constraint-following control this article proposes an integrated longitudinal and lateral adaptive robust control methodology for a vehicle platoon with a bidirectional communication topology. The platoon control objectives contain the path tracking stability, the platoon internal stability, and the string stability. First, we establish the nonlinear kinematics path tracking model and the coupled vehicle longitudinal and lateral dynamical model that contains time-varying uncertainties. Second, we design a series of nonlinear equality constraints that directly guarantee the control objectives based on the kinematic relations. On this basis, an adaptive robust constraint-following control is proposed. It is shown that the control guarantees the uniform boundedness and the uniform ultimate boundedness of the constraint-following error and the uncertainty estimation error. Finally, simulation results are provided to validate the effectiveness of the proposed methodology.


Author(s):  
Ulrich Kohlenbach

AbstractIn this note we show that proof-theoretic uniform boundedness or bounded collection principles which allow one to formalize certain instances of countable Heine–Borel compactness in proofs using abstract metric structures must be carefully distinguished from an unrestricted use of countable Heine–Borel compactness.


1985 ◽  
Vol 101 (3-4) ◽  
pp. 253-271 ◽  
Author(s):  
O. A. Arino ◽  
T. A. Burton ◽  
J. R. Haddock

SynopsisWe consider a system of functional differential equationswhere G: R × B → Rn is T periodic in t and B is a certain phase space of continuous functions that map (−∞, 0[ into Rn. The concepts of B-uniform boundedness and B-uniform ultimate boundedness are introduced, and sufficient conditions are given for the existence of a T-periodic solution to (1.1). Several examples are given to illustrate the main theorem.


2015 ◽  
Vol 25 (01) ◽  
pp. 1550012 ◽  
Author(s):  
P. Tchinda Mouofo ◽  
R. Djidjou Demasse ◽  
J. J. Tewa ◽  
M. A. Aziz-Alaoui

A delay predator–prey model is formulated with continuous threshold prey harvesting and Holling response function of type III. Global qualitative and bifurcation analyses are combined to determine the global dynamics of the model. The positive invariance of the non-negative orthant is proved and the uniform boundedness of the trajectories. Stability of equilibria is investigated and the existence of some local bifurcations is established: saddle-node bifurcation, Hopf bifurcation. We use optimal control theory to provide the correct approach to natural resource management. Results are also obtained for optimal harvesting. Numerical simulations are given to illustrate the results.


1967 ◽  
Vol 18 (4) ◽  
pp. 624-624
Author(s):  
John W. Brace ◽  
Robert M. Nielsen

Sign in / Sign up

Export Citation Format

Share Document