Buchumschlag

Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bansal, Ayoosh, Zhao, Yang, Zhu, James, Cheng, Sheng, Gu, Yuliang, Yoon, Hyung-Jin, Kim, Hunmin, Hovakimyan, Naira, Sha, Lui
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Robotics Systems and Control C.3; C.4; J.7
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults
von: Bansal, Ayoosh, et al.
Veröffentlicht: (2022)

Synergistic Simplex: Cooperative Runtime Assurance for Safety-Critical Autonomous Systems
von: Bansal, Ayoosh, et al.
Veröffentlicht: (2026)

Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults
von: Ayoosh Bansal, et al.
Veröffentlicht: (2024)

Verifiable Obstacle Detection
von: Bansal, Ayoosh, et al.
Veröffentlicht: (2022)

Addressing Behavior Model Inaccuracies for Safe Motion Control in Uncertain Dynamic Environments
von: Sung, Minjun, et al.
Veröffentlicht: (2024)

Bayesian Data Augmentation and Training for Perception DNN in Autonomous Aerial Vehicles
von: Rasul, Ashik E, et al.
Veröffentlicht: (2024)

Towards Resilient UAV: Escape Time in GPS Denied Environment with Sensor Drift
von: Yoon, Hyung-Jin, et al.
Veröffentlicht: (2019)

Proto-MPC: An Encoder-Prototype-Decoder Approach for Quadrotor Control in Challenging Winds
von: Gu, Yuliang, et al.
Veröffentlicht: (2024)

Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis
von: Bansal, Ayoosh, et al.
Veröffentlicht: (2024)

Silent Data Corruption by 10x Test Escapes Threatens Reliable Computing
von: Mitra, Subhasish, et al.
Veröffentlicht: (2025)

An IoT-Based Controlled Environment Storage for Prevention of Spoilage of Onion (Allium Cepa) During Post-Harvest with UV-C Disinfection
von: Kumar, Shivam, et al.
Veröffentlicht: (2026)

Observations Meet Actions: Learning Control-Sufficient Representations for Robust Policy Generalization
von: Gu, Yuliang, et al.
Veröffentlicht: (2025)

Hardware/Algorithm Co-design for Real-Time I/O Control with Improved Timing Accuracy and Robustness
von: Jiang, Zhe, et al.
Veröffentlicht: (2024)

Task-Parameter Nexus: Task-Specific Parameter Learning for Model-Based Control
von: Cheng, Sheng, et al.
Veröffentlicht: (2024)

RV-IM100: Quantifying ISA Extension, Datapath Width, and Pipeline Depth Trade-offs in RISC-V Microarchitectures
von: Kang, Hyunwoo
Veröffentlicht: (2026)

Resilient Estimator-based Control Barrier Functions for Dynamical Systems with Disturbances and Noise
von: Tao, Chuyuan, et al.
Veröffentlicht: (2024)

Tight Semidefinite Relaxations for Verifying Robustness of Neural Networks
von: Azuma, Godai, et al.
Veröffentlicht: (2025)

Towards Autonomous Riding: A Review of Perception, Planning, and Control in Intelligent Two-Wheelers
von: Hassanin, Mohammed, et al.
Veröffentlicht: (2025)

Novel Developments on the OpenIPMC Project
von: Calligaris, Luigi, et al.
Veröffentlicht: (2023)

When Is the Same Model Not the Same Service? A Measurement Study of Hosted Open-Weight LLM APIs
von: Li, Haorui, et al.
Veröffentlicht: (2026)

Work-in-Progress: Function-as-Subtask API Replacing Publish/Subscribe for OS-Native DAG Scheduling
von: Ishikawa-Aso, Takahiro, et al.
Veröffentlicht: (2025)

RISCBench: Benchmarking RISC-V Orchestration Efficiency in FPGA and FPGA-Like Computing Engines
von: Ojika, Dave, et al.
Veröffentlicht: (2025)

Flex-MIG: Enabling Distributed Execution on MIG
von: Kim, Myeongsu, et al.
Veröffentlicht: (2025)

On the Number of Degenerate Simplex Pivots
von: Kukharenko, Kirill, et al.
Veröffentlicht: (2023)

Safe Landing on Small Celestial Bodies with Gravitational Uncertainty Using Disturbance Estimation and Control Barrier Functions
von: Arenas-Uribe, Felipe, et al.
Veröffentlicht: (2025)

5G Network Automation Using Local Large Language Models and Retrieval-Augmented Generation
von: Majlesara, Ahmadreza, et al.
Veröffentlicht: (2025)

Bregman Centroid Guided Cross-Entropy Method
von: Gu, Yuliang, et al.
Veröffentlicht: (2025)

A-FloPS: Accelerating Diffusion Models via Adaptive Flow Path Sampler
von: Jin, Cheng, et al.
Veröffentlicht: (2025)

A Unifying Convexification Framework for Chance-Constrained Programs via Bilinear Extended Formulations over a Simplex
von: Davarnia, Danial, et al.
Veröffentlicht: (2025)

Flat Hybrid Automata as a Class of Reachable Systems: Introductory Theory and Examples
von: Kleinert, Tobias, et al.
Veröffentlicht: (2019)

MESC: Re-thinking Algorithmic Priority and/or Criticality Inversions for Heterogeneous MCSs
von: Guan, Jiapeng, et al.
Veröffentlicht: (2024)

Arm DynamIQ Shared Unit and Real-Time: An Empirical Evaluation
von: Pradhan, Ashutosh, et al.
Veröffentlicht: (2025)

Cuestiones éticas y emocionales alrededor del egoísmo económico
von: Patrici Calvo
Veröffentlicht: (2018)

Simplex Stratification and Phase Boundaries in the Partition Graph
von: Lyudogovskiy, Fedor B.
Veröffentlicht: (2026)

Simplex Layers and Phase Boundaries in the Partition Graph
von: Lyudogovskiy, Fedor B.
Veröffentlicht: (2026)

GridPilot: Real-Time Grid-Responsive Control for AI Supercomputers
von: Constantinescu, Denisa-Andreea, et al.
Veröffentlicht: (2026)

EncFormer: Secure and Efficient Transformer Inference over Encrypted Data
von: Zhu, Yufan, et al.
Veröffentlicht: (2026)

Simplex-enabled Safe Continual Learning Machine
von: Cao, Hongpeng, et al.
Veröffentlicht: (2024)

Physical oceanography during Charles Darwin cruise CD47
von: Burkill, Peter
Veröffentlicht: (2013)

Physical oceanography measured on water bottle samples during Charles Darwin cruise CD47
von: Burkill, Peter
Veröffentlicht: (2014)