research
∙
05/27/2023
Closure Certificates
A barrier certificate, defined over the states of a dynamical system, is...
share
research
∙
11/08/2022
Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems
In this paper, we consider the problem of verifying pre-opacity for disc...
research
∙
02/14/2022
Secure-by-Construction Synthesis of Cyber-Physical Systems
Correct-by-construction synthesis is a cornerstone of the confluence of ...
research
∙
09/25/2021
Verification of Switched Stochastic Systems via Barrier Certificates
The paper presents a methodology for temporal logic verification of cont...
research
∙
01/19/2021
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey
Stochastic hybrid systems have received significant attentions as a rele...
research
∙
10/12/2020
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes
This paper focuses on the controller synthesis for unknown, nonlinear sy...
research
∙
05/08/2020
Data-Driven Verification under Signal Temporal Logic Constraints
We consider systems under uncertainty whose dynamics are partially unkno...
research
∙
03/02/2020
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
A novel reinforcement learning scheme to synthesize policies for continu...
research
∙
02/12/2020
dtControl: Decision Tree Learning Algorithms for Controller Representation
Decision tree learning is a popular classification technique most common...
research
∙
06/26/2018
SENSE: Abstraction-Based Synthesis of Networked Control Systems
While many studies and tools target the basic stabilizability problem of...
research
∙
02/09/2018