36 citations · 45 across the 9 of their papers we have counts for
9 papers
Abstract Rendering: Computing All that is Seen in Gaussian Splat Scenes
Yangge Li, Chenxi Ji, Xiangru Zhong +2
We introduce abstract rendering, a method for computing a set of images by rendering a scene from a continuously varying range of camera positions. The resulting abstract image-whi…
Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis
Ayoosh Bansal, Duo Wang, Mikael Yeghiazaryan +9
Autonomous air taxis are poised to revolutionize urban mass transportation, however, ensuring their safety and reliability remains an open challenge. Validating autonomy solutions…
Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation
Yangge Li, Benjamin C Yang, Sayan Mitra
This paper addresses the problem of visual target tracking in scenarios where a pursuer may experience intermittent loss of visibility of the target. The design of a Switched Visua…
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing
Yangge Li, Benjamin C Yang, Yixuan Jia +2
Perception contracts provide a method for evaluating safety of control systems that use machine learning for perception. A perception contract is a specification for testing the ML…
Verification of Adaptive Control using Verse Library: A Case Study of Quadrotors
Lin Song, Yangge Li, Sheng Cheng +3
adaptive control (AC) is a control design technique that can handle a broad class of system uncertainties and provide transient performance guarantees. In this work-in-p…
Verse: A Python library for reasoning about multi-agent hybrid system scenarios
Yangge Li, Haoqing Zhu, Katherine Braught +2
We present the Verse library with the aim of making hybrid system verification more usable for multi-agent scenarios. In Verse, decision making agents move in a map and interact wi…
Assuring Safety of Vision-Based Swarm Formation Control
Chiao Hsieh, Yubin Koh, Yangge Li +1
Vision-based formation control systems are attractive because they can use inexpensive sensors and can work in GPS-denied environments. The safety assurance for such systems is cha…
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Chiao Hsieh, Keyur Joshi, Sasa Misailovic +1
Convolutional Neural Networks (CNN) for object detection, lane detection, and segmentation now sit at the head of most autonomy pipelines, and yet, their safety analysis remains an…
SceneChecker: Boosting Scenario Verification using Symmetry Abstractions
Hussein Sibai, Yangge Li, Sayan Mitra
We presentSceneChecker, a tool for verifying scenarios involving vehicles executing complex plans in large cluttered workspaces. SceneChecker converts the scenario verification pro…