https://www.roboverse.space/es/ The latest robot entries and research papers from RoboVerse en Fri, 24 Jul 2026 06:25:40 GMT hello@roboverse.com (RoboVerse Team) hello@roboverse.com (RoboVerse) Copyright 2026 RoboVerse RoboVerse RSS Generator https://www.roboverse.space/es/robots/xman-r1 https://www.roboverse.space/es/robots/xman-r1 Tue, 21 Jul 2026 16:08:53 GMT XMAN R1 by Keenon Robotics. A service robots robot currently in announced stage. Data sourced from RoboZaps. delivery https://www.roboverse.space/es/robots/xiaomi-cyberone https://www.roboverse.space/es/robots/xiaomi-cyberone Tue, 21 Jul 2026 16:08:52 GMT CyberOne is a full-size bipedal humanoid robot developed by Xiaomi's Robotics Lab and unveiled by CEO Lei Jun at a Beijing launch event. humanoid https://www.roboverse.space/es/robots/tesla-optimus-gen-2 https://www.roboverse.space/es/robots/tesla-optimus-gen-2 Tue, 21 Jul 2026 16:08:52 GMT Optimus is Tesla's general-purpose, autonomous bipedal humanoid robot, developed by applying the company's real-world AI and self-driving learnings to a… humanoid https://www.roboverse.space/es/robots/steve https://www.roboverse.space/es/robots/steve Tue, 21 Jul 2026 16:08:52 GMT Steve is a humanoid robot created by Belgian designer Jan De Coster, built to feel at home on a stage and among people. humanoid https://www.roboverse.space/es/robots/quantax2 https://www.roboverse.space/es/robots/quantax2 Tue, 21 Jul 2026 16:08:51 GMT No robot called "Quantax2" could be verified from PNDBotics' own wiki (wiki.pndbotics.com), product site (pndbotics.com/robot), or any primary source. industrial https://www.roboverse.space/es/robots/xpeng-px5 https://www.roboverse.space/es/robots/xpeng-px5 Tue, 21 Jul 2026 16:08:51 GMT The Px5 is a bipedal humanoid robot developed in-house by XPeng and publicly introduced at the company's 2023 Tech Day. humanoid https://www.roboverse.space/es/robots/mirokai https://www.roboverse.space/es/robots/mirokai Tue, 21 Jul 2026 16:08:50 GMT Mirokaï is a line of humanoid social robots developed by the French company Enchanted Tools, designed to assist, engage, and interact with people in settings… delivery https://www.roboverse.space/es/robots/figure-01 https://www.roboverse.space/es/robots/figure-01 Tue, 21 Jul 2026 16:08:50 GMT Figure 01 was Figure AI's first-generation general-purpose humanoid robot and the foundation for the company's later humanoid development. humanoid https://www.roboverse.space/es/robots/ff-aegis-advanced-quadruped https://www.roboverse.space/es/robots/ff-aegis-advanced-quadruped Tue, 21 Jul 2026 16:08:50 GMT The FX Aegis is Faraday Future's embodied-AI quadruped robot, offered in multiple configurations spanning personal-companion through enterprise-deployment use. companion https://www.roboverse.space/es/robots/walker-x https://www.roboverse.space/es/robots/walker-x Tue, 21 Jul 2026 16:08:49 GMT Walker X is UBTECH Robotics' large bipedal humanoid robot designed for commercial service and human-robot interaction. humanoid https://www.roboverse.space/es/robots/walker-s2 https://www.roboverse.space/es/robots/walker-s2 Tue, 21 Jul 2026 16:08:49 GMT Verified UBTECH Walker S2 profile covering its 52 DoF, 15 kg payload, three-minute battery swap, mass-production status and undisclosed specs. humanoid https://www.roboverse.space/es/robots/dexmate-vega https://www.roboverse.space/es/robots/dexmate-vega Tue, 21 Jul 2026 16:08:48 GMT Vega is a general-purpose mobile robot from Dexmate built on an omni-directional base with dexterous dual arms, five-fingered hands, an adjustable torso, and… humanoid https://www.roboverse.space/es/robots/unitree-r1 https://www.roboverse.space/es/robots/unitree-r1 Tue, 21 Jul 2026 16:08:48 GMT The Unitree R1 is a compact, lightweight full-size humanoid robot from Unitree Robotics aimed at making humanoids broadly accessible. humanoid https://www.roboverse.space/es/robots/unitree-h1 https://www.roboverse.space/es/robots/unitree-h1 Tue, 21 Jul 2026 16:08:47 GMT The Unitree H1 is the company's first full-size general-purpose humanoid robot, built as a research and development platform for embodied AI and locomotion. humanoid https://www.roboverse.space/es/robots/unitree-go2-x https://www.roboverse.space/es/robots/unitree-go2-x Tue, 21 Jul 2026 16:08:47 GMT The Go2 X is the highest retail trim of Unitree's Go2 quadruped lineup, positioned above the Air and Pro and below the quote-only developer-focused Edu. humanoid https://www.roboverse.space/es/robots/unitree-g1 https://www.roboverse.space/es/robots/unitree-g1 Tue, 21 Jul 2026 16:08:47 GMT The Unitree G1 is a compact humanoid robot developed by China-based Unitree Robotics, designed for research, education, and AI-driven motion development. humanoid https://www.roboverse.space/es/robots/turtlebot-4-lite https://www.roboverse.space/es/robots/turtlebot-4-lite Tue, 21 Jul 2026 16:08:47 GMT TurtleBot 4 Lite is the lower-cost configuration of the TurtleBot 4 open-source ROS 2 education and research platform, built by Clearpath Robotics with Open… research https://www.roboverse.space/es/robots/turtlebot-3-waffle-pi https://www.roboverse.space/es/robots/turtlebot-3-waffle-pi Tue, 21 Jul 2026 16:08:46 GMT The TurtleBot 3 Waffle Pi is ROBOTIS's larger ROS reference platform in the TurtleBot 3 line, introduced in 2017 to replace the discontinued Intel Joule-based… research https://www.roboverse.space/es/robots/torobo https://www.roboverse.space/es/robots/torobo Tue, 21 Jul 2026 16:08:46 GMT Torobo is a torque-controlled dual-arm humanoid robot developed by Tokyo Robotics for machine-learning research and for automating tasks that involve active… humanoid https://www.roboverse.space/es/robots/tekntrash-a-l-p-h-a https://www.roboverse.space/es/robots/tekntrash-a-l-p-h-a Tue, 21 Jul 2026 16:08:46 GMT ALPHA (Automated Litter Processing Humanoid Assistant) is a humanoid robot TeknTrash is developing to pick recyclable items off conveyor belts and handle… humanoid https://www.roboverse.space/es/robots/t1-standard https://www.roboverse.space/es/robots/t1-standard Tue, 21 Jul 2026 16:08:45 GMT The T1 Standard is one configuration of Booster Robotics' Booster T1, a lightweight full-size humanoid robot aimed at developers, researchers, and competition… humanoid https://www.roboverse.space/es/robots/t1-grippers https://www.roboverse.space/es/robots/t1-grippers Tue, 21 Jul 2026 16:08:45 GMT The T1 Grippers is a variant of Booster Robotics' Booster T1, a lightweight full-size humanoid development platform built for researchers and developers. humanoid https://www.roboverse.space/es/robots/t1-basic https://www.roboverse.space/es/robots/t1-basic Tue, 21 Jul 2026 16:08:44 GMT The Booster T1 Basic is the entry configuration of Booster Robotics' T1 full-size humanoid robot, positioned as a lightweight, flexible and durable platform… humanoid https://www.roboverse.space/es/robots/robotera-l7 https://www.roboverse.space/es/robots/robotera-l7 Tue, 21 Jul 2026 16:08:44 GMT The Robotera L7 is a full-size bipedal humanoid robot developed by Beijing-based RobotEra, designed for high-dynamic motion such as running and spin jumps as… humanoid https://www.roboverse.space/es/robots/rb-y1 https://www.roboverse.space/es/robots/rb-y1 Tue, 21 Jul 2026 16:08:44 GMT The Rb Y1 is a dual-arm mobile manipulator developed by Rainbow Robotics, combining a humanoid-style two-arm upper body with a wheeled high-speed mobile base. humanoid https://www.roboverse.space/es/robots/pudu-d9 https://www.roboverse.space/es/robots/pudu-d9 Tue, 21 Jul 2026 16:08:44 GMT The PUDU D9 is Pudu Robotics' first full-sized bipedal humanoid robot, built with adult-like body proportions for object manipulation and customer engagement. delivery https://www.roboverse.space/es/robots/pudu-d7-2026 https://www.roboverse.space/es/robots/pudu-d7-2026 Tue, 21 Jul 2026 16:08:43 GMT PUDU D7 2026 by Pudu Robotics. A service robots robot currently in announced stage. Data sourced from RoboZaps. delivery https://www.roboverse.space/es/robots/pudu-d7 https://www.roboverse.space/es/robots/pudu-d7 Tue, 21 Jul 2026 16:08:43 GMT PUDU D7 (2024) is PUDU Robotics' first-generation semi-humanoid service robot. It combines a dual-arm upper body with an omnidirectional wheeled chassis for… delivery https://www.roboverse.space/es/robots/pm-01 https://www.roboverse.space/es/robots/pm-01 Tue, 21 Jul 2026 16:08:42 GMT The PM01 is a lightweight, highly dynamic, fully open humanoid robot from EngineAI, offered in business and education editions. humanoid https://www.roboverse.space/es/robots/n2 https://www.roboverse.space/es/robots/n2 Tue, 21 Jul 2026 16:08:41 GMT The N2 is a compact bipedal humanoid robot developed by Noetix Robotics for research, education, and performance use. humanoid https://www.roboverse.space/es/robots/matrix-3 https://www.roboverse.space/es/robots/matrix-3 Tue, 21 Jul 2026 16:08:41 GMT Verified MATRIX-3 humanoid robot profile covering its 27-DoF hands, tactile skin, Early Access status, official sources, and undisclosed specifications. humanoid https://www.roboverse.space/es/robots/magicbot-gen1 https://www.roboverse.space/es/robots/magicbot-gen1 Tue, 21 Jul 2026 16:08:41 GMT MagicBot Gen1 is the full-size general-purpose humanoid from MagicLab (Magiclab Robotics Technology, Wuxi), standing 1,740 mm and weighing about 70 kg with 42… humanoid https://www.roboverse.space/es/robots/lingxi-x2 https://www.roboverse.space/es/robots/lingxi-x2 Tue, 21 Jul 2026 16:08:40 GMT The Lingxi X2 (marketed in English as the AGIBOT X2) is Agibot's compact 1.31 m, roughly 35 kg bipedal humanoid unveiled in March 2025, aimed at interaction,… delivery https://www.roboverse.space/es/robots/limx-humanoid https://www.roboverse.space/es/robots/limx-humanoid Tue, 21 Jul 2026 16:08:40 GMT LimX Oli is a full-size, general-purpose humanoid robot developed by LimX Dynamics, an embodied-intelligence robotics company based in Shenzhen, China. humanoid https://www.roboverse.space/es/robots/kr1 https://www.roboverse.space/es/robots/kr1 Tue, 21 Jul 2026 16:08:40 GMT The KR1 (also branded Kinisi 01) is a wheeled humanoid robot built by Kinisi Robotics for industrial logistics and manufacturing tasks such as picking,… humanoid https://www.roboverse.space/es/robots/kepler-forerunner https://www.roboverse.space/es/robots/kepler-forerunner Tue, 21 Jul 2026 16:08:40 GMT Kepler's Forerunner K2 is a general-purpose humanoid robot developed by Shanghai Kepler Robotics for commercial and industrial use. humanoid https://www.roboverse.space/es/robots/k1-pro https://www.roboverse.space/es/robots/k1-pro Tue, 21 Jul 2026 16:08:39 GMT The Robosen Interstellar Scout K1 Pro is a programmable bipedal humanoid robot built around a multi-servo articulated frame with an aluminum-alloy structure… humanoid https://www.roboverse.space/es/robots/k1-geek https://www.roboverse.space/es/robots/k1-geek Tue, 21 Jul 2026 16:08:39 GMT The K1 Geek is the entry-level configuration of Booster Robotics' Booster K1, a compact bipedal humanoid robot aimed at developers, researchers, and… humanoid https://www.roboverse.space/es/robots/k1-edu https://www.roboverse.space/es/robots/k1-edu Tue, 21 Jul 2026 16:08:39 GMT The Robosen K1 (Interstellar Scout K1) is a compact, free-walking bipedal humanoid robot positioned for STEM education and entertainment. humanoid https://www.roboverse.space/es/robots/husky-a200 https://www.roboverse.space/es/robots/husky-a200 Tue, 21 Jul 2026 16:08:38 GMT Husky A200 is Clearpath Robotics' long-running rugged outdoor unmanned ground vehicle for field robotics research, in distribution since 2012 and superseded… industrial https://www.roboverse.space/es/robots/hmnd-01 https://www.roboverse.space/es/robots/hmnd-01 Tue, 21 Jul 2026 16:08:38 GMT HMND 01 is a modular, general-purpose humanoid robot developed by the UK company Humanoid (SKL Robotics). humanoid https://www.roboverse.space/es/robots/gr-2 https://www.roboverse.space/es/robots/gr-2 Tue, 21 Jul 2026 16:08:38 GMT GR-2 is Fourier Intelligence's second-generation full-size humanoid robot in its GRx series, unveiled in 2024 with upgrades across hardware, design, and… humanoid https://www.roboverse.space/es/robots/gene-01 https://www.roboverse.space/es/robots/gene-01 Tue, 21 Jul 2026 16:08:37 GMT GENE.01 is Generative Bionics' human-aware humanoid platform, presented as a concept in January 2026 and unveiled as a functional prototype on 20 July 2026. humanoid https://www.roboverse.space/es/robots/fourier-gr-3 https://www.roboverse.space/es/robots/fourier-gr-3 Tue, 21 Jul 2026 16:08:37 GMT Fourier GR-3 specifications, source-backed battery, payload and compute details, plus its current announced deployment status. humanoid https://www.roboverse.space/es/robots/ff-master https://www.roboverse.space/es/robots/ff-master Tue, 21 Jul 2026 16:08:37 GMT FF Master is an embodied-AI humanoid companion robot from Faraday Future, introduced as part of its EAI-Robotics line. humanoid https://www.roboverse.space/es/robots/ff-futurist https://www.roboverse.space/es/robots/ff-futurist Tue, 21 Jul 2026 16:08:37 GMT The FF Futurist is Faraday Future's full-size professional humanoid robot, part of the company's Embodied AI (EAI) robotics line introduced alongside the FF… humanoid https://www.roboverse.space/es/robots/ff-aegis-basic-quadruped https://www.roboverse.space/es/robots/ff-aegis-basic-quadruped Tue, 21 Jul 2026 16:08:36 GMT The FX Aegis is Faraday Future's professional embodied-AI quadruped robot, positioned for security, companionship, and enterprise tasks. companion https://www.roboverse.space/es/robots/dora https://www.roboverse.space/es/robots/dora Tue, 21 Jul 2026 16:08:36 GMT Dora is a product-level, lightweight general-purpose humanoid robot developed by Noetix Robotics for home, education and elder-care settings. humanoid https://www.roboverse.space/es/robots/atom https://www.roboverse.space/es/robots/atom Tue, 21 Jul 2026 16:08:36 GMT Atom is Dobot's first full-size embodied-AI humanoid robot, built for dexterous manipulation and bipedal locomotion in industrial and commercial settings. humanoid https://www.roboverse.space/es/robots/apptronik-apollo https://www.roboverse.space/es/robots/apptronik-apollo Tue, 21 Jul 2026 16:08:35 GMT Apollo is Apptronik's general-purpose humanoid robot built for friendly human interaction, mass manufacturability, high payloads, and safety. humanoid https://www.therobotreport.com/holiday-robotics-raises-105m-wheeled-humanoid-friday/ https://www.therobotreport.com/holiday-robotics-raises-105m-wheeled-humanoid-friday/ Thu, 23 Jul 2026 20:45:47 GMT https://www.therobotreport.com/uber-co-founder-raises-1-7b-for-new-robotics-startup-atoms/ https://www.therobotreport.com/uber-co-founder-raises-1-7b-for-new-robotics-startup-atoms/ Thu, 23 Jul 2026 18:53:11 GMT https://www.therobotreport.com/amd-unveils-kria-module-real-time-control-unified-memory-robots/ https://www.therobotreport.com/amd-unveils-kria-module-real-time-control-unified-memory-robots/ Thu, 23 Jul 2026 18:30:56 GMT https://www.therobotreport.com/ropedia-raises-22m-scale-data-collection-training-robots/ https://www.therobotreport.com/ropedia-raises-22m-scale-data-collection-training-robots/ Thu, 23 Jul 2026 15:55:39 GMT https://arxiv.org/abs/2607.19530 https://arxiv.org/abs/2607.19530 Thu, 23 Jul 2026 04:00:00 GMT Florian Golemo, Joanna Wolski, Joel Ruben Antony Moniz, Christopher Pal arXiv:2607.19530v1 Announce Type: new Abstract: Many Blind and Low-Vision (BLV) people rely on guide dogs for moment-to-moment navigation, such as staying on path and avoiding obstacles and pedestrians. However, guide dogs are expensive to acquire and maintain (approximately \$50k USD plus ongoing c https://arxiv.org/abs/2607.19695 https://arxiv.org/abs/2607.19695 Thu, 23 Jul 2026 04:00:00 GMT Junzhe Wu, Yue Hu, Zeyu Han, Po-Hsun Chang, Yinan Dong, Behrad Rabiei, Maani Ghaffari arXiv:2607.19695v1 Announce Type: new Abstract: Robots deployed in delivery, campus, and emergency-response settings often need to navigate from buildings to streets within a single continuous episode. Existing benchmarks usually evaluate indoor and outdoor navigation separately, and many abstract a https://arxiv.org/abs/2607.19708 https://arxiv.org/abs/2607.19708 Thu, 23 Jul 2026 04:00:00 GMT Abhimanyu Khadga, Abhinav Sinha, Shashi Ranjan Kumar arXiv:2607.19708v1 Announce Type: new Abstract: Fully actuated unmanned aerial vehicles (UAVs) are usually certified through rank conditions on a control-allocation matrix or through free-flight tracking performance. For aerial physical interaction, this certification may be incomplete. During susta https://arxiv.org/abs/2607.19714 https://arxiv.org/abs/2607.19714 Thu, 23 Jul 2026 04:00:00 GMT Donoven Dortilus, Tianyu Wang, Galen Tunnicliffe, Matthew Fernandez, Daniel I. Goldman arXiv:2607.19714v1 Announce Type: new Abstract: Limbless robots offer exceptional mobility in confined and cluttered environments due to their slender bodies and their ability to exploit body-terrain interactions. Recent designs incorporating compliance demonstrate robust locomotion without complex https://arxiv.org/abs/2607.19745 https://arxiv.org/abs/2607.19745 Thu, 23 Jul 2026 04:00:00 GMT Zuhao Ge, Yuchen Zhou, Weitao Zhou, Minglei Li, Xinyu Li, Chao Wu, Hanwen Zhao, Haotian Wang, Zuxuan Wu, Xiaosong Jia, Yu-Gang Jiang arXiv:2607.19745v2 Announce Type: new Abstract: Robust embodied robots should be able to recover from failures and retry tasks in order to operate reliably in unstructured and noisy real-world environments. Achieving this capability requires training policies on data that captures recovery behaviors https://arxiv.org/abs/2607.19804 https://arxiv.org/abs/2607.19804 Thu, 23 Jul 2026 04:00:00 GMT Shahd Shami, Obadah Wali, Eric Feron, Shinkyu Park arXiv:2607.19804v1 Announce Type: new Abstract: This paper presents a vision-informed grasp force prediction framework for robotic handling of date fruits. Addressing the dual challenge of high detachment forces and low bruise thresholds, we first conduct mechanical characterization on date samples https://arxiv.org/abs/2607.19850 https://arxiv.org/abs/2607.19850 Thu, 23 Jul 2026 04:00:00 GMT Xinyu Zhang, Zishuo Wang, Ling Xiao arXiv:2607.19850v1 Announce Type: new Abstract: Vision-language models have shown strong potential for social robot navigation by leveraging rich semantic understanding of complex environments and human behaviors. However, large scale VLMs are difficult to deploy on resource-constrained robotic plat https://arxiv.org/abs/2607.19903 https://arxiv.org/abs/2607.19903 Thu, 23 Jul 2026 04:00:00 GMT Fabio Amadio (HUCEBOT), Enrico Mingo Hoffman (HUCEBOT) arXiv:2607.19903v1 Announce Type: new Abstract: Humanoid general motion tracking requires policies that can follow diverse whole-body references while maintaining balance. Building such policies involves many practical design choices, and their individual effects are often hard to assess. We address https://arxiv.org/abs/2607.19919 https://arxiv.org/abs/2607.19919 Thu, 23 Jul 2026 04:00:00 GMT Seonsoo Kim, Seongil Hong, Jun-Gill Kang arXiv:2607.19919v1 Announce Type: new Abstract: We propose Diffusion ReRoll, a diffusion-based framework for robotic sequential prediction that enables revisable denoising over horizons. Existing diffusion-based sequence predictors typically perform a single monotonic denoising process. In contrast, https://arxiv.org/abs/2607.19971 https://arxiv.org/abs/2607.19971 Thu, 23 Jul 2026 04:00:00 GMT Taewon Seo, Seonae Jeon, Giwon Lee, Kuk-Jin Yoon, Daehee Park arXiv:2607.19971v1 Announce Type: new Abstract: Accurate motion prediction of surrounding agents and safe motion planning are two closely coupled key tasks for social robot navigation in crowded environments. Deploying these systems on resource-constrained edge devices necessitates compact, unified https://arxiv.org/abs/2607.20033 https://arxiv.org/abs/2607.20033 Thu, 23 Jul 2026 04:00:00 GMT Guangyan Chen, Meiling Wang, Te Cui, Zichen Zhou, Qi Shao, Shalfun Li, Hang Su, Roy Gan, Hao Wang, Mengyin Fu, Yi Yang, Yufeng Yue arXiv:2607.20033v2 Announce Type: new Abstract: The ability to acquire skills rapidly and effortlessly while retaining those already mastered is essential for robots. However, current methods still rely on a cumbersome training-time loop that is costly and slow, while eroding skills already mastered https://arxiv.org/abs/2607.20207 https://arxiv.org/abs/2607.20207 Thu, 23 Jul 2026 04:00:00 GMT Yang Xu, Gurpreet Singh Mukker, Raymond Wang, Jasper Gerigk, Maria Attarian, Igor Gilitschenski arXiv:2607.20207v1 Announce Type: new Abstract: Practical robotic grasping in complex scenes requires both 3D spatial reasoning and alignment with task-specific requirements. Vision-language models (VLMs) offer a natural way to specify these requirements using language, but existing approaches eithe https://arxiv.org/abs/2607.20232 https://arxiv.org/abs/2607.20232 Thu, 23 Jul 2026 04:00:00 GMT Hao Qiao, Yan Wang, Jian Kuang, Xiaoji Niu arXiv:2607.20232v1 Announce Type: new Abstract: The training of learned inertial odometry depends on dense, high-precision position ground truth from motion capture, visual-inertial odometry or SLAM, which is costly and hard to acquire at scale. We propose DINS-IO, which learns inertial odometry dir https://arxiv.org/abs/2607.20289 https://arxiv.org/abs/2607.20289 Thu, 23 Jul 2026 04:00:00 GMT Md Ridwan Hossain Talukder, Roshan Dhakal, Elizabeth Phillips, Gregory J. Stein arXiv:2607.20289v1 Announce Type: new Abstract: We consider a task planning scenario in which robots sharing a persistent environment are assigned tasks one at a time from a held-out sequence. Standard task planners, lacking foresight of future tasks and inconsiderate of others' constraints, solve e https://arxiv.org/abs/2607.20345 https://arxiv.org/abs/2607.20345 Thu, 23 Jul 2026 04:00:00 GMT Roger Sala Sis\'o, Tiago Silv\'erio, Jakob Sand, Tran Nguyen Le arXiv:2607.20345v1 Announce Type: new Abstract: Closing the gap between benchmark performance and reliable real-world operation remains a central challenge for Vision-Language-Action (VLA) humanoid robots, which must handle execution errors, distribution shifts, and environmental variability. This p https://arxiv.org/abs/2607.20352 https://arxiv.org/abs/2607.20352 Thu, 23 Jul 2026 04:00:00 GMT Alejandro Gonzalez-Garcia, Wei Wang, Wei Xiao, Wilm Decre, Jan Swevers, Carlo Ratti, Daniela Rus arXiv:2607.20352v1 Announce Type: new Abstract: Aquatic self-reconfigurable robots must assemble into desired shapes while ensuring safe interactions among multiple agents. This paper proposes a hybrid framework that combines distributed Model Predictive Control (MPC) with Control Barrier Functions