research
∙
06/26/2023
Minimally actuated tiltrotor for perching and normal force exertion
This study presents a new hardware design and control of a minimally act...
share
research
∙
05/24/2023
FaceFusion: Exploiting Full Spectrum of Multiple Datasets
The size of training dataset is known to be among the most dominating as...
research
∙
01/17/2023
Design, Modeling and Control of a Top-loading Fully-Actuated Cargo Transportation Multirotor
Existing multirotor-based cargo transportation does not maintain a const...
research
∙
03/14/2022
Conditional Contextual Refinement (CCR)
Contextual refinement (CR) is one of the standard notions of specifying ...
research
∙
09/07/2021
Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic
Contextual refinement and separation logics are successful verification ...
research
∙
07/14/2021
Robust and Recursively Feasible Real-Time Trajectory Planning in Unknown Environments
Motion planners for mobile robots in unknown environments face the chall...
research
∙
07/06/2021
Real-Time Motion Planning of a Hydraulic Excavator using Trajectory Optimization and Model Predictive Control
Automation of excavation tasks requires real-time trajectory planning sa...
research
∙
07/01/2021
Stability and Robustness Analysis of Plug-Pulling using an Aerial Manipulator
In this paper, an autonomous aerial manipulation task of pulling a plug ...
research
∙
03/18/2020