A Quadratic Program based Control Synthesis under Spatiotemporal Constraints and Non-vanishing Disturbances

In this paper, we study the effect of non-vanishing disturbances on the stability of fixed-time stable (FxTS) systems. We present a new result on FxTS, which allows a positive term in the time derivative of the Lyapunov function with the aim to model bounded, non-vanishing disturbances in system dynamics. We characterize the neighborhood to which the system trajectories converge, as well as the convergence time. Then, we use the new FxTS result and formulate a quadratic program (QP) that yields control inputs which drive the trajectories of a class of nonlinear, control-affine systems to a goal set in the presence of control input constraints and nonvanishing, bounded disturbances in the system dynamics. We consider an overtaking problem on a highway as a case study, and discuss how to both set up the QP and decide when to start the overtake maneuver in the presence of sensing errors.

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

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

[3]  Aaron D. Ames,et al.  Input-to-State Safety With Control Barrier Functions , 2018, IEEE Control Systems Letters.

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

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

[6]  Dimitra Panagou,et al.  Prescribed-time control under spatiotemporal and input constraints: A QP based approach , 2019, ArXiv.

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

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

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

[10]  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).

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

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

[13]  D. Liberzon.  ISS and integral-ISS disturbance attenuation with bounded controls , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[14]  Dimitra Panagou,et al.  Hierarchical Design of Highway Merging Controller Using Navigation Vector Fields Under Bounded Sensing Uncertainty , 2018, DARS.

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

[16]  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).

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

[18]  Rajesh Rajamani,et al.  Vehicle dynamics and control , 2005 .

[19]  Koushil Sreenath,et al.  Optimal robust control for constrained nonlinear hybrid systems with application to bipedal locomotion , 2016, 2016 American Control Conference (ACC).

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