3 papers
cs.GT2026
Coalition Formation with Limited Information Sharing for Local Energy Management
Luke Rickard, Paola Falugi, Eric C. Kerrigan
Distributed energy systems with prosumers require new methods for coordinating energy exchange among agents. Coalitional control provides a framework in which agents form groups to…
eess.SY2025
Data-Driven Certificate Synthesis
Luke Rickard, Alessandro Abate, Kostas Margellos
We investigate the problem of verifying different properties of discrete time dynamical systems, namely, reachability, safety and reach-while-avoid. To achieve this, we adopt a dat…
eess.SY2025
Continuous-time Data-driven Barrier Certificate Synthesis
Luke Rickard, Alessandro Abate, Kostas Margellos
We consider the problem of verifying safety for continuous-time dynamical systems. Developing upon recent advancements in data-driven verification, we use only a finite number of s…