我们提出协调指导矢量字段，以与机器人团队同时完成两个任务：首先，多个机器人的指导和导航到可能嵌入2D或3D中的可能不同的路径或表面；其次，他们的运动协调在跟踪他们的规定路径或表面时。运动配位是由路径或表面上的机器人之间所需的参数位移定义的。通过控制对应于指导矢量场之间的路径或表面参数的虚拟坐标来实现这种所需的位移。由动力学系统理论和Lyapunov理论支撑的严格数学保证，用于从所有初始位置上有效的分布式运动协调和机器人在路径或表面上导航。作为实用机器人应用的一个例子，我们从所提出的具有驱动饱和度的Dubins-car样模型的指导向量场中得出了一种对照算法。我们提出的算法分布并可扩展到任意数量的机器人。此外，广泛的说明性模拟和固定翼飞机户外实验验证了我们算法的有效性和鲁棒性。

这项工作提出了一种基于（几乎）全局收敛到所需形状的双极坐标的新型二维形成控制方案（一类微型无环持续图）。规定的绩效控制被用来设计一项分散的控制法，该法律避免了奇异性并引入了针对外部干扰的鲁棒性，同时确保了闭环系统的预定义瞬态和稳态性能。此外，结果表明，所提出的形成控制方案可以同时处理编队操作，缩放和方向规范。此外，拟议的控制法在代理商的任意定向的本地坐标框架中仅使用低成本板视力传感器可以实现，这有利于实际应用。最后，一项编队操纵模拟研究验证了所提出的方法。

本文考虑了非独立多机器人系统的同时位置和方向计划。与仅关注最终位置限制的常见研究不同，我们将非语言移动机器人建模为刚性机构，并引入机器人最终状态的方向和位置约束。换句话说，机器人不仅应达到指定的位置，而且还应同时指出所需的方向。这个问题的挑战在于全州运动计划的不足，因为只需要通过两个控制输入来计划三个州。为此，我们根据刚体建模提出了动态矢量场（DVF）。具体而言，机器人方向的动力学被带入矢量场，这意味着向量场不再是2-D平面上的静态，而是一个动态的，而动态场却随态度角度而变化。因此，每个机器人可以沿DVF的积分曲线移动以达到所需位置，与此同时，姿态角可以在方向动力学之后收敛到指定值。随后，通过在DVF的框架下设计一个圆形向量场，我们进一步研究了运动计划中的避免障碍物和相互企业的避免。最后，提供了数值仿真示例，以验证提出的方法的有效性。

收缩理论是一种分析工具，用于研究以均匀的正面矩阵定义的收缩度量下的非自主（即，时变）非线性系统的差动动力学，其存在导致增量指数的必要和充分表征多种溶液轨迹彼此相互稳定性的稳定性。通过使用平方差分长度作为Lyapunov样功能，其非线性稳定性分析向下沸腾以找到满足以表达为线性矩阵不等式的稳定条件的合适的收缩度量，表明可以在众所周知的线性系统之间绘制许多平行线非线性系统理论与收缩理论。此外，收缩理论利用了与比较引理结合使用的指数稳定性的优越稳健性。这产生了基于神经网络的控制和估计方案的急需安全性和稳定性保证，而不借助使用均匀渐近稳定性的更涉及的输入到状态稳定性方法。这种独特的特征允许通过凸优化来系统构造收缩度量，从而获得了由于扰动和学习误差而在外部扰动的时变的目标轨迹和解决方案轨迹之间的距离上的明确指数界限。因此，本文的目的是介绍了收缩理论的课程概述及其在确定性和随机系统的非线性稳定性分析中的优点，重点导出了各种基于学习和数据驱动的自动控制方法的正式鲁棒性和稳定性保证。特别是，我们提供了使用深神经网络寻找收缩指标和相关控制和估计法的技术的详细审查。

在非线性和不确定动态的情况下，多种自动水下车辆（AUV）的共识形成跟踪是机器人技术的一个挑战性问题。为了应对这一挑战，本文提出了分布式生物启发的滑动模式控制器。首先，提出了常规的滑动模式控制器（SMC），并根据图理论解决共识问题。接下来，为了解决SMC方案中的高频聊天问题并同时提高噪声的鲁棒性，引入了生物启发的方法，其中采用神经动态模型来替换传统滑动模式合成的非线性符号或饱和功能控制器。此外，在Lyapunov稳定性理论的存在下，在存在有界的集体干扰的情况下证明了所得闭环系统的输入到状态稳定性。最后，进行了仿真实验以证明所提出的分布式形成控制方案的有效性。

