Department of Automatic Control and Systems Engineering
University of Sheffield, United Kingdom
Biography: Professor Daniel Coca is Head of Department of Automatic Control & Systems Engineering and Director of the Centre for Signal Processing and Complex Systems at the University of Sheffield, United Kingdom. He received his MEng degree in Electrical Engineering from Transilvania University of Brasov in 1993 and his PhD degree in Automatic Control and Systems Engineering from the University of Sheffield in 1997. His research interests include modelling, analysis, and control of complex systems, inverse problems, diffuse optical tomography and biological data analysis.
To reach him, please visit https://www.sheffield.ac.uk/acse/staff/dc.
Image Processing and Pattern Recognition Research Center,
Computer Science Department
Technical University of Cluj-Napoca, Romania
Biography: Sergiu Nedevschi is a Professor in Computer Science within Technical University of Cluj-Napoca (TUCN) and the Director of the Research Center for Image Processing and Pattern Recognition.
He received his Masters and Ph.D. from Technical University of Cluj-Napoca in 1975 and 1993. He was a Senior Research Fellow for the “Research Institute for Computer Technologies of Cluj-Napoca”, an Assistant and Associate Professor and now is full Professor in Computer Science at TUCN.
He was the Head of the Computer Science Department, the Dean of the Automation and Computer Science Faculty and now is the Vice Rector of TUCN in charge with Scientific Research and ICT.
He is currently teaching Image Processing (3th year), Pattern Recognition (4th year), Artificial Vision (master), Artificial Vision for Autonomous Driving (master). He established, in 1998, the “Research Center for Image Processing and Pattern Recognition” that has main researches in stereo vision based perception, advanced driving assistance and autonomous driving.
He was involved in more than 80 research projects, being the coordinator of 60 of them. The industrial cooperation with important automotive players like Volkswagen AG, Robert Bosch GMBH, SICK AG and research institutes such as VTT, INRIA was achieved through funded research projects.
He is the author/coauthor of 20 books and over 300 papers from which more than 90 journal papers.
He is IEEE member, member of IEEE Romania Section Committee in charge with educational activities and Associate Editor of several IEEE conferences and journals. He has also received many national and international awards and honors.
To reach him, please visit http://users.utcluj.ro/~nedevschi/.
Systems Research Institute, Polish Academy of Sciences
Biography: Marcin Paprzycki is an associate professor at the Systems Research Institute, Polish Academy of Sciences. He has an MS from Adam Mickiewicz University in Poznań, Poland, a PhD from Southern Methodist University in Dallas, Texas, and a Doctor of Science from the Bulgarian Academy of Sciences. He is a senior member of IEEE, a senior member of ACM, a Senior Fulbright Lecturer, and an IEEE CS Distinguished Visitor. He has contributed to more than 450 publications and was invited to the program committees of over 500 international conferences. He is on the editorial boards of 12 journals and a book series.
To reach him, please visit http://www.ibspan.waw.pl/~paprzyck/.
Talk title: Towards semantic interoperability in the Internet of Things
Abstract: Lack of interoperability of Internet of Things (IoT) platforms / systems / applications (artifacts) is being recognized as an important issue that prevents faster development of IoT ecosystems (including Smart Grids / Homes / Neighborhoods, office buildings, etc.). Acknowledging this problem, the European Commission has funded seven research projects that are to address it. While interoperability can be considered on many levels, here we are interested in semantic interoperability. This is also the focus of current presentation. Based on our recent work, we came to the conclusion that we have to assume that: (1) research should focus on joining at least three artifacts (to avoid “two-platform-simplifications” that can easily “distort judgment”), and (ii) existing IoT artifacts cannot be easily changed (resistance of stakeholders) and / or do not have semantics represented in the OWL language. We also have to assume that, at least for the time being, process of joining multiple IoT artifacts will be guided by representatives of stakeholders (we thus omit considerations related to the discovery and inclusion of services “from the WWW”). Therefore, we have proposed the following approach leading towards establishing semantic interoperability within IoT ecosystems: (1) Modular ontology consisting of: (a) core vocabulary of the IoT, and (b) domain specific modules (facilitating communication concerning given “topic” – one or more modules for each “topic”) has to be developed. (2) Semantics of each artifact has to be extracted and lifted to OWL (providing foundation for semantic translations). (3) Translators (bidirectional – producer and consumer) between the “local vocabulary” and the “lifted vocabulary” have to be created. (4) Alignments (“directional”) between ontologies representing each entity, and appropriately selected modules of the central ontology have to be instantiated and stored. They will be later used in data translations. It should be stressed that, while each step is supported with a set of tools (usability of which depends on the specific situation), none of them can be completed automatically. In other words, it is necessary to have a “human in the loop” to make sure that the resulting vocabularies, alignments, etc. are appropriately high quality. The aim of the presentation will be to provide details of the above described proposal for reaching semantic interoperability in IoT ecosystems. Research presented in the talk is being supported by EU-H2020-ICT grant INTER-IoT 687283.
Department of Electrical and Electronic Engineering
University of Cagliari, Italy
Biography: Carla Seatzu received the Laurea degree in Electrical Engineering and her Ph.D. degree in Electronic and Computer Engineering from the University of Cagliari, Italy, in 1996 and 2000, respectively. Since 2011 she is Associate Professor of Automatic Control at the Department of Electrical and Electronic Engineering of the University of Cagliari, which she joined in 2002 as an Assistant Professor. In 2013 she got the Italian National Abilitation to Full Professor of Automatic Control.
She is Vice-President of the Faculty Committee of Engineering and Architecture and Vice-Coordinator of the Ph.D. Program in Electronic and Computer Engineering at the University of Cagliari.
Carla Seatzu’s research interests include discrete-event systems, Petri nets, hybrid systems, networked control systems, manufacturing and transportation systems. She is author of more than 230 publications, including 60+ papers in international journals, 10+ chapters in international books, and one textbook. She is editor of two international books and the proceedings of two international conferences. Her h-index in Scopus is equal to 26.
Actually she is Senior Editor of the IEEE Control Systems Letters, and Associate Editor of 3 international journals: IEEE Trans. on Automatic Control, IEEE Trans. on Automation Science, and Discrete Event Dynamic Systems. She has also intensively collaborated to the organization of international events. In particular, she was Workshop Chair of the 55th IEEE Conf. on Decision and Control (2016), and General Co-chair of the 18th IEEE Int. Conf. on Emerging Technologies and Factory Automation (2013).
To reach her, please visit http://www.diee.unica.it/~seatzu/info_eng.html.
Talk title: Verification of opacity in discrete event systems
Abstract: Security is one of the most important properties in cyberinfrastructures, ranging from Internet and mobile communication networks to national defense and health service systems. In these systems some information should not be corrupted or acquired by unauthorized people (called intruders). The notion of opacity formalizes the absence of information flow, or more precisely, the impossibility for an intruder to infer the truth of a predicate representing the secret information. In discrete event systems the predicate can be a subset of the state space or a language, therefore, opacity properties can be categorized into two main classes: state-based opacity and language-based opacity. In this talk the focus will be on state-based opacity. More precisely, two state-based opacity properties will be considered: current-state opacity and initial-state opacity. Special attention will be devoted to systems modeled with Petri nets.