no code implementations • 22 Mar 2024 • André Bertolace, Konstatinos Gatsis, Kostas Margellos
Decision making and learning in the presence of uncertainty has attracted significant attention in view of the increasing need to achieve robust and reliable operations.
no code implementations • 11 Dec 2023 • Luke Rickard, Alessandro Abate, Kostas Margellos
Synthesising verifiably correct controllers for dynamical systems is crucial for safety-critical problems.
no code implementations • 22 Mar 2023 • Han Wang, Antonis Papachristodoulou, Kostas Margellos
Both the scenario sampling and safety verification procedures are fully distributed.
no code implementations • 14 Dec 2022 • Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos
One of the fundamental problems in spacecraft trajectory design is finding the optimal transfer trajectory that minimizes the propellant consumption and transfer time simultaneously.
no code implementations • 26 Oct 2022 • Guido Carnevale, Filippo Fabiani, Filiberto Fele, Kostas Margellos, Giuseppe Notarstefano
We propose fully-distributed algorithms for Nash equilibrium seeking in aggregative games over networks.
no code implementations • 28 Apr 2022 • Xuda Ding, Han Wang, Jianping He, Cailian Chen, Kostas Margellos, Antonis Papachristodoulou
Simulations demonstrates that BRSCA has a higher probability of finding feasible solutions, reduces the computation time by about 17. 4% and the energy cost by about four times compared to other methods in the literature.
no code implementations • 23 Mar 2022 • Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos
Hamilton-Jacobi reachability methods for safety-critical control have been well studied, but the safety guarantees derived rely on the accuracy of the numerical computation.
no code implementations • 4 Mar 2021 • Filippo Fabiani, Kostas Margellos, Paul J. Goulart
We provide out-of-sample certificates on the controlled invariance property of a given set with respect to a class of black-box linear systems.
Optimization and Control Systems and Control Systems and Control