Research Analyzer
← ICRA 2023

All Papers

1655 papers in this venue.

Clear
1640 result(s) for “Hybrid Logical/Dynamical Planning and Verification” Page 1 of 33
Title & Authors Actions
Trajectory Planning for the Bidirectional Quadrotor As a Differentially Flat Hybrid System
Katherine Mao, Jake Welde, M. Ani Hsieh, Vijay Kumar
 PDF
CPG-Based Motion Planning of Hybrid Underwater Hexapod Robot for Wall Climbing and Transition
Ma, Feiyu,Yan, Weisheng,chen, lepeng,Cui, Rongxin
 PDF
Predictive Runtime Verification of Skill-Based Robotic Systems Using Petri Nets
Baptiste Pelletier, Charles Lesire, Christophe Grand, David Doose, Mathieu ROGNANT
 PDF
Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks
Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit
 PDF
Safety-Critical Controller Verification Via Sim2Real Gap Quantification
Prithvi Akella, Wyatt Ubellacker, Aaron Ames
 PDF
Self-Improving Safety Performance of Reinforcement Learning Based Driving with Black-Box Verification Algorithms
Resul Dagdanov, Halil Durmuş, Nazim Kemal Ure
 PDF
Multi-Object Navigation in Real Environments Using Hybrid Policies
Assem Sadek, Guillaume Bono, Boris Chidlovskii, Atilla Baskurt, Christian Wolf
 PDF
Versatile Real-Time Motion Synthesis Via Kino-Dynamic MPC with Hybrid-Systems DDP
He Li, Tingnan Zhang, Wenhao Yu, Patrick M. Wensing
 PDF
Development and Experimental Verification of a 3D Dynamic Absolute Nodal Coordinate Formulation Model of Flexible Prostate Biopsy/Brachytherapy Needles
Athanasios Martsopoulos, Thomas Hill, Raj Persad, Stefanos Bolomytis, Antonia Tzemanaki
 PDF
Multimodal Time Series Learning of Robots Based on Distributed and Integrated Modalities: Verification with a Simulator and Actual Robots
Hideyuki Ichiwara, Hiroshi Ito, Kenjiro Yamamoto, Hiroki Mori, Tetsuya Ogata
 PDF
Hybrid Learning of Time-Series Inverse Dynamics Models for Locally Isotropic Robot Motion
Tolga-Can Çallar, Sven Böttger
 PDF
Efficient and Hybrid Decoder for Local Map Construction in Bird's-Eye-View
Kun Tian, Yun Ye, Zheng Zhu, Peng Li, Guan Huang
 PDF
Contact Based Turning Gait of a Novel Legged-Wheeled Quadruped
Alper Yeldan, Abhimanyu Arora, Gim Song Soh
 PDF
One-Shot Reachability Analysis of Neural Network Dynamical Systems
Shaoru Chen, Victor Preciado, Mahyar Fazlyab
 PDF
Allowing Safe Contact in Robotic Goal-Reaching: Planning and Tracking in Operational and Null Spaces
Xinghao Zhu, Wenzhao Lian, BODI Yuan, Daniel Freeman, Masayoshi Tomizuka
 PDF
Overload Clutch with Integrated Torque Sensing and Decoupling Detection for Collision Tolerant Hybrid High-Speed Industrial Cobots
Frederik Ostyn, Bram Vanderborght, Guillaume Crevecoeur
 PDF
A Tactile-Enabled Hybrid Rigid-Soft Continuum Manipulator for Forceful Enveloping Grasps Via Scale Invariant Desgin
Ian Taylor, Maheera Bawa, Alberto Rodriguez
 PDF
Hybrid Half-Gaussian Selectively Adaptive Fuzzy Control of an Actuated Ankle Foot-Orthosis
Huiseok MOON, Roshni Maiti, Kaushik Das Sharma, Yacine Amirat, Patrick Siarry, Samer Mohammed
 PDF
Hybrid SUSD-Based Task Allocation for Heterogeneous Multi-Robot Teams
Shengkang Chen, Tony X. Lin, Said Al-Abri, Ronald Arkin, Fumin Zhang
 PDF
A Hybrid Quadratic Programming Framework for Real-Time Embedded Safety-Critical Control
Ryan Bena, Sushmit Hossain, Buyun Chen, Wei Wu, Quan Nguyen
 PDF
A Soft Hybrid-Actuated Continuum Robot Based on Dual Origami Structures
Jian Tao, Qiqiang Hu, Tianzhi Luo, Erbao Dong
 PDF
Design and Validation of a Polycentric Hybrid Knee Prosthesis with Electromagnet-Controlled Mode Transition
Xu Wang, Haohua Xiu, Yao Zhang, Wei Liang, Wei Chen, Guowu Wei, Lei Ren, Luquan Ren
 PDF
Unidirectional-Road-Network-Based Global Path Planning for Cleaning Robots in Semi-Structured Environments
Yong Li, Hui Cheng
 PDF
A Kinematically Redundant (6+1)-Dof Hybrid Parallel Robot for Delicate Physical Environment and Robot Interaction (pERI)
JEHYEOK KIM, Clement Gosselin
 PDF
Hybrid Visual SLAM for Underwater Vehicle Manipulator Systems
Gideon Billings, Richard Camilli, Matthew Johnson-Roberson
 PDF