In this work, we propose a collision-free source seeking control framework for unicycle robots traversing an unknown cluttered environment. In this framework, the obstacle avoidance is guided by the control barrier functions (CBF) embedded in quadratic programming and the source seeking control relies solely on the use of on-board sensors that measure signal strength of the source. To tackle the mixed relative degree of the CBF, we proposed three different CBF, namely the zeroing control barrier functions (ZCBF), exponential control barrier functions (ECBF), and reciprocal control barrier functions (RCBF) that can directly be integrated with our recent gradient-ascent source-seeking control law. We provide rigorous analysis of the three different methods and show the efficacy of the approaches in simulations using Matlab, as well as, using a realistic dynamic environment with moving obstacles in Gazebo/ROS.

机器人群系统现在对许多具有挑战性的应用越来越吸引人。任何机器人的主要任务是到达目的地，同时保持与其他机器人和障碍物的安全分离。在许多情况下，机器人需要在狭窄的走廊内移动，穿过窗户或门框。为了引导所有机器人在杂乱的环境中移动，在本文中仔细设计了没有障碍物的曲线虚拟管。管内部没有障碍物，即管内的区域可以被视为安全区。然后，提出了一种具有三个精细控制术语的分布式群控制器：线路接近项，机器人避免期限和管保持术语。正式分析和证据表明，可以在有限时间内解决曲线虚拟管通过问题。为方便起见，提出了一种具有近似控制性能的修改式控制器。最后，通过数值模拟和实验验证了所提出的方法的有效性。为了展示所提出的方法的优点，我们的方法和控制屏障功能方法之间的比较也在计算速度方面呈现。

在本文中，我们考虑了分布式多机器人系统（MRSS）的两个耦合问题，与有限的视野（FOV）传感器协调：交互的自适应调整和传感器攻击的拒绝。首先，分布式控制框架（例如，潜在字段）的典型缺点是整体系统行为对分配给相对交互的增益非常敏感。其次，有限的FOV传感器MRSS可以更容易受到针对他们的FOV的传感器攻击，因此必须适应这种攻击。基于这些缺点，我们提出了一个全面的解决方案，将自适应增益调整和攻击恢复能力结合在拓扑控制中，为有限的FOVS拓扑控制问题。具体地，我们首先基于满足标称成对相互作用来得出自适应增益调谐方案，这产生了机器人邻域中的相互作用强度的动态平衡。然后，我们通过采用静态输出反馈技术来模拟附加传感器和执行器攻击（或故障）并导出H无限控制协议，保证受攻击（故障）信号引起的误差的界限L2增益。最后，提供了使用ROS Gazebo的仿真结果来支持我们的理论发现。

稳定性和安全性是成功部署自动控制系统的关键特性。作为一个激励示例，请考虑在复杂的环境中自动移动机器人导航。概括到不同操作条件的控制设计需要系统动力学模型，鲁棒性建模错误以及对安全\ newzl {约束}的满意度，例如避免碰撞。本文开发了一个神经普通微分方程网络，以从轨迹数据中学习哈密顿系统的动态。学识渊博的哈密顿模型用于合成基于能量的被动性控制器，并分析其\ emph {鲁棒性}，以在学习模型及其\ emph {Safety}中对环境施加的约束。考虑到系统的所需参考路径，我们使用虚拟参考调查员扩展了设计，以实现跟踪控制。州长国家是一个调节点，沿参考路径移动，平衡系统能级，模型不确定性界限以及违反安全性的距离，以确保稳健性和安全性。我们的哈密顿动力学学习和跟踪控制技术在\修订后的{模拟的己谐和四型机器人}在混乱的3D环境中导航。

