Abstract: The data collected from the observation of a discrete-event system are usually given in terms of behavioral sequences that may be fixed or may be increased in the course of the system operation (e.g., due to new experiments or simply to the system running). These data can be used to obtain a nominal model of the system, or, if it is already available, it may reveal not consistent with these additional observations if they include anomalies. This seminar presents an approach to system identification and repair of the system model based on time Petri nets.

Short bio: Francesco Basile received the Laurea degree in Electronic Engineering in 1995 and the Ph.D. degree in Electronic and Computer Engineering in 1999. From May 1996 to February 1997, he worked as Process Engineer at the Proma Group, a multinational company specialized in metal working for automotive industry. In 1999 he was visiting researcher for six months at the Departamento de Ingenieria Informatica y Systems of the University of Saragoza, Spain. From January 2000 to December 2001 he has been Post-Doctoral Fellow at the University of Naples. From 2002 to October 2014 he has been assistant professor of Automatic Control at the Dipartimento di Ingegneria dell'Informazione e Ingegneria Elettrica of the University of Salerno, Italy. He is Associate Professor of Automatic Control at the Dipartimento di Ingegneria dell'Informazione e Ingegneria Elettrica of the University of Salerno. He has published more than 100 papers on international journals and conferences. His current research interests are: modeling and control of discrete event systems, industrial automation and robotic. He has been member of the scientific committee of many international conferences.

He is General Chair of 14th International Workshop on Discrete Event Systems (WODES 2018). He has been member of the editorial board of International Journal of Robotics and Automation and IEEE Transactions on Control Systems Technology up to December 2016. He is a member of the editorial board of IEEE Transactions on Automation Science and Engineering, IEEE Control Letters since December 2016 and of IEEE Control System Society Conference Editorial Board since September 2007.