Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Ground autonomous mobile robot safety navigation method based on formal description

A technology of formal description and navigation method, which is applied in the field of combination of robot navigation and hybrid system formal verification, can solve problems such as hybrid systems, and achieve the effect of complete security

Active Publication Date: 2017-05-17
EAST CHINA NORMAL UNIV
View PDF11 Cites 10 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In the past research, researchers have proposed many navigation methods, such as artificial test field method, random path planning method, grid method, A * / D * methods, but these methods have not fully verified the safety properties of navigation systems from the perspective of hybrid systems

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Ground autonomous mobile robot safety navigation method based on formal description
  • Ground autonomous mobile robot safety navigation method based on formal description
  • Ground autonomous mobile robot safety navigation method based on formal description

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0040] A method for robot autonomous safe navigation based on formal description, comprising the following steps:

[0041] Step 1: Abstract modeling of the robot navigation system, and formalize the safety properties that it needs to meet; Step 2: Use formal language to describe the robot safety navigation algorithm;

[0042] Step 3: Establish the state transition model of the robot navigation system, and determine the safety property at any time through formal calculation

[0043] control input, and predict and update the motion state of the robot.

[0044] Further, the process of step 1 is as follows:

[0045] 1) The trajectory of the abstract robot is a segmented straight line, and the motion state model of the robot is:

[0046]

[0047] In the formula Indicates the position of the robot in the two-dimensional plane, and Respectively Components in the x, y direction;

[0048] In the formula Indicates the speed of the robot in the two-dimensional plane, v ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention provides a ground autonomous mobile robot safety navigation method based on formal description. An abstract model of an autonomous robot navigation system is established, a formal method is used to describe a robot safety navigation algorithm, safety constraints of the navigation system are analyzed, and the algorithm is solved and verified under the constraints. The system model is established on the basis of a robot omnidirectional movement platform, the provided autonomous navigation algorithm follows restrictions of passive friendly safety, and the formal method is used to resolve control input to be verified in the navigation system. The effective robot autonomous navigation algorithm is provided, and differential dynamic logics are used to solve safety control input of next moment according to the present operation state of the system. The method can be applied to the autonomous navigation system of the robot, and the completeness of a safety mechanism of the navigation system is ensured.

Description

technical field [0001] The invention relates to the field of combination of robot navigation and hybrid system formal verification, in particular to a method for robot autonomous safe navigation based on formal description. Background technique [0002] Robot Safety Navigation (Robot Safety Navigation) technology is used to detect the collision danger of the robot system in the dynamic unstructured environment, solve the path planning problem encountered by the robot in the autonomous movement, and realize the collision-free navigation of the robot in complex scenes. Robot safety navigation technology, as the key technology of autonomous mobile robot, is based on the control architecture of mobile robot. According to whether the number of controllable variables in the system is smaller than the dimension of its attitude space, it can be divided into holonomic system motion planning and nonholonomic system motion planning, and the system path planning based on kinematic const...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G05D1/02G01C21/20
CPCG01C21/20G05D1/0214G05D1/0223
Inventor 张新宇张曼妮
Owner EAST CHINA NORMAL UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com