Safety critical systems involve the tight coupling between potentially conflicting control objectives and safety constraints. As a means of creating a formal framework for controlling systems of this form, and with a view toward automotive applications, this paper develops a methodology that allows safety conditions-expressed as control barrier functionsto be unified with performance objectives-expressed as control Lyapunov functions-in the context of real-time optimizationbased controllers. Safety conditions are specified in terms of forward invariance of a set, and are verified via two novel generalizations of barrier functions; in each case, the existence of a barrier function satisfying Lyapunov-like conditions implies forward invariance of the set, and the relationship between these two classes of barrier functions is characterized. In addition, each of these formulations yields a notion of control barrier function (CBF), providing inequality constraints in the control input that, when satisfied, again imply forward invariance of the set. Through these constructions, CBFs can naturally be unified with control Lyapunov functions (CLFs) in the context of a quadratic program (QP); this allows for the achievement of control objectives (represented by CLFs) subject to conditions on the admissible states of the system (represented by CBFs). The mediation of safety and performance through a QP is demonstrated on adaptive cruise control and lane keeping, two automotive control problems that present both safety and performance considerations coupled with actuator bounds.

本文研究了控制多机器人系统以自组织方式实现多边形形成的问题。与典型的形成控制策略不同，在该策略中，机器人被转向以满足预定义的控制变量，例如成对距离，相对位置和轴承，本文的最重要思想是通过将控制输入随机输入到一些机器人（说说）（说说） ，组的顶点机器人），其余的遵循的简单原理是向环形图中的两个最近邻居的中点移动，而没有任何外部输入。在我们的问题中，机器人最初分布在飞机上。 Sopalled Vertex机器人负责确定整个编队的几何形状及其整体大小，而其他人则移动，以最大程度地减少两个直接邻居的差异。在第一步中，每个顶点机器人估计其相关链中机器人的数量。用于估计的两种类型的控制输入是使用最新和最后两次瞬间的测量设计设计的。在第二步中，提出了自组织的形成控制法，只有顶点机器人收到外部信息。两种估计策略之间的比较是根据收敛速度和稳健性进行的。在模拟和物理实验中，整个控制框架的有效性得到了进一步验证。

This paper provides an introduction and overview of recent work on control barrier functions and their use to verify and enforce safety properties in the context of (optimization based) safety-critical controllers. We survey the main technical results and discuss applications to several domains including robotic systems.

无人驾驶飞行器（无人机）现在越来越多地进入业余和Com-Mercial用户。最近的研究中提出了几种类型的空域结构，包括几种结构化的自由飞行概念。本文为简单地，分布式协调结构化空域概念中的多变量的动作。这是作为自由飞行问题的制定，包括到目的地线和互际碰撞避免的融合。每个多变电器的目的行是先验的。此外，Lyapunov样功能是精心设计的，并进行了建议的分布式控制的正式分析和证明，表明可以解决自由飞行控制问题。更重要的是，由所提出的控制器，一旦进入另一个的安全区域，多个电源可以尽快远离另一个。给出了模拟和实验表明了所提出的方法的有效性。

通过连续静态状态反馈诱导的任务是在本文中考虑了非线性控制系统中的渐近稳定的杂核轨道。主要动机来自确保在欠抖动的机械系统中对所谓的点对点机动的收敛的问题。即，在其状态控制空间中平滑曲线，这与系统动态一致，并连接两个（线性）稳定的平衡点。该方法使用特定的参数化，以及在机动上的状态投影，以便为此目的结合两个线性化技术：沿轨道的边界的均衡和横向线性化的雅蟒线性化。这允许通过求解半纤维编程问题来计算稳定控制增益。由此产生的非线性控制器同时渐近轨道稳定轨道和最终平衡，是局部LipsChitz连续的时间不变，不需要切换，并且具有熟悉的馈送加上反馈状结构。该方法还通过基于同步函数的参数来互补，用于规划具有一定程度的疏松的机械系统的机械系统。 “蝴蝶”机器人在两点之间的球滚动的非预先生操纵任务的数值模拟证明了合成的功效。

在本文中，我们为采样通信场景中的一类多机器人系统提出了一种反向运动控制器。目标是使一组机器人执行轨迹跟踪{以协调的方式}当通信的采样时间是不可忽略的，破坏标准控制设计的理论收敛保证。鉴于配置空间中可行的期望轨迹，所提出的控制器从采样时间瞬间从系统接收测量，并计算由低级控制器跟踪的机器人的速度引用。我们提出了一个共同设计的反馈加上馈电控制器，具有可提供的稳定性和误差会聚保证，并进一步表明所获得的控制器是可分散的实现的可供选择。我们使用现实模拟器（飞行起重机）的电缆悬挂负荷的协同空中操纵方案中的数值模拟来测试所提出的控制策略。最后，我们将建议的分散控制器与集中式方法进行比较，可通过智能启发式调整反馈增益，并表明它实现了可比性。

