Reachability and set-based methods in resource allocation and co-design

Set-based methods and in specific reachability analysis offer the appropriate theoretical tools to analyse and control dynamical systems, that may be subject to unwanted phenomena in dynamic networks, such as uncertainties, noise, packet dropouts etc. After briefly introducing the main concepts in reachabiltiy analysis of dynamical systems, we will highlight two instances where set-based methods can be succesffully applied in edge computing and control over networks respectively, namely (i) in computation offloading in EC and (ii) analysing the reachability properties of linear systems over faulty networks. Finally, we will attempt to pose several research challenges in these fields under the reachability framework.