This article investigates the control problem of making an autonomous vehicle modeled as a nonlinear affine system, achieve both temporal logic tasks and obstacle avoidance. A new formal control framework based on the control barrier function (CBF) and potential field method is proposed, which aims at eliminating the singular points caused by the conflict between the target and the obstacle in traditional CBF methods. A feasibility detection mechanism algorithm is proposed to detect the task in terms of workspace topology and determines the structure of the framework. On the one hand, obstacle avoidance can always be fulfilled such that the safety of the system is guaranteed. On the other hand, satisfaction for the target formulas is discussed in terms of obstacles, workspace topology, and formula preference. The proposed control framework generates controllers based on different feasibility types of tasks automatically, which shows global performance in both safety guarantee and task achievement. Finally, the effectiveness of the overall framework is illustrated by two examples.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A Formal Control Framework of Autonomous Vehicle for Signal Temporal Logic Tasks and Obstacle Avoidance


    Contributors:
    Huang, Zhiyuan (author) / Lan, Weiyao (author) / Yu, Xiao (author)

    Published in:

    Publication date :

    2024-01-01


    Size :

    1691336 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Fuzzy Logic Guidance and Obstacle Avoidance Algorithms for Autonomous Vehicle Control

    Baxter, J. W. / Bumby, J. R. / IFAC | British Library Conference Proceedings | 1993


    Predictive Obstacle-avoidance Control for Autonomous Vehicle

    Yu, Ru / Guo, Hongyan / Chen, Hong | British Library Online Contents | 2015