Picture for Zhiyong Sun

Zhiyong Sun

Distributed Kalman Filter with Ultimately Accurate Fused Measurement Covariance

Add code
Apr 11, 2025
Viaarxiv icon

Risk-Aware Autonomous Driving for Linear Temporal Logic Specifications

Add code
Sep 15, 2024
Figure 1 for Risk-Aware Autonomous Driving for Linear Temporal Logic Specifications
Figure 2 for Risk-Aware Autonomous Driving for Linear Temporal Logic Specifications
Figure 3 for Risk-Aware Autonomous Driving for Linear Temporal Logic Specifications
Figure 4 for Risk-Aware Autonomous Driving for Linear Temporal Logic Specifications
Viaarxiv icon

VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications

Add code
Sep 14, 2024
Figure 1 for VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
Figure 2 for VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
Figure 3 for VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
Figure 4 for VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
Viaarxiv icon

A Comparative Study of Artificial Potential Fields and Safety Filters

Add code
Mar 23, 2024
Viaarxiv icon

Unifying Controller Design for Stabilizing Nonlinear Systems with Norm-Bounded Control Inputs

Add code
Mar 05, 2024
Figure 1 for Unifying Controller Design for Stabilizing Nonlinear Systems with Norm-Bounded Control Inputs
Figure 2 for Unifying Controller Design for Stabilizing Nonlinear Systems with Norm-Bounded Control Inputs
Figure 3 for Unifying Controller Design for Stabilizing Nonlinear Systems with Norm-Bounded Control Inputs
Viaarxiv icon

Coordinated Guiding Vector Field Design for Ordering-Flexible Multi-Robot Surface Navigation

Add code
Jan 25, 2024
Figure 1 for Coordinated Guiding Vector Field Design for Ordering-Flexible Multi-Robot Surface Navigation
Figure 2 for Coordinated Guiding Vector Field Design for Ordering-Flexible Multi-Robot Surface Navigation
Figure 3 for Coordinated Guiding Vector Field Design for Ordering-Flexible Multi-Robot Surface Navigation
Figure 4 for Coordinated Guiding Vector Field Design for Ordering-Flexible Multi-Robot Surface Navigation
Viaarxiv icon

Quadrotor Stabilization with Safety Guarantees: A Universal Formula Approach

Add code
Jan 07, 2024
Viaarxiv icon

An alternating peak-optimization method for optimal trajectory generation of quadrotor drones

Add code
Dec 05, 2023
Viaarxiv icon

CircleFormer: Circular Nuclei Detection in Whole Slide Images with Circle Queries and Attention

Add code
Aug 31, 2023
Figure 1 for CircleFormer: Circular Nuclei Detection in Whole Slide Images with Circle Queries and Attention
Figure 2 for CircleFormer: Circular Nuclei Detection in Whole Slide Images with Circle Queries and Attention
Figure 3 for CircleFormer: Circular Nuclei Detection in Whole Slide Images with Circle Queries and Attention
Figure 4 for CircleFormer: Circular Nuclei Detection in Whole Slide Images with Circle Queries and Attention
Viaarxiv icon

Risk-Aware Reward Shaping of Reinforcement Learning Agents for Autonomous Driving

Add code
Jun 05, 2023
Viaarxiv icon