Using machine vision for meter reading significantly enhances the efficiency of industrial monitoring. However, meters in outdoor environment are often subject to the noise such as rain and fog, which affect the accur...
详细信息
Automatic defect detection on wood surface is essential for ensuring product quality. Semantic segmentation methods have shown outstanding performance in wood defect detection. However, it is costly to acquire correct...
详细信息
In this paper, we consider the multi-agent path planning problem for high-level tasks with finite horizons. In many situations, there is the need to count how many times a sub-task is satisfied in order to achieve the...
详细信息
ISBN:
(数字)9798350358513
ISBN:
(纸本)9798350358520
In this paper, we consider the multi-agent path planning problem for high-level tasks with finite horizons. In many situations, there is the need to count how many times a sub-task is satisfied in order to achieve the overall task. However, existing temporal logic languages, such as linear temporal logic, may not be efficient in describing such requirements. To address this issue, we propose a new temporal logic language called Counting Time Temporal Logic (CTTL) that extends linear temporal logic by explicitly counting the number of times that some tasks are satisfied. To solve the CTTL path planning problem, we use integer linear programming to encode the satisfaction of the task. We demonstrate that our approach is both sound and complete. To validate our results, we present numerical experiments to show the scalability of the proposed approach. Furthermore, we provide a simulation case study of a team of autonomous robots to illustrate the synthesis procedure.
Different from the traditional warehousing system, in the multi-AGV warehouse scheduling controlsystem, the constraints of poor connectivity of the conveying track have led to the emergence of urgent problems such as...
详细信息
The development of the Industrial Internet of Things (IIoT) is increasingly relying on the low-latency and low-jitter information exchange. Time-Sensitive Networking (TSN) guarantees the deterministic transmission by ...
详细信息
In urban driving scenarios,owing to the presence of multiple static obstacles such as parked cars and roadblocks,planning a collision-free and smooth path remains a challenging *** addition,the path-planning problem i...
详细信息
In urban driving scenarios,owing to the presence of multiple static obstacles such as parked cars and roadblocks,planning a collision-free and smooth path remains a challenging *** addition,the path-planning problem is mostly non-convex,and contains multiple local ***,a method for combining a sampling-based method and an optimization-based method is proposed in this paper to generate a collision-free path with kinematic constraints for urban *** sampling-based method constructs a search graph to search for a seeding path for exploring a safe driving corridor,and the optimization-based method constructs a quadratic programming problem considering the desired state constraints,continuity constraints,driving corridor constraints,and kinematic constraints to perform path *** experimental results show that the proposed method is able to plan a collision-free and smooth path in real time when managing typical urban scenarios.
The Temporal Knowledge Graph(TKG) reasoning is an imperative task for various applications of TKG. However, reasoning over TKGs which aims to predict future facts has been less explored. Intuitively, entities and rela...
详细信息
RNA-binding proteins (RBPs) are essential for gene expression, and the complex RNA-protein interaction mechanisms require analysis of global RNA information. Therefore, accurate prediction of RBP binding sites on full...
详细信息
The distributed identification of network systems under local observation has recently become one of the research hot spots. Due to the unobservable influence of other subsystems and the noise, it is difficult for loc...
详细信息
Path following refers to traveling along the desired path with automatic steering control,which is a crucial technology for automatic driving *** in private areas are highly irregular,resulting in a large curvature va...
详细信息
Path following refers to traveling along the desired path with automatic steering control,which is a crucial technology for automatic driving *** in private areas are highly irregular,resulting in a large curvature variation,which reduces the control accuracy of the path following.A curvature adaptive control(CAC)based path-following method was proposed to solve the problem mentioned ***,CAC takes advantage of the complementary characteristics in response to the path curvature fluctuation of pure pursuit and front-wheel feedback and by combining the two methods further enhances the immunity of the control accuracy in response to a curvature *** CAC,the quantitative indices of the path curvature fluctuation and control accuracy were *** model between the path curvature fluctuation and a dynamic parameter was identified using the quantitative index of the control accuracy as the optimization *** experimental results of a real vehicle indicate that the control accuracy of path following is further enhanced by its immunity in response to curvature fluctuation improved by the *** addition,CAC is easy to deploy and requires low demand for hardware resources.
暂无评论