相关实验视频
Updated: Jun 14, 2025

10:09
Operation of the Collaborative Composite Manufacturing CCM System
Published on: October 1, 2019
6.6K
基于SPIN的线性时间逻辑路径规划,用于在数字高度模型上的运动限制的地面车辆任务
Manuel Toscano-Moreno1, Anthony Mandow1, María Alcázar Martínez1
1Institute for Mechatronics Engineering and Cyber-Physical Systems, Robotics and Mechatronics Group, Universidad de Málaga, 29071 Málaga, Spain.
Sensors (Basel, Switzerland)
|August 29, 2024
概括
这项研究通过将任务目标与运动约束区分开来,简化了在不平坦地形上移动机器人路径的规划. 这种方法显著减少了数字高度模型上复杂任务的计算时间.
科学领域:
- 机器人技术 机器人技术 机器人技术
- 人工智能的人工智能
- 计算机科学 计算机科学
背景情况:
- 线性时间逻辑 (LTL) 确保移动机器人的规划正确性.
- 在不平坦的地形上进行规划需要考虑斜坡穿越性和机动性限制.
- 在数字高度模型 (DEM) 上进行复杂任务的全球LTL属性导致高计算时间.
研究的目的:
- 提出一个系统模型,将无人地面车辆 (UGV) 运动约束与LTL模型检查分开.
- 为了使LTL属性能够仅仅定义路径规划的任务规范.
- 降低基于LTL的路径规划中的计算成本,用于DEM上的UGV.
主要方法:
- 开发了一个包含UGV运动约束的系统模型,允许从LTL模型检查中省略它们.
- 使用LTL合成器进行路径规划,仅使用任务规格.
- 使用简单的Promela解释器 (SPIN) 进行参数化路径规划合成.
- 制定了两个SPIN效率高的一般LTL公式,用于DEM分区上的UGV任务.
主要成果:
- 通过验证实验,在DEM上证明了复杂任务规范的可行性.
- 与基线全球LTL属性方法相比,计算成本大大降低.
- 在合成和现实世界DEM数据上展示了有效性.
结论:
- 拟议的框架有效地处理DEM上的复杂的UGV任务.
- 将运动约束与LTL模型检查分开,大大降低了计算开销.
- 这种方法提高了移动机器人在具有挑战性的地形中基于LTL路径规划的效率.
相关概念视频
Relative Motion Analysis using Rotating Axes-Problem Solving
394
Consider a crane whose telescopic boom rotates with an angular velocity of 0.04 rad/s and angular acceleration of 0.02 rad/s2. Along with the rotation, the boom also extends linearly with a uniform speed of 5 m/s. The extension of the boom is measured at point D, which is measured with respect to the fixed point C on the other end of the boom. For the given instant, the distance between points C and D is 60 meters.
Here, in order to determine the magnitude of velocity and acceleration for point...
Here, in order to determine the magnitude of velocity and acceleration for point...
394
Absolute Motion Analysis- General Plane Motion
218
Visualize a drone, with its propellers spinning rapidly, hovering mid-air. The fascinating movements and operations of this drone can be comprehended by applying the principle of general plane motion.
As the drone's propellers rotate, an upward force is generated that counteracts the force of gravity, enabling the drone to lift off from the ground. This initial movement of the drone is along a straight path, representing a form of translational motion. In this phase, every point on the...
As the drone's propellers rotate, an upward force is generated that counteracts the force of gravity, enabling the drone to lift off from the ground. This initial movement of the drone is along a straight path, representing a form of translational motion. In this phase, every point on the...
218
Kinematic Equations: Problem Solving
12.0K
When analyzing one-dimensional motion with constant acceleration, the problem-solving strategy involves identifying the known quantities and choosing the appropriate kinematic equations to solve for the unknowns. Either one or two kinematic equations are needed to solve for the unknowns, depending on the known and unknown quantities. Generally, the number of equations required is the same as the number of unknown quantities in the given example. Two-body pursuit problems always require two...
12.0K
Planar Rigid-Body Motion
414
Understanding the movement of a rigid body in planar motion involves recognizing that every particle within this body is traversing a path that maintains a consistent distance from a specific plane. This concept is fundamental in the study of physics and mechanical engineering, and it allows us to comprehend better how objects move in space.
Planar motion is typically divided into three distinct categories. The first is rectilinear translation, demonstrated by a subway train that moves along...
Planar motion is typically divided into three distinct categories. The first is rectilinear translation, demonstrated by a subway train that moves along...
414
Design Example: Alignment of a Road Line Using GIS
47
The alignment of a road line using Geographic Information Systems (GIS) is a critical process in civil engineering, combining advanced technology with practical decision-making. This methodology begins with the collection of geospatial data, including information on land cover, geomorphology, drainage patterns, slope, and contour details. Such data is typically acquired through satellite imagery and GIS tools, offering a comprehensive understanding of the terrain.Once the data is gathered, it...
47
Equation of Motion: General Plane motion - Problem Solving
173
Consider a lawn roller with a mass of 100 kg, a radius of 0.2 meters, and a radius of gyration of 0.15 meters. A force of 200 N is applied to this roller, angled at 60 degrees from the horizontal plane. What will be the angular acceleration of the lawn roller?
The friction between the roller and the ground is characterized by two coefficients. The static friction coefficient is 0.15, while the kinetic friction coefficient is 0.1. These values are crucial in understanding the interaction between...
The friction between the roller and the ground is characterized by two coefficients. The static friction coefficient is 0.15, while the kinetic friction coefficient is 0.1. These values are crucial in understanding the interaction between...
173