由于这些要求的竞争性质，尤其是在一系列的运行速度和条件下，在转向控制中的准确性和误差融合与优美运动的平衡路径与优美的运动具有挑战性。本文表明，考虑滑移对运动学控制，动态控制和转向执行器速率命令的影响的集成多层转向控制器可实现准确且优美的路径。这项工作建立在多层侧滑和基于YAW的模型上，该模型允许派生控制器考虑由于侧滑而引起的误差以及转向命令和优美的侧向运动之间的映射。基于观察者的侧滑估计与运动控制器中的标题误差相结合，以提供前馈滑移补偿。使用基于速度的路径歧管，通过连续变量结构控制器（VSC）来补偿路径以下误差，以平衡优雅的运动和误差收敛。后台动态控制器使用结果偏航率命令来生成转向率命令。高增益观察者（HGO）估计输出反馈控制的侧滑和偏航率。提供了输出反馈控制器的稳定性分析，并解决了峰值。该工作仅针对侧向控制，因此转向控制器可以与其他速度控制器结合使用。现场结果提供了与相关方法的比较，这些方法在不同的复杂情况下证明了具有不同天气条件和扰动的不同复杂情况。

当球体在平面上遵循直线路径时，本文涉及旋转轧制球体的运动规划。由于球体的运动受到直线的约束，因此球体的旋转运动的控制对于收敛到球体的期望配置是必不可少的。在本文中，我们展示了一种基于新的基于几何的规划方法，其基于该非线性系统的全状态描述。首先，提出了运动规划的问题陈述。接下来，我们通过使用Darboux帧运动学开发作为虚拟表面实现的几何控制器。该虚拟表面产生基于弧长的输入，用于控制球体的轨迹。然后，迭代算法旨在调整所需配置的这些输入。模拟验证了所提出的方法的可行性。

Learning-enabled control systems have demonstrated impressive empirical performance on challenging control problems in robotics, but this performance comes at the cost of reduced transparency and lack of guarantees on the safety or stability of the learned controllers. In recent years, new techniques have emerged to provide these guarantees by learning certificates alongside control policies -- these certificates provide concise, data-driven proofs that guarantee the safety and stability of the learned control system. These methods not only allow the user to verify the safety of a learned controller but also provide supervision during training, allowing safety and stability requirements to influence the training process itself. In this paper, we provide a comprehensive survey of this rapidly developing field of certificate learning. We hope that this paper will serve as an accessible introduction to the theory and practice of certificate learning, both to those who wish to apply these tools to practical robotics problems and to those who wish to dive more deeply into the theory of learning for control.

近年来，移动机器人的安全问题引起了人们的关注。在本文中，我们提出了一种智能的物理攻击，通过从外部观察中学习障碍 - 避免机制，将移动机器人置于预设位置。我们作品的显着新颖性在于揭示具有智能和高级设计的基于物理攻击的可能性，可以带来真正的威胁，而没有对系统动态或对内部系统的访问的先验知识。传统网络空间安全中的对策无法处理这种攻击。练习，拟议的攻击的基石是积极探索受害者机器人与环境的复杂相互作用的特征，并学习对其行为的有限观察中表现出的障碍知识。然后，我们提出了最短的路径和手持攻击算法，以从巨大的运动空间中找到有效的攻击路径，从而在路径长度和活动期间分别以低成本实现了驾驶到陷阱目标。证明了算法的收敛性，并进一步得出了攻击性能范围。广泛的模拟和现实生活实验说明了拟议攻击的有效性，招呼未来对机器人系统的物理威胁和防御的研究。

本文考虑了安全协调一个配备传感器的机器人团队的问题，以减少有关动态过程的不确定性，而该过程将使目标消除信息增益和能源成本。优化这种权衡是可取的，但是在机器人轨迹集中导致非占主酮目标函数。因此，基于协调下降的普通多机器人计划者失去了其性能保证。此外，处理非单调性的方法在受到机器人间碰撞避免约束时会失去其性能保证。由于需要保留性能保证和安全保证，这项工作提出了一种分布式计划者的层次结构方法，该方法使用本地搜索，并根据控制屏障功能提供了基于控制屏障功能的当地搜索和分散的控制器，以确保安全并鼓励及时到达传感位置。通过大量的模拟，硬件测试和硬件实验，我们证明了所提出的方法比基于坐标下降的算法在感应和能源成本之间取得更好的权衡。