SearcharxivSearch

arXiv subjects

Zhe Shen

Publications and source records attributed to Zhe Shen.

At least 19 recordsLinked to original sources

On-the-Fly3R: Towards Robust Online 3D Reconstruction with Feed-Forward 3R Models for Large-Scale UAV Scenarios

While feed-forward 3D reconstruction (3R) offers efficient end-to-end modeling, its application in large-scale UAV mapping is hindered by the prohibitive memory cost of Transformer attention. Current scalable streaming 3R methods assume temporally and spatially continuous inputs, rendering them ineffective for the weakly ordered or unordered image streams common in cross-strip UAV operations. To address this, we propose On-the-Fly3R, a training-free, progressive online 3D reconstruction framework for large-scale UAV images that upgrades various 3R backbones for large-scale UAV scenarios. Our method enables reconstruction from unordered inputs via retrieval-guided dynamic subset construction, which adaptively selects spatially relevant images. To further improve the robustness, a validation-rejection-retry mechanism is designed to guarantee global consistency, performing a pre-integration consistency check and automatically rejecting misaligned images and retrying with alternative subset. Finally, inspired by VSLAM, pose graph optimization based on the retrieval loop closure is employed to mitigate camera drift. Evaluations on several UAV benchmarks show that our On-the-Fly3R successfully scales various 3R models to over 5,000 images across square-kilometer UAV scenes, delivering substantially superior accuracy compared to several SOTA streaming 3R methods. Code is available at https://github.com/Sh1nZzz/On_the_Fly3R

cs.CV

Learning Stability Certificate for Robotics in Real-World Environments

Stability certificates play a critical role in ensuring the safety and reliability of robotic systems. However, deriving these certificates for complex, unknown systems has traditionally required explicit knowledge of system dynamics, often making it a daunting task. This work introduces a novel framework that learns a Lyapunov function directly from trajectory data, enabling the certification of stability for autonomous systems without needing detailed system models. By parameterizing the Lyapunov candidate using a neural network and ensuring positive definiteness through Cholesky factorization, our approach automatically identifies whether the system is stable under the given trajectory. To address the challenges posed by noisy, real-world data, we allow for controlled violations of the stability condition, focusing on maintaining high confidence in the stability certification process. Our results demonstrate that this framework can provide data-driven stability guarantees, offering a robust method for certifying the safety of robotic systems in dynamic, real-world environments. This approach works without access to the internal control algorithms, making it applicable even in situations where system behavior is opaque or proprietary. The tool for learning the stability proof is open-sourced by this research: https://github.com/HansOersted/stability.

cs.RO

The First Open-Source Framework for Learning Stability Certificates from Data

Before 2025, no open-source system existed that could learn Lyapunov stability certificates directly from noisy, real-world flight data. This work addresses that gap by proposing a data-driven approach that learns Lyapunov functions from trajectory data under realistic, noise-corrupted conditions. Unlike statistical anomaly detectors that only flag deviations, the proposed method assesses whether the system can still be certified as stable. Applied to public data from the 2024 SAS severe turbulence incident, this framework revealed that, within 60 seconds of the aircraft's descent becoming abnormal, no Lyapunov function could be constructed to certify system stability. To the best of our knowledge, this is also the first application of a data-driven Lyapunov-based stability verification method to real civil aviation data, achieved without any access to proprietary controller logic. The proposed framework is open-sourced and available at: https://github.com/HansOersted/stability

eess.SY

Towards Data-Driven Model-Free Safety-Critical Control

