Search Results for author:
Found 6 papers, 2 papers with code
Invariant Set Estimation for Piecewise Affine Dynamical Systems Using Piecewise Affine Barrier Function
The invariant set of PWA dynamical system is estimated using ReLU networks or its equivalent PWA function.
Automated Stability Analysis of Piecewise Affine Dynamics Using Vertices
We parametrize the Lyapunov function as a PWA function, with polytopic regions defined by the PWA dynamics.
Provably Correct Sensor-driven Path-following for Unicycles using Monotonic Score Functions
This paper develops a provably stable sensor-driven controller for path-following applications of robots with unicycle kinematics, one specific class of which is the wheeled mobile robot (WMR).
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions
This iMDP is, with a user-specified confidence probability, robust against uncertainty in the transition probabilities, and the tightness of the probability intervals can be controlled through the number of samples.
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
We use state-of-the-art verification techniques to provide guarantees on the iMDP, and compute a controller for which these guarantees carry over to the autonomous system.
Correct-by-construction reach-avoid control of partially observable linear stochastic systems
By construction, any policy on the abstraction can be refined into a piecewise linear feedback controller for the LTI system.
