An official website of the United States government
We address the problem of synthesizing a controller for nonlinear systems with reach-avoid requirements. Our controller consists of a reference controller and a tracking controller which drives the actual trajectory to follow the reference trajectory. We identify a type of reference trajectory such that the tracking error between the actual trajectory of the closed-loop system and the reference trajectory can be bounded. Moreover, such a bound on the tracking error is independent of the reference trajectory. Using such bounds on the tracking error, we propose a method that can find a reference trajectory by solving a satisfiability problem over linear constraints. Our overall algorithm guarantees that the resulting controller can make sure every trajectory from the initial set of the system satisfies the given reach-avoid requirement. We also implement our technique in a tool FACTEST. We show that FACTEST can find controllers for four vehicle models (3–6 dimensional state space and 2–4 dimensional input space) across eight scenarios (with up to 22 obstacles), all with running time at the sub-second range.
more »
« less
Global Attitude Control via Contraction on Manifolds with Reference Trajectory and Optimization
In this paper, we present a simple geometric attitude controller that is globally, exponentially stable. To overcome the topological restriction, the controller is designed to follow a reference trajectory that in turn converges to the desired equilibrium (making it discontinuous in the initial conditions, but continuous in time). The system and reference dynamics are studied as a single augmented system that can be analyzed and tuned simultaneously. The controller's stability is proved using contraction analysis (on the manifold), and the bounds on the convergence rate can be found via a semi-definite program with linear matrix inequalities. Additionally, our approach allows the use of the Nelder-Mead algorithm to automatically select controller gains and reference trajectory parameters by optimizing the aforementioned bounds. The resulting controller is verified through simulations.
more »
« less
- Award ID(s):
- 1728277
- PAR ID:
- 10288523
- Date Published:
- Journal Name:
- IEEE Conference on Decision and Control
- Page Range / eLocation ID:
- 2006 to 2013
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
This paper considers the problem of fast and safe autonomous navigation in partially known environments. Our main contribution is a control policy design based on ellipsoidal trajectory bounds obtained from a quadratic state-dependent distance metric. The ellipsoidal bounds are used to embed directional preference in the control design, leading to system behavior that is adapted to local environment geometry, carefully considering medial obstacles while paying less attention to lateral ones. We use a virtual reference governor system to adaptively follow a desired navigation path, slowing down when system safety may be violated and speeding up otherwise. The resulting controller is able to navigate complex environments faster than common Euclidean-norm and Lyapunov-function-based designs, while retaining stability and collision avoidance guarantees.more » « less
-
Abstract Using the context of trajectory estimation and tracking for multirotor unmanned aerial vehicles (UAVs), we explore the challenges in applying high-gain observers to highly dynamic systems. The multirotor will operate in the presence of external disturbances and modeling errors. At the same time, the reference trajectory is unknown and generated from a reference system with unknown or partially known dynamics. We assume the only measurements that are available are the position and orientation of the multirotor and the position of the reference system. We adopt an extended high-gain observer (EHGO) estimation framework to estimate the unmeasured multirotor states, modeling errors, external disturbances, and the reference trajectory. We design a robust output feedback controller for trajectory tracking that comprises a feedback linearizing controller and the EHGO. The proposed control method is rigorously analyzed to establish its stability properties. Finally, we illustrate our theoretical results through numerical simulation and experimental validation in which a multirotor tracks a moving ground vehicle with an unknown trajectory and dynamics and successfully lands on the vehicle while in motion.more » « less
-
This article proposes the application of a distributed containment control algorithm to a team of mobile robots. This paper builds on the containment controller developed by Yuan et al. (2019) for generic linear multi-agent system and tested in simulation only. In this article, we particularize the controller for the case of multiple mobile robots by including it into a two-layer control scheme. The high-level controller computes a desired position for the mobile robots, that is then used as reference trajectory for the low-level controller. The resulting control system is implemented as a fully distributed system on a team of mobile robots and validated in simulations and experiments.more » « less
-
We model a three-link fully actuated biped as a hybrid system and propose a prediction-based control algorithm for global tracking of reference trajectories. The proposed control strategy consists of a reference system that generates the desired periodic gait, a virtual system that generates a suitable reference trajectory using prediction, and a tracking control law that steers the biped to the virtual trajectory. The proposed algorithms achieves, in finite time, tracking in two steps. We present mathematical properties that define the main elements in the hybrid predictive controller for achieving convergence to the reference within the first two steps. The results are validated through numerical simulations.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- https://doi.org/10.1109/CDC42340.2020.9303862