This paper presents a framework for enabling safe velocity control of general robotic systems using data-driven model-free Control Barrier Functions (CBFs). Model-free CBFs rely on an exponentially stable velocity controller and a design parameter (e.g. alpha in CBFs); this design parameter depends on the exponential decay rate of the controller. However, in practice, the decay rate is often unavailable, making it non-trivial to use model-free CBFs, as it requires manual tuning for alpha. To address this, a Neural Network is used to learn the Lyapunov function from data, and the maximum decay rate of the systems built-in velocity controller is subsequently estimated. Furthermore, to integrate the estimated decay rate with model-free CBFs, we derive a probabilistic safety condition that incorporates a confidence bound on the violation rate of the exponential stability condition, using Chernoff bound. This enhances robustness against uncertainties in stability violations. The proposed framework has been tested on a UR5e robot in multiple experimental settings, and its effectiveness in ensuring safe velocity control with model-free CBFs has been demonstrated.

eess.SY

Optical tweezers with optical vortex based on deep learning

Optical tweezers (OTs) with structured light expand degrees of freedom of particle manipulation. However, the studies of structured optical tweezers are usually accompanied by complex theoretical models, strict simulation conditions, and uncertain experimental factors, which may bring about high time costs and insufficiently precise results. In this work, we proposed a bidirectional neural network model for the analysis and design of OTs with optical vortices (OVs) as a typical structured light beam. In analyzing optical forces, the network can achieve over 98% accuracy and improve computational efficiency by more than 20 times. In further analyzing particle trajectories, the network can also achieve over 95.5% accuracy. Meanwhile, in OTs with OV-like beams, our network can still predict particle motion behavior with a high accuracy of up to 96.2%. Our network can inversely design optical vortex tweezers on demand with 95.4% accuracy. In addition, the experimental results in OTs with plasmonic vortex can be analyzed by the proposed model, which can be used to achieve arbitrary optical manipulation. Our work demonstrates that the proposed deep learning network can provide an effective algorithmic platform for the analysis and design of OTs, and is expected to promote the application of OTs in biomedicine.

physics.optics

The optical generation and continuous transformation of plasmonic skyrmions

Topological quasiparticles, including skyrmions and merons, are topological textures with sophisticated vectorial structures that can be used for high-density information storage, precision metrology, position sensing, etc. Here, we realized the optical generation and continuous transformation of plasmonic field skyrmions. We generated the isolated N\'eel-type skyrmion using surface plasmon polaritons (SPPs) excited by a focused structured light on a silver film. We used a square and a hexagonal aperture for symmetry constraints and successfully generated the meron lattice and the skyrmion lattice. We unveiled the mechanism of topological texture generation and transformation and optimized the distribution of skyrmion and meron topologies. We further demonstrated the continuous transformation among the isolated skyrmion, the meron lattice, and the skyrmion lattice using well-designed circular-fourfold, circular-sixfold, and fourfold-sixfold symmetry apertures, respectively. This work can open up a pathway for the generation and transformation of skyrmion and meron topologies, which is expected to facilitate new applications in optical information storage and encoding.

physics.optics

Generalized Two Color Map Theorem -- Complete Theorem of Robust Gait Plan for a Tilt-rotor

Gait plan is a procedure that is typically applied on the ground robots, e.g., quadrupedal robots; the tilt-rotor, a novel type of quadrotor with eight inputs, is not one of them. While controlling the tilt-rotor relying on feedback linearization, the tilting angles (inputs) are expected to change over-intensively, which may not be expected in the application. To help suppress the intensive change in the tilting angles, a gait plan procedure is introduced to the tilt-rotor before feedback linearization. The tilting angles are specified with time in advance by users rather than given by the control rule. However, based on this scenario, the decoupling matrix in feedback linearization can be singular for some attitudes, combinations of roll angle and pitch angle. It hinders the further application of the feedback linearization. With this concern, Two Color Map Theorem is established to maximize the acceptable attitude region, where the combinations of roll and pitch will give an invertible decoupling matrix. That theorem, however, over-restricts the choice of the tilting angles, which can rule out some feasible robust gaits. This paper gives the generalized Two Color Map Theorem; all the robust gaits can be found based on this generalized theorem. The robustness of three gaits that satisfy this generalized Two Color Map Theorem (while violating Two Color Map Theorem) are analyzed. The results show that Generalized Two Color Map Theorem completes the search for the robust gaits for a tilt-rotor.

