Periodic Reporting for period 2 - L2C (Learning to Control - Smart and Data-Driven Formal Methods for Cyber-Physical Systems control)
Okres sprawozdawczy: 2022-03-01 do 2023-08-31
and Applied Mathematics.Its goal is to develop automatic control techniques for the emerging Cyber-Physical systems (think of self-driving cars, smart grids, or coordinated moving robots), for which classical automation techniques turn out to be inefficient.
L2C impacts both fundamental Science and Engineering, as the theoretical
research is driven and fostered by cutting edge technological challenges.
Until now, our advances are mainly theoretical, but we also have developed a couple of proofs-of-concept showing that we are in the good direction.