Tractable Compositions of Discrete-Time Control Barrier Functions with Application to Lane Keeping and Obstacle Avoidance [article]

Matthew Cavorsi, Mohammad Khajenejad, Ruochen Niu, Qiang Shen, Sze Zheng Yong
<span title="2020-04-04">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper introduces control barrier functions for discrete-time systems, which can be shown to be necessary and sufficient for controlled invariance of a given set. Moreover, we propose nonlinear discrete-time control barrier functions for partially control affine systems that lead to controlled invariance conditions that are affine in the control input, leading to a tractable formulation that enables us to handle the safety optimal control problem for a broader range of applications with
more &raquo; ... complicated safety conditions than existing approaches. In addition, we develop mixed-integer formulations for basic and secondary Boolean compositions of multiple control barrier functions and further provide mixed-integer constraints for piecewise control barrier functions. Finally, we apply these discrete-time control barrier function tools to automotive safety problems of lane keeping and obstacle avoidance, which are shown to be effective in simulation.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2004.01858v1">arXiv:2004.01858v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/off4tgdeavdnpmcn3m5gp3jefq">fatcat:off4tgdeavdnpmcn3m5gp3jefq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200828122134/https://arxiv.org/pdf/2004.01858v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8c/ed/8ced94b416b1d4281d5cedfbbdea89d21af4164a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2004.01858v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>