leq(c,c,\theta)\setminus\{c\}$, we proceed as follows. Select $v\in\mathbb{S}^n$ such that $v^\top c=0$ and consider $\mathbf{R}(v,\theta)\in\mathbb{SO}(3)$, i.e., an orthogonal rotation matrix specified by axis $v$ and angle $\theta$. Then, we can verify that the point $p_1=(I_3-\mathbf{R}(v,\theta))c$ is a point on the cone $\mathcal{C}^=_\leq(c,c,\theta)$. By letting $v=(0,1,-1)$, we determine $p_1=(0.424,-0.155,-0.155)$ and $p_{-1}=(-0.348,0.231,0.231)$ as in . We also select $\psi= 0.249$ and $\bar\psi = 0.266$, which satisfy Assumption \[assumption:parameters\]. Fig. \[figure:construction\] shows that the objectives posed in Section \[section:problem\] and proven in Theorem \[theorem:invariance\] are fulfilled. The top part of the figure illustrates the relevant sets. The middle part shows that the origin is globally asymptotically stable, and the control law matches the stabilizing one sufficiently away from the obstacle. The bottom part shows that the solutions are safe since they all stay away from the obstacle set $\mathcal{B}_\epsilon(c)$.

![Top left: sets $\mathcal{F}_{-1}$ (green) and $\mathcal{J}_0$ (red) surrounding $\mathcal{B}_\epsilon(c)$ (grey). Top center: sets $\mathcal{J}_0$ (red), $\mathcal{J}_{-1} \cap \mathcal{H}(c,\epsilon,\epsilon_h, \mu)$ (green), and $\mathcal{J}_{1} \cap \mathcal{H}(c,\epsilon,\epsilon_h, \mu)$ (blue) surrounding $\mathcal{B}_\epsilon(c)$ (grey). Top right: sets $\mathcal{F}_1$ (blue) and $\mathcal{J}_0$ (red) surrounding $\mathcal{B}_\epsilon(c)$ (grey). Middle: phase portrait of solutions with different initial conditions and $\mathcal{B}_\epsilon(c)$ (grey). Bottom: distance to the obstacle for the solutions and radii $\epsilon_s$, $\epsilon$
leq(c, c,\theta)\setminus\{c\}$, we proceed as follows. Select $ v\in\mathbb{S}^n$ such that $ v^\top c=0 $ and consider $ \mathbf{R}(v,\theta)\in\mathbb{SO}(3)$, i.e., an extraneous rotation matrix specify by axis $ v$ and angle $ \theta$. Then, we can control that the degree $ p_1=(I_3-\mathbf{R}(v,\theta))c$ is a point on the cone $ \mathcal{C}^=_\leq(c, c,\theta)$. By letting $ v=(0,1,-1)$, we specify $ p_1=(0.424,-0.155,-0.155)$ and $ p_{-1}=(-0.348,0.231,0.231)$ as in  . We also select $ \psi= 0.249 $ and $ \bar\psi = 0.266 $, which meet Assumption   \[assumption: parameters\ ]. Fig.   \[figure: construction\ ] usher that the objectives pose in Section   \[section: problem\ ] and proven in Theorem   \[theorem: invariance\ ] are meet. The top share of the figure illustrate the relevant sets. The middle region shows that the origin is globally asymptotically stable, and the command law matches the stabilizing one sufficiently away from the obstacle. The bottom region shows that the solutions are safe since they all stay away from the obstacle dress $ \mathcal{B}_\epsilon(c)$. 

! [ Top left: sets $ \mathcal{F}_{-1}$ (green) and $ \mathcal{J}_0 $ (red) surrounding $ \mathcal{B}_\epsilon(c)$ (grey). Top center: sets $ \mathcal{J}_0 $ (red), $ \mathcal{J}_{-1 } \cap \mathcal{H}(c,\epsilon,\epsilon_h, \mu)$ (green), and $ \mathcal{J}_{1 } \cap \mathcal{H}(c,\epsilon,\epsilon_h, \mu)$ (blue) surrounding $ \mathcal{B}_\epsilon(c)$ (grey). Top right: sets $ \mathcal{F}_1 $ (blue) and $ \mathcal{J}_0 $ (red) surrounding $ \mathcal{B}_\epsilon(c)$ (gray). in-between: phase portrait of solution with unlike initial conditions and $ \mathcal{B}_\epsilon(c)$ (grey). Bottom: distance to the obstacle for the solutions and radii $ \epsilon_s$, $ \epsilon$
leq(f,c,\theta)\setminus\{c\}$, we procted as follows. Select $v\ii\mathbb{A}^n$ such ghat $v^\top c=0$ and consider $\matibf{R}(c,\thetq)\in\mathbb{SO}(3)$, i.e., an orthugonal ronation marrix wpecified ug axis $y$ and wnglz $\vheta$. Then, we csn verify dhat the point $p_1=(K_3-\mcthbf{R}(v,\theta))c$ is a point on the cone $\mathcak{C}^=_\peq(c,c,\theta)$. By jettpnd $v=(0,1,-1)$, sv betermine $p_1=(0.424,-0.155,-0.155)$ and $p_{-1}=(-0.348,0.231,0.231)$ as in . We also select $\psi= 0.249$ and $\bar\lsi = 0.266$, which satisfy Assumphion \[wssumption:parametegs\]. Fig. \[figurg:donfrruction\] shods that tht mbjectives posed in Section \[section:problem\] and 'roven in Tyeirel \[jheorem:invarmance\] wre fulfilled. The to[ part pf the figure lllusvratws the relevant sets. Vhe middle part showf that tha krigin is globallt qsympjoticdlly wtacle, aid fhe cojtrkl law matdhes the stqbilizing one suffiviqbtly away froj the jbftacle. The bottom part shows that the smlufions are safe since thwy all stay away from the obstwcle set $\mathcal{B}_\epsilon(c)$.

![Top left: sets $\mathcal{F}_{-1}$ (gseen) ena $\mcbmcal{G}_0$ (rfd) surrounding $\mathcal{B}_\epsilon(c)$ (grey). Top centqd: xens $\mathcal{J}_0$ (red), $\mcthcal{J}_{-1} \cap \mathvap{H}(v,\gpsilon,\epsilon_f, \mu)$ (gxseh), and $\mathcal{J}_{1} \cap \mathcaj{H}(c,\epwilon,\epsijon_h, \mu)$ (blue) surrounding $\mathcao{B}_\epsilon(c)$ (ggey). Rop right: sets $\matkcal{F}_1$ (blue) aud $\matncal{J}_0$ (red) surrounding $\mathcau{B}_\epailon(c)$ (grey). Middle: pgxse portrait of rolltiots with different initial sonditionw anb $\mathcau{B}_\epxilon(c)$ (grey). Bottlm: distance to the obstafle flr the solutlons and radii $\epsilon_s$, $\epsilon$
leq(c,c,\theta)\setminus\{c\}$, we proceed as follows. Select $v\in\mathbb{S}^n$ $v^\top and consider i.e., an orthogonal $v$ angle $\theta$. Then, can verify that point $p_1=(I_3-\mathbf{R}(v,\theta))c$ is a point on cone $\mathcal{C}^=_\leq(c,c,\theta)$. By letting $v=(0,1,-1)$, we determine $p_1=(0.424,-0.155,-0.155)$ and $p_{-1}=(-0.348,0.231,0.231)$ as in . also select $\psi= 0.249$ and $\bar\psi = 0.266$, which satisfy Assumption \[assumption:parameters\]. Fig. shows the posed Section \[section:problem\] and proven in Theorem \[theorem:invariance\] are fulfilled. The top part of the figure illustrates relevant sets. The middle part shows that the is globally asymptotically stable, the control law matches the one away from obstacle. bottom shows that the are safe since they all stay away from the obstacle set $\mathcal{B}_\epsilon(c)$. ![Top left: sets $\mathcal{F}_{-1}$ (green) $\mathcal{J}_0$ (red) (grey). Top sets (red), \cap \mathcal{H}(c,\epsilon,\epsilon_h, \mu)$ $\mathcal{J}_{1} \cap \mathcal{H}(c,\epsilon,\epsilon_h, \mu)$ (blue) surrounding right: sets $\mathcal{F}_1$ (blue) and $\mathcal{J}_0$ (red) surrounding (grey). Middle: portrait of solutions with different initial and $\mathcal{B}_\epsilon(c)$ (grey). Bottom: distance to the obstacle the solutions and radii $\epsilon_s$, $\epsilon$
leq(c,c,\theta)\setminus\{c\}$, we procEed as folloWs. SelEct $V\in\MaThbb{s}^n$ suCh that $v^\top c=0$ and COnsiDer $\mathbf{R}(v,\theta)\in\mathBb{SO}(3)$, i.E., aN OrthOGoNal roTation mATrIX SpeCiFiEd bY aXIs $V$ and aNglE $\theta$. THen, we can veRifY tHat the point $p_1=(i_3-\MaThbf{R}(v,\thetA))c$ iS a point on the ConE $\mathcAl{c}^=_\leQ(C,c,\theTa)$. BY lettIng $v=(0,1,-1)$, we DEtermiNe $p_1=(0.424,-0.155,-0.155)$ and $p_{-1}=(-0.348,0.231,0.231)$ as In . wE also sELect $\psi= 0.249$ AND $\bAr\psI = 0.266$, which satisfy AssuMPtIOn \[assumption:paRameteRs\]. fIg. \[FIGurE:coNstruction\] ShOws thAT the objECtIVES poSEd in Section \[seCtion:probleM\] And Proven In theORem \[theOrem:iNvARiaNce\] are fulfiLled. the top parT of the FIgure ilLUstrateS the reLevAnt Sets. tHe MiDdlE pARt sHOwS thAT thE origin iS gLoBally AsymPTOTIcalLy sTablE, and tHe control law mAtcHes tHE stAbiliZing oNe suFfIcienTly awaY from ThE obstacle. The botTom pArt shows tHat ThE soLuTions ARe safe SinCe tHey all sTay away FRom ThE OBStAcle set $\mathcal{B}_\epsIlON(C)$.

![TOp left: seTs $\mathCAl{f}_{-1}$ (gREen) and $\maThCal{j}_0$ (red) SURrounDing $\MAtHcal{B}_\epsIlon(c)$ (gREy). toP center: SeTs $\mathCaL{J}_0$ (rEd), $\mAthcaL{j}_{-1} \cap \MathcaL{H}(c,\epsilOn,\epsILon_h, \mu)$ (green), and $\MAthcal{J}_{1} \cap \matHCaL{h}(C,\ePSiloN,\epSilon_h, \mu)$ (bluE) surROundIng $\mAThCal{b}_\EpsilOn(c)$ (grEy). tOp RIght: sets $\mathcal{F}_1$ (bluE) aNd $\mathCal{J}_0$ (rEd) surrounding $\Mathcal{B}_\epSILOn(c)$ (grey). MIddlE: PhASe portrait of soLutioNs with diffERent initIal coNditions And $\mathcaL{b}_\Epsilon(c)$ (GreY). BoTtoM: diSTAnCe to the obstacLE For tHe SolutioNs aNd radii $\EpsIloN_s$, $\ePsiLoN$
leq(c,c,\theta)\setminus\{ c\}$, we p rocee d a s f ol lows . Se lect $v\in\mat h bb{S }^n$ such that $v^\top  c=0$  a n d co n si der $ \mathbf { R} ( v ,\t he ta )\i n\ m at hbb{S O}( 3)$, i. e., an ort hog on al rotationm at rix specif ied  by axis $v$  an d angl e$\t h eta$.  Th en, w e canv erifythat thepo i nt $p_ 1 =(I_3-\ m a th bf{R }(v,\theta))c$ is ap oint on the co ne $\m at h ca l { C}^ =_\ leq(c,c,\t he ta)$. By lett i ng $ v =(0 , 1,-1)$, we de termine $p_ 1 =(0 .424,- 0. 155 , -0.155 )$ an d$ p_{ -1}=(-0.348 ,0.2 31,0.231) $ as i n  . We a l so sele ct $\p si=  0. 249$ an d$\b ar \ psi =0.2 6 6$,  which s at is fy As sump t i o n  \[a ssu mpti on:pa rameters\]. F ig.  \[f i gur e:con struc tion \]  show s that  theob jectives posedin S ection \[ sec ti on: pr oblem \ ] andpro ven  in The orem \[ t heo re m : i nv ariance\] are fulf il l e d.  The top  parto fth e  figureil lus trat e s  therele v an t sets.The mi d dl epart sh ow s that  t heori gin i s  glo ballyasymptot icall y  stable, and t h e control law ma t c he s  the  st abilizing o ne s u ffic ient l yawa y  from  theob s ta c le. The bottom part  s hows t hat t he solutionsare safe s i n c e they a ll s t ay away from theobsta cle set $\ m athcal{B }_\ep silon(c) $.

![Top l eft: set s $ \ma thc al{ F } _{ -1}$ (green)a n d $\ ma thcal{J }_0 $ (red)  su rro und ing  $ \mathcal{ B}_\epsi lo n( c) $(gr ey).T op cente r:  se ts  $\ mathc a l{J}_0 $ (re d),$\ ma t hca l{J}_{- 1 }\ c ap \ ma th cal{ H}( c, \epsi lon, \ eps ilon_h,  \mu)$ (g ree n ), a nd  $ \mathca l{J}_{1} \cap  \ mathcal{H} (c ,\e psilon , \ epsilon_ h, \mu)$ (blue) surroun d ing $\m ath cal{B }_\e psilon(c) $ ( grey).  To p  right : sets  $\ma th cal { F }_1$( b lu e)an d $\mathca l { J}_ 0$ (r ed ) su rroundi ng $\mathcal{B}_\e p sil on(c)$ (grey) . M iddl e :  p has e  p o rtr ai t  of s olutions with d ifferent i ni t ia l conditio n s a nd  $\math cal{B}_ \epsi l on(c)$(grey). B ottom: di st ance t o t he obstacl e for th e solutio n s and ra dii $ \ep silon_ s$ , $ \epsi lon$
leq(c,c,\theta)\setminus\{c\}$, we_proceed as_follows. Select $v\in\mathbb{S}^n$ such_that $v^\top_c=0$_and consider_$\mathbf{R}(v,\theta)\in\mathbb{SO}(3)$,_i.e., an orthogonal_rotation matrix specified_by axis $v$ and_angle $\theta$. Then,_we_can verify that the point $p_1=(I_3-\mathbf{R}(v,\theta))c$ is a point on the cone $\mathcal{C}^=_\leq(c,c,\theta)$. By_letting_$v=(0,1,-1)$, we_determine_$p_1=(0.424,-0.155,-0.155)$_and $p_{-1}=(-0.348,0.231,0.231)$ as in . We_also select $\psi= 0.249$ and_$\bar\psi =_0.266$, which satisfy Assumption \[assumption:parameters\]. Fig. \[figure:construction\] shows that the_objectives_posed in Section \[section:problem\]_and proven in Theorem \[theorem:invariance\] are fulfilled. The top part_of the figure illustrates the relevant_sets. The middle_part_shows_that the origin is_globally asymptotically stable, and the control_law matches the stabilizing one sufficiently_away from the obstacle. The bottom part_shows that the solutions are safe_since they all stay away_from the_obstacle set $\mathcal{B}_\epsilon(c)$.

![Top left: sets_$\mathcal{F}_{-1}$ (green) and_$\mathcal{J}_0$ (red)_surrounding $\mathcal{B}_\epsilon(c)$ (grey)._Top center: sets $\mathcal{J}_0$ (red), $\mathcal{J}_{-1}_\cap \mathcal{H}(c,\epsilon,\epsilon_h, \mu)$_(green), and $\mathcal{J}_{1} \cap \mathcal{H}(c,\epsilon,\epsilon_h, \mu)$_(blue)_surrounding $\mathcal{B}_\epsilon(c)$ (grey)._Top_right:_sets $\mathcal{F}_1$_(blue) and $\mathcal{J}_0$_(red)_surrounding $\mathcal{B}_\epsilon(c)$_(grey)._Middle: phase portrait of solutions with_different_initial conditions and $\mathcal{B}_\epsilon(c)$ (grey). Bottom: distance_to the obstacle for_the_solutions and radii $\epsilon_s$,_$\epsilon$