Título: Non-interference and opacity in discrete event systems modeled with Petri nets
Ponente: Gianmaria De Tommasi
Lugar: Seminario del Departamento de Informática e Ingeniería de Sistemas (Ada Byron, primera planta)
Día: miércoles, 20 de febrero a las 10:00
Abstract: One of the main objectives in system security is to prevent any information leak, that is to prevent to an external user, called intruder, to access to secret information. Non-interference and opacity are two concepts that can be used to frame information flow problems in the context of Discrete Event Systems (DES). In this seminar, we model the system/process under investigation by means of place/transition (P/T) Petri nets, and the algebraic representation of the model is exploited to give necessary and sufficient conditions for the assessment of both non-interference and
opacity. The proposed results are based on the solution of Integer Linear Programming (ILP) optimization problems. Once the analysis problem is solved, the approach is extended in order to design a supervisory control law that exploits the knowledge of the process state to enforce the desired property in closed-loop.
Biography:
Gianmaria De Tommasi was born in Milan, Italy, in 1975. He received the Laurea degree (summa cum laude) in Electronic Engineering and the Research Doctorate degree in Computer and Automatic Engineering from the University of Naples Federico II in 2001 and 2005, respectively. He is currently Associate Professor of Automatic Control with the Department of Electrical Engineering and Information Technology of the University of Naples Federico II. Since 2002 he has been visiting researcher at the JET (UK), at the ITER Organization (France), at Naka Fusion Institute (Japan), and at the Institute of Plasma Physics of the Chinese Academy of Science (People’s Republic of China), where he has participated to various projects connected to the plasma magnetic control systems. His current research interests include control of nuclear fusion devices, fault detection and for discrete event systems, identification of discrete event systems modeled with Petri nets, stability of hybrid systems. He has published more than 200 journal and conference papers on these topics.
