Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Relative Motion Analysis using Rotating Axes-Problem Solving01:29

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...
394
Absolute Motion Analysis- General Plane Motion01:24

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...
218
Kinematic Equations: Problem Solving01:15

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 Motion01:22

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...
414
Design Example: Alignment of a Road Line Using GIS01:17

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 Solving01:16

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...
173

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

The IoRT-in-Hand: Tele-Robotic Echography and Digital Twins on Mobile Devices.

Sensors (Basel, Switzerland)·2025
Same author

Adaptive Model Predictive Control for 4WD-4WS Mobile Robot: A Multivariate Gaussian Mixture Model-Ant Colony Optimization for Robust Trajectory Tracking and Obstacle Avoidance.

Sensors (Basel, Switzerland)·2025
Same author

Enabling Remote Responder Bio-Signal Monitoring in a Cooperative Human-Robot Architecture for Search and Rescue.

Sensors (Basel, Switzerland)·2023
Same author

Dataset with Tactile and Kinesthetic Information from a Human Forearm and Its Application to Deep Learning.

Sensors (Basel, Switzerland)·2022
Same author

Automatically Annotated Dataset of a Ground Mobile Robot in Natural Environments via Gazebo Simulations.

Sensors (Basel, Switzerland)·2022
Same author

Metaheuristic Parameter Identification of Motors Using Dynamic Response Relations.

Sensors (Basel, Switzerland)·2022

Related Experiment Video

Updated: Jun 14, 2025

Operation of the Collaborative Composite Manufacturing CCM System
10:09

Operation of the Collaborative Composite Manufacturing CCM System

Published on: October 1, 2019

6.6K

SPIN-Based Linear Temporal Logic Path Planning for Ground Vehicle Missions with Motion Constraints on Digital

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
PubMed
Summary

This study simplifies mobile robot path planning on uneven terrain by separating mission goals from motion constraints. This approach significantly reduces computation time for complex tasks on digital elevation models.

Keywords:
SPINdigital elevation modellinear temporal logicmission specificationpath planninguncrewed ground vehicleuneven terrain

More Related Videos

Kinematic History of a Salient-recess Junction Explored through a Combined Approach of Field Data and Analog Sandbox Modeling
06:55

Kinematic History of a Salient-recess Junction Explored through a Combined Approach of Field Data and Analog Sandbox Modeling

Published on: August 5, 2016

8.2K
Trajectory Data Analyses for Pedestrian Space-time Activity Study
16:14

Trajectory Data Analyses for Pedestrian Space-time Activity Study

Published on: February 25, 2013

13.5K

Related Experiment Videos

Last Updated: Jun 14, 2025

Operation of the Collaborative Composite Manufacturing CCM System
10:09

Operation of the Collaborative Composite Manufacturing CCM System

Published on: October 1, 2019

6.6K
Kinematic History of a Salient-recess Junction Explored through a Combined Approach of Field Data and Analog Sandbox Modeling
06:55

Kinematic History of a Salient-recess Junction Explored through a Combined Approach of Field Data and Analog Sandbox Modeling

Published on: August 5, 2016

8.2K
Trajectory Data Analyses for Pedestrian Space-time Activity Study
16:14

Trajectory Data Analyses for Pedestrian Space-time Activity Study

Published on: February 25, 2013

13.5K

Area of Science:

  • Robotics
  • Artificial Intelligence
  • Computer Science

Background:

  • Linear Temporal Logic (LTL) ensures mobile robot planning correctness.
  • Planning on uneven terrain requires considering slope traversability and maneuverability constraints.
  • Global LTL properties for complex missions on Digital Elevation Models (DEMs) lead to high computation times.

Purpose of the Study:

  • To propose a system model that separates Uncrewed Ground Vehicle (UGV) motion constraints from LTL model checking.
  • To enable LTL properties to solely define mission specifications for path planning.
  • To reduce computational cost in LTL-based path planning for UGVs on DEMs.

Main Methods:

  • Developed a system model incorporating UGV motion constraints, allowing their omission from LTL model checking.
  • Utilized an LTL synthesizer for path planning with mission specifications only.
  • Parameterized path planning synthesis using the Simple Promela Interpreter (SPIN).
  • Formulated two SPIN-efficient general LTL formulas for UGV missions on DEM partitions.

Main Results:

  • Demonstrated feasibility for complex mission specifications on DEMs through validation experiments.
  • Achieved significant reduction in computation cost compared to a baseline global LTL property approach.
  • Showcased effectiveness on both synthetic and real-world DEM data.

Conclusions:

  • The proposed framework effectively handles complex UGV missions on DEMs.
  • Separating motion constraints from LTL model checking drastically reduces computational overhead.
  • This method enhances the efficiency of LTL-based path planning for mobile robots in challenging terrains.