Reports

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution

Frederik Mathiesen, Licio Romao, Simeon Calvert, Luca Laurenti, Alessandro Abate

arXiv, 2024.

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric

Adrien Banse, Licio Romao, Alessandro Abate, Raphaël Jungers

arXiv, 2024.

Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers

Alexandros Tzikas, Licio Romao, Mert Pilanci, Alessandro Abate, Mykel Kochenderfer

arXiv, 2024.

Journals

Enhancing Data-Driven Stochastic Control via Bundled Interval MDP

Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo

IEEE Control Systems Letters, 2024.

On the exact feasibility of convex programs with discarded constraints

Licio Romao, Antonis Papachristodoulou, Kostas Margellos

IEEE Transactions on Automatic Control, 2023.

Probabilistic feasibility guarantees for convex scenario programs with an arbitrary number of discarded constraints

Licio Romao, Kostas Margellos, Antonis Papachristodoulou

Automatica, 2023.

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions

Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan Poonawala, Marielle Stoelinga, Nils Jansen

Journal of Artificial Intelligence Research 2023. Distinguished Paper Award. AAAI 2022.

Subgradient averaging for multi-agent optimisation with different constraint sets

Licio Romao, Kostas Margellos, Giuseppe Notarstefano, Antonis Papachristodoulou

Automatica, 2021.

Distributed Actuator Selection: Achieving Optimality via a Primal-Dual Algorithm

Licio Romao, Kostas Margellos, Antonis Papachristodoulou

IEEE Control Systems Letters, 2018.

Conferences

Bounded Robustness in Reinforcement Learning via Lexicographic Objectives

Daniel Ornia, Licio Romao, Lewis Hammond, Manuel Mazo, Alessandro Abate

6th Annual Learning for Decision and Control 2024. Oral presentation. Top 6 percent.

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions

Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen

2024 European Control Conference (ECC), 2024.

Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty

Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen

AAAI Conference on Artificial Intelligence, 2023.

Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design

Frederik Mathiesen, Licio Romao, Simeon Calvert, Alessandro Abate, Luca Laurenti

62nd IEEE Conference on Decision and Control (CDC), 2023.

Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric

Adrien Banse, Licio Romao, Alessandro Abate, Raphaël Jungers

62nd IEEE Conference on Decision and Control (CDC), 2023.

Abstracting Linear Stochastic Systems via Knowledge Filtering

Maico Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert

62nd IEEE Conference on Decision and Control (CDC), 2023.

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics

Luke Rickard, Thom Badings, Licio Romao, Alessandro Abate

International Conference on Quantitative Evaluation of Systems, 2023.

Data-driven memory-dependent abstractions of dynamical systems

Adrien Banse, Licio Romao, Alessandro Abate, Raphaël Jungers

5th Conference on Learning for Dynamics & Control, 2023.

Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding

Licio Romao, Ashish Hota, Alessandro Abate

62nd IEEE Conference on Decision and Control (CDC), 2023.

Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples

Licio Romao, Kostas Margellos, A. Papachristodoulou

3rd Conference on Learning for Decision and Control, 2021.

Tight generalization guarantees for the sampling and discarding approach to scenario optimization

Licio Romao, Kostas Margellos, A. Papachristodoulou

59th Conference on Decision and Control, 2020.

Convergence rate analysis of a subgradient averaging algorithm for distributed optimisation with different constraint sets

Licio Romao, Kostas Margellos, Giuseppe Notarstefano, Antonis Papachristodoulou

58th Conference on Decision and Control (CDC), 2019.

H-inf filter design with low- and middle-frequency specifications for continuous-time linear systems: LMI conditions derived from two different extensions of the KYP lemma

Licio Romao, Mauricio Oliveira, Pedro Peres, Ricardo Oliveira

2018 Annual American Control Conference (ACC), 2018.

Non-minimal order low-frequency H-inf filtering for uncertain discrete-time systems

Lício Romão, Luciano Frezzatto, Maurício Oliveira, Ricardo Oliveira, Pedro Peres

IFAC-PapersOnLine, 2017.

Projeto de Filtros para Sistemas a Tempo Discreto com Criterio H-infinito em Faixa de Frequencias

Licio Romao, Ricardo Oliveira, Pedro Peres

Simposio Brasileiro de Automacao Inteligente (SBAI), 2017.

State-feedback and filtering problems using the generalized KYP lemma

Licio Romao, Mauricio Oliveira, Pedro Peres, Ricardo Oliveira

Conference on Computer Aided Control System Design (CACSD), 2016.

H-infinity Robust Filter Design for Continuous-Time Linear Systems Using LMIs with a Scalar Parameter

Licio Romao, Pedro Peres, Ricardo Oliveira

XXI Congresso Brasileiro de Automatica, 2016.

Projeto de Filtros Robustos H-2 usando LMIs com Escalares

Licio Romao, Ricardo Oliveira, Pedro Peres

Simposio Brasileiro de Automacao Inteligente (SBAI), 2015.

PhD Thesis

Scalable and data-driven approaches to convex programming

Licio Romao

University of Oxford 2021. IET Control and Automation dissertation prize.

MSc Thesis (in portuguese)

Projeto de Filtros para Sistemas Lineares com Critérios H-2, H-infinito e H-infinito em Faixas de Frequência por meio de Desigualdades Matriciais

Licio Romao

University of Campinas (UNICAMP), 2017.

CC BY-SA 4.0 Licio Romao. Last modified: October 08, 2024. Website built with Franklin.jl and the Julia programming language.