cs.RO

Advanced Feedback Linearization Control for Tiltrotor UAVs: Gait Plan, Controller Design, and Stability Analysis

Three challenges, however, can hinder the application of Feedback Linearization: over-intensive control signals, singular decoupling matrix, and saturation. Activating any of these three issues can challenge the stability proof. To solve these three challenges, first, this research proposed the drone gait plan. The gait plan was initially used to figure out the control problems in quadruped (four-legged) robots; applying this approach, accompanied by Feedback Linearization, the quality of the control signals was enhanced. Then, we proposed the concept of unacceptable attitude curves, which are not allowed for the tiltrotor to travel to. The Two Color Map Theorem was subsequently established to enlarge the supported attitude for the tiltrotor. These theories were employed in the tiltrotor tracking problem with different references. Notable improvements in the control signals were witnessed in the tiltrotor simulator. Finally, we explored the control theory, the stability proof of the novel mobile robot (tilt vehicle) stabilized by Feedback Linearization with saturation. Instead of adopting the tiltrotor model, which is over-complicated, we designed a conceptual mobile robot (tilt-car) to analyze the stability proof. The stability proof (stable in the sense of Lyapunov) was found for a mobile robot (tilt vehicle) controlled by Feedback Linearization with saturation for the first time. The success tracking result with the promising control signals in the tiltrotor simulator demonstrates the advances of our control method. Also, the Lyapunov candidate and the tracking result in the mobile robot (tilt-car) simulator confirm our deductions of the stability proof. These results reveal that these three challenges in Feedback Linearization are solved, to some extents.

cs.RO

The Robust Gait of a Tilt-rotor and Its Application to Tracking Control -- Application of Two Color Map Theorem

Rylls tilt-rotor is a UAV with eight inputs; the four magnitudes of the thrusts as well as four tilting angles of the thrusts can be specified in need, e.g., based on a control rule. Despite of the success in simulation, conventional feedback linearization witnesses the over-intensive change in the inputs while applying to stabilize Rylls tilt-rotor. Our previous research thus put the extra procedure named gait plan forward to suppress the unexpected changes in the tilting angles. Accompanying the Two Color Map Theorem, the tilting-angles are planned robustly and continuously. The designed gaits are robust to the change of the attitude. However, this is not a complete theory before further applying to the tracking simulation test. This paper further discusses some gaits following the Two Color Map Theorem and simulates a tracking problem for a tilt-rotor. A uniform circular moving reference is designed to be tracked by the tilt-rotor equipped with the designed robust gait and the feedback linearization controller. The gaits satisfying Two Color Map Theorem show the robustness. The results from the simulation show the success in tracking of the tilt-rotor.

cs.RO

Four-dimensional Gait Surfaces for A Tilt-rotor -- Two Color Map Theorem

This article presents the four-dimensional surfaces which instruct the gait plan for a tilt-rotor. The previous gaits analyzed in the tilt-rotor research are inspired by animals; no theoretical base backs the robustness of these gaits. This research deduces the gaits by diminishing the effect of the attitude of the tilt-rotor for the first time. Four-dimensional gait surfaces are subsequently found, on which the gaits are expected to be robust to the attitude. These surfaces provide the region where the gait is suggested to be planned. However, a discontinuous region may hinder the gait plan process while utilizing the proposal gait surfaces. A Two Color Map Theorem is then established to guarantee the continuity of each gait designed. The robustness of the typical gaits obeying the Two Color Map Theorem and on the gait surface is demonstrated by comparing the singular curve in attitude with the gaits not on the gait surface. The result shows that the acceptable attitudes enlarge for the gaits on the gait surface.

cs.RO

Feedback Linearization Based Tracking Control of A Tilt-rotor with Cat-trot Gait Plan

