Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …
systems. By employing mathematically rigorous techniques, formal methods can provide …
Comparative analysis of reinforcement learning algorithms for bipedal robot locomotion
In this research, an optimization methodology was introduced for improving bipedal robot
locomotion controlled by reinforcement learning (RL) algorithms. Specifically, the study …
locomotion controlled by reinforcement learning (RL) algorithms. Specifically, the study …
Online motion planning with soft metric interval temporal logic in unknown dynamic environment
Motion planning of an autonomous system with high-level specifications has wide
applications. However, research of formal languages involving timed temporal logic is still …
applications. However, research of formal languages involving timed temporal logic is still …
Observer-based aperiodic time-triggered intermittent control for exponential consensus of multi-agent systems
X Xu, Q Wang, B Fu, L Wang - IEEE Access, 2025 - ieeexplore.ieee.org
In this paper, an observer-based aperiodic time-triggered intermittent control protocol
(OATICP) is explored for the exponential consensus of multi-agent systems (MASs). The …
(OATICP) is explored for the exponential consensus of multi-agent systems (MASs). The …