Control of Cyber-Physical-Systems with logic specifications: A formal methods approach

There is a growing interest in Industry and Academia in large scale composite systems where a number of physical processes are interfaced with intelligent units that control them and govern their interactions. Examples are manufacturing plants, drone swarms, and autonomous connected cars. These systems belong to the category of Cyber-Physical Systems (CPS), where the physical components interact with the digital world. Designing and managing CPS safely and securely is extremely difficult given their heterogeneity, i.e., the presence of multiple physical and logical domains, and their scale, i.e., number of components and of interconnections. To cope with these difficulties, mathematical approaches have been proposed but few if any can deal with all the above mentioned challenges. This tutorial surveys our work based on formal methods, which attempts at dealing with the heterogeneity and complexity of CPS.