-д хадгалсан:
| Үндсэн зохиолчид: | Gleirscher, Mario, Calinescu, Radu |
|---|---|
| Формат: | Preprint |
| Хэвлэсэн: |
2020
|
| Нөхцлүүд: | |
| Онлайн хандалт: | https://arxiv.org/abs/2007.03340 |
| Шошгууд: |
Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
Ижил төстэй зүйлс
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
-н: Gleirscher, Mario, зэрэг
Хэвлэсэн: (2021)
-н: Gleirscher, Mario, зэрэг
Хэвлэсэн: (2021)
Maintaining driver attentiveness in shared-control autonomous driving
-н: Calinescu, Radu, зэрэг
Хэвлэсэн: (2021)
-н: Calinescu, Radu, зэрэг
Хэвлэсэн: (2021)
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
-н: Foster, Simon, зэрэг
Хэвлэсэн: (2020)
-н: Foster, Simon, зэрэг
Хэвлэсэн: (2020)
Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
-н: Gleirscher, Mario, зэрэг
Хэвлэсэн: (2020)
-н: Gleirscher, Mario, зэрэг
Хэвлэсэн: (2020)
Hazard Management in Robot-Assisted Mammography Support
-н: Stefanakos, Ioannis, зэрэг
Хэвлэсэн: (2026)
-н: Stefanakos, Ioannis, зэрэг
Хэвлэсэн: (2026)
Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study
-н: Schnittka, Till, зэрэг
Хэвлэсэн: (2024)
-н: Schnittka, Till, зэрэг
Хэвлэсэн: (2024)
Collaborative Safety-Critical Formation Control with Obstacle Avoidance
-н: Butler, Brooks A., зэрэг
Хэвлэсэн: (2024)
-н: Butler, Brooks A., зэрэг
Хэвлэсэн: (2024)
Towards Optimized Parallel Robots for Human-Robot Collaboration by Combined Structural and Dimensional Synthesis
-н: Mohammad, Aran, зэрэг
Хэвлэсэн: (2024)
-н: Mohammad, Aran, зэрэг
Хэвлэсэн: (2024)
MBC: Multi-Brain Collaborative Control for Quadruped Robots
-н: Liu, Hang, зэрэг
Хэвлэсэн: (2024)
-н: Liu, Hang, зэрэг
Хэвлэсэн: (2024)
Enabling Safety for Aerial Robots: Planning and Control Architectures
-н: Naveed, Kaleb Ben, зэрэг
Хэвлэсэн: (2025)
-н: Naveed, Kaleb Ben, зэрэг
Хэвлэсэн: (2025)
Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
-н: Gleirscher, Mario, зэрэг
Хэвлэсэн: (2017)
-н: Gleirscher, Mario, зэрэг
Хэвлэсэн: (2017)
Safety-Critical Controller Synthesis with Reduced-Order Models
-н: Cohen, Max H., зэрэг
Хэвлэсэн: (2024)
-н: Cohen, Max H., зэрэг
Хэвлэсэн: (2024)
Quality of Control based Resource Dimensioning for Collaborative Edge Robotics
-н: Roy, Neelabhro, зэрэг
Хэвлэсэн: (2024)
-н: Roy, Neelabhro, зэрэг
Хэвлэсэн: (2024)
Collaborative Robot Arm Inserting Nasopharyngeal Swabs with Admittance Control
-н: Lee, Peter Q., зэрэг
Хэвлэсэн: (2024)
-н: Lee, Peter Q., зэрэг
Хэвлэсэн: (2024)
Safety-Critical Control for Robotic Manipulators using Collision Cone Control Barrier Functions
-н: Almeida, Lucas
Хэвлэсэн: (2025)
-н: Almeida, Lucas
Хэвлэсэн: (2025)
Safety-aware Goal-oriented Semantic Sensing, Communication, and Control for Robotics
-н: Wu, Wenchao, зэрэг
Хэвлэсэн: (2026)
-н: Wu, Wenchao, зэрэг
Хэвлэсэн: (2026)
Distributed Virtual Model Control for Scalable Human-Robot Collaboration in Shared Workspace
-н: Zhang, Yi, зэрэг
Хэвлэсэн: (2026)
-н: Zhang, Yi, зэрэг
Хэвлэсэн: (2026)
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
-н: Yin, Xiang, зэрэг
Хэвлэсэн: (2024)
-н: Yin, Xiang, зэрэг
Хэвлэсэн: (2024)
Collaborative-Online-Learning-Enabled Distributionally Robust Motion Control for Multi-Robot Systems
-н: Ning, Chao, зэрэг
Хэвлэсэн: (2025)
-н: Ning, Chao, зэрэг
Хэвлэсэн: (2025)
LVLM-MPC Collaboration for Autonomous Driving: A Safety-Aware and Task-Scalable Control Architecture
-н: Atsuta, Kazuki, зэрэг
Хэвлэсэн: (2025)
-н: Atsuta, Kazuki, зэрэг
Хэвлэсэн: (2025)
Safety-Ensured Robotic Control Framework for Cutting Task Automation in Endoscopic Submucosal Dissection
-н: Kim, Yitaek, зэрэг
Хэвлэсэн: (2025)
-н: Kim, Yitaek, зэрэг
Хэвлэсэн: (2025)
Learning Input Constrained Control Barrier Functions for Guaranteed Safety of Car-Like Robots
-н: Brüggemann, Sven, зэрэг
Хэвлэсэн: (2024)
-н: Brüggemann, Sven, зэрэг
Хэвлэсэн: (2024)
Collaborative Drill Alignment in Surgical Robotics
-н: Larby, Daniel, зэрэг
Хэвлэсэн: (2025)
-н: Larby, Daniel, зэрэг
Хэвлэсэн: (2025)
Online Controller Synthesis for Robot Collision Avoidance: A Case Study
-н: Fan, Yuheng, зэрэг
Хэвлэсэн: (2025)
-н: Fan, Yuheng, зэрэг
Хэвлэсэн: (2025)
Solvability of Approximate Reach-Avoid Games
-н: Gleirscher, Mario
Хэвлэсэн: (2025)
-н: Gleirscher, Mario
Хэвлэсэн: (2025)
Contact-Aware Safety in Soft Robots Using High-Order Control Barrier and Lyapunov Functions
-н: Wong, Kiwan, зэрэг
Хэвлэсэн: (2025)
-н: Wong, Kiwan, зэрэг
Хэвлэсэн: (2025)
Safety-Critical Formation Control of Non-Holonomic Multi-Robot Systems in Communication-Limited Environments
-н: Bohara, Vishrut, зэрэг
Хэвлэсэн: (2024)
-н: Bohara, Vishrut, зэрэг
Хэвлэсэн: (2024)
A Learning-Based Framework for Safe Human-Robot Collaboration with Multiple Backup Control Barrier Functions
-н: Janwani, Neil C., зэрэг
Хэвлэсэн: (2023)
-н: Janwani, Neil C., зэрэг
Хэвлэсэн: (2023)
Rollover Prevention for Mobile Robots with Control Barrier Functions: Differentiator-Based Adaptation and Projection-to-State Safety
-н: Das, Ersin, зэрэг
Хэвлэсэн: (2024)
-н: Das, Ersin, зэрэг
Хэвлэсэн: (2024)
Flexible Active Safety Motion Control for Robotic Obstacle Avoidance: A CBF-Guided MPC Approach
-н: Liu, Jinhao, зэрэг
Хэвлэсэн: (2024)
-н: Liu, Jinhao, зэрэг
Хэвлэсэн: (2024)
Beyond the Manual Touch: Situational-aware Force Control for Increased Safety in Robot-assisted Skullbase Surgery
-н: Ishida, Hisashi, зэрэг
Хэвлэсэн: (2024)
-н: Ishida, Hisashi, зэрэг
Хэвлэсэн: (2024)
Proactive Hierarchical Control Barrier Function-Based Safety Prioritization in Close Human-Robot Interaction Scenarios
-н: Maithani, Patanjali, зэрэг
Хэвлэсэн: (2025)
-н: Maithani, Patanjali, зэрэг
Хэвлэсэн: (2025)
Integrated Identification of Collaborative Robots for Robot Assisted 3D Printing Processes
-н: Dimauro, Alessandro, зэрэг
Хэвлэсэн: (2026)
-н: Dimauro, Alessandro, зэрэг
Хэвлэсэн: (2026)
Mixed Reality Environment and High-Dimensional Continuification Control for Swarm Robotics
-н: Maffettone, Gian Carlo, зэрэг
Хэвлэсэн: (2023)
-н: Maffettone, Gian Carlo, зэрэг
Хэвлэсэн: (2023)
A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees
-н: Gleirscher, Mario, зэрэг
Хэвлэсэн: (2025)
-н: Gleirscher, Mario, зэрэг
Хэвлэсэн: (2025)
Efficient Avoidance of Ellipsoidal Obstacles with Model Predictive Control for Mobile Robots and Vehicles
-н: Rosenfelder, Mario, зэрэг
Хэвлэсэн: (2024)
-н: Rosenfelder, Mario, зэрэг
Хэвлэсэн: (2024)
LiDAR-Inertial SLAM-Based Navigation and Safety-Oriented AI-Driven Control System for Skid-Steer Robots
-н: Shahna, Mehdi Heydari, зэрэг
Хэвлэсэн: (2025)
-н: Shahna, Mehdi Heydari, зэрэг
Хэвлэсэн: (2025)
Learning Fast, Tool aware Collision Avoidance for Collaborative Robots
-н: Lee, Joonho, зэрэг
Хэвлэсэн: (2025)
-н: Lee, Joonho, зэрэг
Хэвлэсэн: (2025)
A Virtual Fencing Framework for Safe and Efficient Collaborative Robotics
-н: Badguna, Vineela Reddy Pippera, зэрэг
Хэвлэсэн: (2025)
-н: Badguna, Vineela Reddy Pippera, зэрэг
Хэвлэсэн: (2025)
Towards Safe and Collaborative Robotic Ultrasound Tissue Scanning in Neurosurgery
-н: Dyck, Michael, зэрэг
Хэвлэсэн: (2023)
-н: Dyck, Michael, зэрэг
Хэвлэсэн: (2023)
Ижил төстэй зүйлс
-
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
-н: Gleirscher, Mario, зэрэг
Хэвлэсэн: (2021) -
Maintaining driver attentiveness in shared-control autonomous driving
-н: Calinescu, Radu, зэрэг
Хэвлэсэн: (2021) -
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
-н: Foster, Simon, зэрэг
Хэвлэсэн: (2020) -
Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
-н: Gleirscher, Mario, зэрэг
Хэвлэсэн: (2020) -
Hazard Management in Robot-Assisted Mammography Support
-н: Stefanakos, Ioannis, зэрэг
Хэвлэсэн: (2026)