Fixed-time Control under Spatiotemporal and Input Constraints: A Quadratic Program Based Approach.

In this paper, we present a control synthesis framework for a general class of nonlinear, control-affine systems under spatiotemporal and input constraints. We consider the problem of finding a control input that confines the closed-loop system trajectories in a safe set and steers them to a goal set within a {fixed} time. To this end, we present a quadratic program (QP)-based formulation to compute the corresponding control input. We use slack variables to guarantee feasibility of the proposed QP, and safety of the resulting closed-loop trajectories, under the assumption that the safe set can be rendered forward invariant. Furthermore, when strict complementary slackness holds, we show that the solution of the QP is a continuous function of the system states. We present two case studies, an example of adaptive cruise control problem and an instance of two-robot motion planning problem, to corroborate our proposed methods.

[1]  Thomas Bak,et al.  Trajectory planning for robots in dynamic human environments , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[2]  Dimos V. Dimarogonas,et al.  Robust motion planning employing signal temporal logic , 2017, 2017 American Control Conference (ACC).

[3]  Koushil Sreenath,et al.  Exponential Control Barrier Functions for enforcing high relative-degree safety-critical constraints , 2016, 2016 American Control Conference (ACC).

[4]  Paulo Tabuada,et al.  Robustness of Control Barrier Functions for Safety Critical Control , 2016, ADHS.

[5]  Bayu Jayawardhana,et al.  Stabilization with guaranteed safety using Control Lyapunov-Barrier Function , 2016, Autom..

[6]  Sandra Hirche,et al.  Constrained robot control using control barrier functions , 2016, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[7]  Aaron D. Ames,et al.  Control lyapunov functions and hybrid zero dynamics , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[8]  Aaron D. Ames,et al.  Safety Barrier Certificates for Collisions-Free Multirobot Systems , 2017, IEEE Transactions on Robotics.

[9]  Dan Halperin,et al.  Asymptotically near-optimal RRT for fast, high-quality, motion planning , 2013, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[10]  Magnus Egerstedt,et al.  Nonsmooth Barrier Functions With Applications to Multi-Robot Systems , 2017, IEEE Control Systems Letters.

[11]  Magnus Egerstedt,et al.  Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[12]  Francis Eng Hock Tay,et al.  Barrier Lyapunov Functions for the control of output-constrained nonlinear systems , 2009, Autom..

[13]  Li Wang,et al.  Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates , 2018, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[14]  Martin Saska,et al.  Motion planning and control of formations of micro aerial vehicles , 2014 .

[15]  Stephen M. Robinson,et al.  Perturbed Kuhn-Tucker points and rates of convergence for a class of nonlinear-programming algorithms , 1974, Math. Program..

[16]  Paulo Tabuada,et al.  Control Barrier Function Based Quadratic Programs for Safety Critical Systems , 2016, IEEE Transactions on Automatic Control.

[17]  Dimitra Panagou,et al.  Control-Lyapunov and Control-Barrier Functions based Quadratic Program for Spatio-temporal Specifications , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[18]  Wilfrid Perruquetti,et al.  Conditions for fixed-time stability and stabilization of continuous autonomous systems , 2019, Syst. Control. Lett..

[19]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

[20]  Anthony V. Fiacco,et al.  Sensitivity analysis for nonlinear programming using penalty methods , 1976, Math. Program..

[21]  Koushil Sreenath,et al.  Rapidly Exponentially Stabilizing Control Lyapunov Functions and Hybrid Zero Dynamics , 2014, IEEE Transactions on Automatic Control.

[22]  Peter Korondi,et al.  A novel potential field method for path planning of mobile robots by adapting animal motion attributes , 2016, Robotics Auton. Syst..

[23]  Magnus Egerstedt,et al.  Boolean Composability of Constraints and Control Synthesis for Multi-Robot Systems via Nonsmooth Control Barrier Functions , 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA).

[24]  Dimitra Panagou,et al.  Prescribed-time Convergence with Input Constraints: A Control Lyapunov Function Based Approach , 2019, 2020 American Control Conference (ACC).

[25]  Dimos V. Dimarogonas,et al.  Control Barrier Functions for Signal Temporal Logic Tasks , 2019, IEEE Control Systems Letters.

[26]  Ricardo G. Sanfelice,et al.  Finite time stability of sets for hybrid dynamical systems , 2019, Autom..

[27]  Chris Manzie,et al.  Control Barrier Functions for Mechanical Systems: Theory and Application to Robotic Grasping , 2019, IEEE Transactions on Control Systems Technology.

[28]  Dennis S. Bernstein,et al.  Finite-Time Stability of Continuous Autonomous Systems , 2000, SIAM J. Control. Optim..

[29]  Russ Tedrake,et al.  Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates , 2012, 2012 IEEE International Conference on Robotics and Automation.

[30]  Paulo Tabuada,et al.  Control barrier function based quadratic programs with application to adaptive cruise control , 2014, 53rd IEEE Conference on Decision and Control.

[31]  Tor Arne Johansen,et al.  UAVs Trajectory Planning by Distributed MPC under Radio Communication Path Loss Constraints , 2015, J. Intell. Robotic Syst..

[32]  Dimitra Panagou,et al.  Robust Multitask Formation Control via Parametric Lyapunov-Like Barrier Functions , 2019, IEEE Transactions on Automatic Control.

[33]  Kai Oliver Arras,et al.  RRT-based nonholonomic motion planning using any-angle path biasing , 2016, 2016 IEEE International Conference on Robotics and Automation (ICRA).

[34]  Li Wang,et al.  Safety barrier certificates for heterogeneous multi-robot systems , 2016, 2016 American Control Conference (ACC).

[35]  Andrey Polyakov,et al.  Nonlinear fixed-time control protocol for uniform allocation of agents on a segment , 2012, Doklady Mathematics.

[36]  Andrey Polyakov,et al.  Nonlinear Feedback Design for Fixed-Time Stabilization of Linear Control Systems , 2012, IEEE Transactions on Automatic Control.