Search Results for author:
Found 16 papers, 6 papers with code
Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks
We consider the problem of reasoning about networked and layered control systems using assume-guarantee specifications.
Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration
By filtering control inputs to maintain the positivity of this function, we ensure that the system trajectory satisfies the desired STL specification.
OUTformation: Distributed Data-Gathering with Feedback under Unknown Environment and Communication Delay Constraints
Towards the informed design of large-scale distributed data-gathering architectures under real-world assumptions such as nonzero communication delays and unknown environment dynamics, this paper considers the effects of allowing feedback communication from the central processor to external sensors.
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems
We present a framework for merging unit tests for autonomous systems.
Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions
A high-gain input observer method is adapted to estimate the time-varying unmodelled dynamics of the CBF with an error bound using the first-order time derivative of the CBF.
Risk-Averse Decision Making Under Uncertainty
In this paper, we consider the problem of designing policies for MDPs and POMDPs with objectives and constraints in terms of dynamic coherent risk measures, which we refer to as the constrained risk-averse problem.
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems
We an algorithm, based on network flows, for synthesizing a test graph by restricting transitions, represented by edge deletions, on the original graph induced by the Kripke structures.
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
In many autonomy applications, performance of perception algorithms is important for effective planning and control.
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
Increased complexity in cyber-physical systems calls for modular system design methodologies that guarantee correct and reliable behavior, both in normal operations and in the presence of failures.
Constrained Risk-Averse Markov Decision Processes
We consider the problem of designing policies for Markov decision processes (MDPs) with dynamic coherent risk objectives and constraints.
Counter-example Guided Learning of Bounds on Environment Behavior
There is a growing interest in building autonomous systems that interact with complex environments.
Learning Pose Estimation for UAV Autonomous Navigation andLanding Using Visual-Inertial Sensor Data
In this work, we propose a new learning approach for autonomous navigation and landing of an Unmanned-Aerial-Vehicle (UAV).
Risk-Averse Planning Under Uncertainty
We consider the problem of designing policies for partially observable Markov decision processes (POMDPs) with dynamic coherent risk objectives.
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks
Reinforcement Learning (RL) algorithms have found limited success beyond simulated applications, and one main reason is the absence of safety guarantees during the learning process.
Detecting Adversarial Examples via Neural Fingerprinting
Deep neural networks are vulnerable to adversarial examples, which dramatically alter model output using small input changes.
Symbolic construction of GR(1) contracts for synchronous systems with full information
This work proposes a symbolic algorithm for the construction of assume-guarantee specifications that allow multiple agents to cooperate.
Logic in Computer Science Systems and Control
