CPS anti-collision control method based on differential dynamic logic

Abstract

The invention is advantageous in that modeling and safety anti-collision decision verification based on dL can be conducted, and the best decision command can be dynamically obtained; the safety of acertain time or a continuous or non-continuous time period of the system can be predicted; the method is good in prediction and flexibility and system simplification.

Description

technical field [0001] The invention belongs to the field of intelligent navigation automatic control of CPS technology, and mainly relates to a CPS anti-collision control method based on differential dynamic logic. Background technique [0002] At present, the anti-collision technology adopted by most or even all means of transportation cannot be more intelligent for safety prediction and flexible navigation of possible collision accidents. In addition, various factors such as weather or human factors lead to frequent collision accidents. Our life safety has been threatened, and also caused great economic losses, so a more intelligent CPS anti-collision control method based on differential dynamic logic (dL) is very important. For example, the anti-collision equipment such as radar or Beidou navigation used by some ships is not effective and cannot be automatically controlled. At the same time, because of the long delay time of the system and the relatively large mass and i...

AI Technical Summary

Problems solved by technology

[0003] Purpose of the invention: In order to overcome the deficiencies in the prior art and aim at the problem that the driver fails to avoid collision in time due to various factors such as weather or human factors during driving, provide a predictive, flexible, and simplified instruction system. CPS anti-collision control method based on differential dynamic logic

Images