With the introduction of the laterally bounded forces, the tilt-rotor gains more flexibility in the controller design. Typical feedback linearization methods utilize all the inputs in controlling this vehicle; the magnitudes as well as the directions of the thrusts are maneuvered simultaneously based on a unified control rule. Although several promising results indicate that these controllers may track the desired complicated trajectories, the tilting angles are required to change relatively fast or in large scale during the flight, which turns to be a challenge in application. The recent gait plan for a tilt-rotor may solve this problem; the tilting angles are fixed or vary in a predetermined pattern without being maneuvered by the control algorithm. Carefully avoiding the singular decoupling matrix, several attitudes can be tracked without changing the tilting angles frequently. While the position was not directly regulated in that research, which left the position-tracking still an open question. In this research, we elucidate the coupling relationship between the position and the attitude. Based on this, we design the position-tracking controller, adopting feedback linearization. A cat-trot gait is further designed for a tilt-rotor to track the reference; three types of references are designed for our tracking experiments: setpoint, uniform rectilinear motion, and uniform circular motion. The significant improvement with less steady state error is witnessed after equipping with our modified attitude-position decoupler. It is also found that the frequency of the cat-trot gait highly influenced the steady state error.

cs.RO

State Drift and Gait Plan in Feedback Linearization Control of A Tilt Vehicle

To stabilize a conventional quadrotor, simplified equivalent vehicles, e.g., autonomous car, are developed to test the designed controller. Based on that, various controllers based on feedback linearization have been developed. With the recently developed concept of tilt-rotor, there lacks the simplified or equivalent model, however. Indeed, the tilt structure is relatively unusual in vehicles. In this research, we put forward a unique fictional vehicle with tilt structure, which is to help evaluate the property of the tilt-structure-aimed controllers. One phenomenon, state drift, in controlling an over-actuated tilt structure by feedback linearization is presented subsequently. State drift can be easily neglected and is not paid attention to in the current researches in tilt-rotor controller design so far. We report this phenomenon and provide a potential approach to avoid this behavior.

eess.SY

Cat-inspired Gaits for A Tilt-rotor -- from Symmetrical to Asymmetrical

Among the tilt-rotors (quadrotors) developed in the last decades, Rylls model with eight inputs (four magnitudes of the thrusts and four tilting angles) attracted great attention. Typical feedback linearization maneuvers all the eight inputs with a united control rule to stabilize this tilt-rotor. Instead of assigning the tilting angles by the control rule, the recent research predetermined the tilting angles and left the magnitudes of the thrusts the only control signals. These tilting angles are designed to mimic the cat-trot gait, avoiding the singular decoupling matrix feedback linearization. To complete the discussions of the cat-gaits inspired tilt-rotor gaits, this research addresses the analyses on the rest of the common cat gaits, walk, run, transverse gallop, and rotary gallop. It is found that the singular decoupling matrix exist in walk gait and rotary gallop. Further modifications are conducted to these two gaits to accommodate the application of feedback linearization. The modified gaits with different periods are then applied to the tilt-rotor in tracking experiments, in which the references are uniform rectilinear motion and uniform circular motion. All the experiments are simulated in Simulink, MATLAB. The result shows that.

cs.RO

Gait Analysis for A Tilt-rotor: The Dynamic Invertible Gait

Conventional Feedback-Linearization-based controller, applied to the tilt-rotor (eight inputs), results in the extensive changes in the tilting angles, which are not expected in practice. To solve this problem, we introduce the novel concept UAV gait to restrict the tilting angles. The gait plan was initially to solve the control problems for quadruped (four-legged) robots. Transplanting this approach, accompanied by feedback linearization, to the tiltrotor may cause the well-known non-invertible problem in the decoupling matrix. In this research, we explore the invertible gait for the tiltrotor and apply feedback linearization to stabilize the attitude and the altitude. The equivalent conditions to achieve a full-rank decoupling matrix are deduced and simplified to a near zero roll and zero pitch. This paper proposed several invertible gaits to conduct the attitude-altitude control test. The accepted gaits within the region of interest are visualized. The experiment is simulated in Simulink, MATLAB. The results show the promising response in attitude and altitude.

