Search Results for author:
Found 3 papers, 1 papers with code
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
Algorithmic verification of realistic systems to satisfy safety and other temporal requirements has suffered from poor scalability of the employed formal approaches.
Multi-level Optimal Control with Neural Surrogate Models
Optimal actuator and control design is studied as a multi-level optimisation problem, where the actuator design is evaluated based on the performance of the associated optimal closed loop.
Tube-based Distributionally Robust Model Predictive Control for Nonlinear Process Systems via Linearization
Unlike SMPC, which requires the exact knowledge of the disturbance distribution, our scheme decides the control action with respect to the worst distribution from a distribution ambiguity set.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
