上一条: Tractable Compositions of Discrete-Time Control Barrier Functions with Application to Driving Safety Control
下一条: Mesh-Based Piecewise Affine Abstraction with Polytopic Partitions for Nonlinear Systems