Search Results for author:
Found 11 papers, 1 papers with code
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing
Perception contracts provide a method for evaluating safety of control systems that use machine learning for perception.
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning
Our approach can guarantee safety while increasing utilization of the experimental controller over existing approaches.
ChatGPT in the Classroom: An Analysis of Its Strengths and Weaknesses for Solving Undergraduate Computer Science Questions
ChatGPT is an AI language model developed by OpenAI that can understand and generate human-like text.
GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
GAS's approach also allows for reuse of the perception model when vehicle control and dynamics characteristics are altered during vehicle development, saving significant time.
SceneChecker: Boosting Scenario Verification using Symmetry Abstractions
We presentSceneChecker, a tool for verifying scenarios involving vehicles executing complex plans in large cluttered workspaces.
State Estimation of Continuous-time Dynamical Systems with Uncertain Inputs with Bounded Variation: Entropy, Bit Rates, and Relation with Switched Systems
We investigate the relation between {$\epsilon$}-estimation entropy and a previous notion for switched nonlinear systems and derive a new upper bound for the latter, showing the generality of our results on systems with uncertain inputs.
Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems
We also show that the standard exponential mechanism that randomizes the output of an algorithm to achieve differential privacy fails to do so in the context of sequential algorithms.
Verification and Parameter Synthesis for Stochastic Systems using Optimistic Optimization
As a consequence, we obtain theoretical regret bounds on sample efficiency of our solution that depends on key problem parameters like smoothness, near-optimality dimension, and batch size.
Online monitoring for safe pedestrian-vehicle interactions
As autonomous systems begin to operate amongst humans, methods for safe interaction must be investigated.
Robotics Multiagent Systems Signal Processing
Multi-Objective Value Iteration with Parameterized Threshold-Based Safety Constraints
We consider an environment with multiple reward functions.
Safe and Stabilizing Distributed Multi-Path Cellular Flows
For multiple targets, failures may cause deadlocks in the system, so we identify a class of non-deadlocking failures where all entities are able to make progress to their respective targets.
Robotics Distributed, Parallel, and Cluster Computing Multiagent Systems Systems and Control