SoRoSim: A MATLAB Toolbox for Hybrid Rigid-Soft Robots Based on the Geometric Variable-Strain Approach
Anup Teejo Mathew, Ikhlas Ben Hmida, Costanza Armanini, Frédéric Boyer, Federico Renda
 PDF
Active Inference and Behavior Trees for Reactive Action Planning and Execution in Robotics
Corrado Pezzato, Carlos Hernández, Stefan Bonhof, Martijn Wisse
 PDF
Differential Dynamic Programming Based Hybrid Manipulation Strategy for Dynamic Grasping
Cheng Zhou, Yanbo Long, Lei Shi, Longfei Zhao, Yu Zheng
 PDF
Proprioceptive Soft Pneumatic Gripper for Extreme Environments Using Hybrid Optical Fibers
Babar Jamil, Gyeongjae Yoo, Youngjin Choi, Hugo Rodrigue
 PDF
Credible Online Dynamics Learning for Hybrid UAVs
David Rohr, Nicholas Lawrance, Olov Andersson, Roland Siegwart
 PDF
Nezha-Mini: Design and Locomotion of a Miniature Low-Cost Hybrid Aerial Underwater Vehicle
Bi, Yuanbo,Jin, Yufei,Lyu, Chenxin,Zeng, Zheng,LIAN, Lian
 PDF
HFT: Lifting Perspective Representations Via Hybrid Feature Transformation for BEV Perception
Jiayu Zou, Zheng Zhu, Junjie Huang, Tian Yang, Guan Huang, Xingang Wang
 PDF
A Hybrid Steerable Robot with Magnetic Wrist for Minimally Invasive Epilepsy Surgery
Changyan He, Robert Hideki Nguyen, Cameron Forbrigger, James Drake, Thomas Looi, Eric D. Diller
 PDF
Getting Air: Modelling and Control of a Hybrid Pneumatic-Electric Legged Robot
Christopher Mailer, Stacey Leigh Shield, Reuben Govender, Amir Patel
 PDF
Hummingbird-Bat Hybrid Wing by 3-D Printing
Tomoya Fujii, Jinqiang Dang, Hiroto Tanaka
 PDF
BITS: Bi-Level Imitation for Traffic Simulation
Danfei Xu, Yuxiao Chen, Boris Ivanovic, Marco Pavone
 PDF
CAHIR: Co-Attentive Hierarchical Image Representations for Visual Place Recognition
Guohao Peng, Heshan Li, Yifeng Huang, Jun Zhang, Mingxing Wen, Singh Rahul, Danwei Wang
 PDF
A Hybrid Cable-Driven Robot for Non-Destructive Leafy Plant Monitoring and Mass Estimation Using Structure from Motion
Gerry Chen, Venkata Harsh Suhith Muriki, Andrew Sharkey, Cedric Pradalier, Yongsheng Chen, Frank Dellaert
 PDF
AANet: Aggregation and Alignment Network with Semi-Hard Positive Sample Mining for Hierarchical Place Recognition
Feng Lu, Lijun Zhang, Shuting Dong, Baifan Chen, Chun Yuan
 PDF
Demonstration-Guided Optimal Control for Long-Term Non-Prehensile Planar Manipulation
Teng Xue, Hakan Girgin, Teguh Santoso Lembono, Sylvain Calinon
 PDF
Nonlinear Model Predictive Control of a 3D Hopping Robot: Leveraging Lie Group Integrators for Dynamically Stable Behaviors
Noel Csomay-Shanklin, Victor Dorobantu, Aaron Ames
 PDF
Concept Design of a New XY Compliant Parallel Manipulator with Spatial Configuration
Zekui Lyu, Qingsong Xu
 PDF
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation
Luca Marzari, Enrico Marchesini, Alessandro Farinelli
 PDF
From Semi-Supervised to Omni-Supervised Room Layout Estimation Using Point Clouds
Huan-ang Gao, Beiwen Tian, Pengfei Li, Xiaoxue Chen, Hao Zhao, Guyue Zhou, Yurong Chen, Hongbin Zha
 PDF
A Multi-Step Dynamics Modeling Framework for Autonomous Driving in Multiple Environments
Jason Gibson, Bogdan Vlahov, David D Fan, Patrick Spieler, Daniel Pastor, Ali-akbar Agha-mohammadi, Evangelos Theodorou
 PDF
Learning-Based Dimensionality Reduction for Computing Compact and Effective Local Feature Descriptors
Hao Dong, Xieyuanli Chen, Mihai Dusmanu, Viktor Larsson, Marc Pollefeys, Cyrill Stachniss
 PDF
KubeROS: A Unified Platform for Automated and Scalable Deployment of ROS2-Based Multi-Robot Applications
Yongzhou Zhang, Christian Wurll, Björn Hein
 PDF
STD: Stable Triangle Descriptor for 3D Place Recognition
Chongjian Yuan, Jiarong Lin, Zuhao Zou, Xiaoping Hong, Fu Zhang
 PDF
Design Optimization and Data-driven Shallow Learning for Dynamic Modeling of a Smart Segmented Electroadhesive Clutch
Navid Feizi, Zahra Bahrami, S. Farokh Atashzar, Mehrdad R. Kermani, Rajnikant V. Patel
 PDF
Approximating Discontinuous Nash Equilibrial Values of Two-Player General-Sum Differential Games
Lei Zhang, Mukesh Ghimire, Wenlong Zhang, Zhe Xu, Yi Ren
 PDF