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.

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

Pola, Giordano
;
Di Benedetto, Maria Domenica
2019-01-01

Abstract

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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11697/133383
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 22
  • ???jsp.display-item.citation.isi??? 20
social impact