已发表成果:
WOK 论文 32 篇;中文核心 1 篇;
Sparsity in transformers: A systematic literature review
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
Dfp-Unet: A Biomedical Image Segmentation Method Based on Deformable Convolution and Feature Pyramid
Gait Stability Control of Quadruped Robot by Composite Nonlinear Feedback and Model Predictive Control
How Chinese Women Cope with Physical and Psychological Traumas in Gynecological Examinations: A Situational Analysis of Patients' Communicative Accommodations
Adaptive optimal output regulation of unknown linear continuous-time systems by dynamic output feedback and value iteration
Multi-Frame Self-Supervised Depth Estimation with Multi-Scale Feature Fusion in Dynamic Scenes
Data-driven cooperative optimal output regulation for linear discrete-time multi-agent systems by online distributed adaptive internal model approach
Composite nonlinear feedback control for cooperative output regulation of linear multi-agent systems by a distributed dynamic compensator
Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition
Backstepping Design for Circular Formation Control of Dynamic Nonholonomic Vehicles
Optimal Multi-agent Collision-Free Path Planning with?Temporal Logic Constraints
Formation Control of Networked Mobile Robots With Unknown Reference Orientation
Semantic-Guided Selective Representation for Image Captioning
A Formal Control Framework of Autonomous Vehicle for Signal Temporal Logic Tasks and Obstacle Avoidance
Distributed Nash Equilibrium Seeking Over Random Graphs
Optimal output regulation for unknown continuous-time linear systems by internal model and adaptive dynamic programming
Reaching global leaderless consensus in directed networks via smooth and bounded control
Quantized feedback control of linear system with performance barrier
Early-Awareness Collision Avoidance in Optimal Multi-Agent Path Planning With Temporal Logic Specifications
Bearing-Only Formation Control of Nonholonomic Mobile Agents With Local Reference Frames
Adaptive Visual Servoing Trajectory Tracking Control of Nonholonomic Mobile Robot With Position Estimation
Decentralized Circular Formation Control of Nonholonomic Mobile Robots Under a Directed Sensor Graph
Distributed Optimization Design of Multi-Agent Systems with Nonidentical Packet Losses
Cooperative Target Enclosing Control of Multiple Mobile Robots Subject to Input Disturbances
Moving-Target Enclosing Control for Mobile Agents With Collision Avoidance
Finite-Time Cooperative Control for Bearing-Defined Leader-Following Formation of Multiple Double-Integrators
Distributed Rendezvous Control of Networked Uncertain Robotic Systems with Bearing Measurements
Tracking Control of an Unknown Linear System for a Fragment of Signal Temporal Logic Task
Distributed Entrapping Control of Multiple Second-order Mobile Agents Under a Directed Network
Distributed Leader-following Formation Control for Mobile Robots with Unknown Amplitudes of Leader's Velocity
基于偏置采样和包围优化的移动机器人路径规划方法
厦门大学学报(自然科学版),0438-0479,2022-11-28.