cs.RO

Stability Analysis of a Feedback-linearization-based Controller with Saturation: A Tilt Vehicle with the Penguin-inspired Gait Plan

Saturations in control signal can challenge the stability proof of a feedback-linearization-based controller, even leading the system unstable [1]. Thus, several approaches are established to avoid reaching the saturation bound [2,3]. Meanwhile, to help design the controller for a quad-tilt-rotor, [1] modeled a tilt vehicle with implementing the feedback-linearization-based controllers. In this article, we provide a gait plan for this tilt vehicle and control it utilizing the feedback linearization. Since saturations exist in the control signals, we study the stability based on Lyapunov theory.

eess.SY

Flight Control System Design for Autonomous Aerial Surveys of Volcanoes

The controller for a quadrotor working in severe environment is developed in this study. Here, the severe environment indicates the temperature-varying air near the volcano. The controller overcomes the intensively changing temperature above the crater of the volcano which biases the nominal dynamics (25 Celcius). The target Volcano is picked as Satsuma-iojima located in a tiny insular South to the mainland of Japan. The temperature distribution is contributed from previous research by Geological Survey of Japan. To guarantee that the control signal is under the input saturation, a path planning method is developed. Picking the eigenvalue for a system with a moving reference is a novel topic; the method to develop a controller with specific requirement is created for the first time. This method might be referred as a standard way for designers/engineers in developing controller with a moving target/reference in further study. In controlling part, a state feedback controller is designed to stabilize the height of the quadrotor. The eigenvalue of the feedback controller is picked based on the method developed in Chapter Path Planning. And a PID controller is designed to control the attitude. The result of these are verified in a simulator written in MATLAB. At last, a Kalman filter is applied in height control to combine the measurement noise from IMU and laser scanner and the system noise caused by the changing temperature. Another reason for developing a Kalman filter is that IMU readout provides with acceleration. While the velocity is not achieved by sensor directly. The result of height control with a Kalman filter is verified in MATLAB Simulink.

eess.SY

Singular Zone in Quadrotor Yaw-Position Feedback Linearization

It is well known that the conventional quadrotor is an under-actuated MIMO system. The number of the inputs is less than the degree of freedom. One approach in controlling this non-holonomic system is feedback linearization. In the frequently cited (305 times) application, the yaw and the position are selected as the controlled variables. It is reported that no singularity is found in their delta matrix, making it possible to apply the inversion within a wide range. However, we find the ignored singular zone within the range of interest. The unreported singular area can cause the failure in the controller design. This paper visualizes this uninvertible area and details the deduction process.

eess.SY

Quad-cone-rotor: A Novel Tilt Quadrotor with Severe-fault-tolerant Ability

Conventional quadrotors received great attention in trajectory design and fault-tolerant control in these years. The direction of each thrust is perpendicular to the body because of the geometrics in mechanical design. Comparing with the conventional quadrotor, a novel quadrotor named quad-tilt-rotor brings better freedom in manipulating the thrust vector. Quad-tilt-rotor augments the additional degrees of freedom in the thrust, providing the possibility of violating the normal direction of the thrust in the conventional quadrotor. This provides the ability of greater agility in control. This paper presents a novel design of a quad-tilt-rotor (quad-cone-rotor) whose thrust can be assigned along the edge of a cone shape. Besides the inheriting merits in agile from quad-tilt-rotor, the quad-cone-rotor is expected to take fault-tolerant control in severe dynamic failure (total loss in all thrusts). We simulate the control result in a UAV simulator in SIMULINK, MATLAB.

cs.RO