CS Colloquium Series @ UCY

Department of Computer Science - University of Cyprus

The Department of Computer Science at the University of Cyprus holds research colloquiums and social hours approximately once weekly. All university students, faculty, and staff are invited to attend. Notifications about new and upcoming events are automatically disseminated to a variety of institutional lists.
If you don't receive these notifications, but want to get informed about upcoming colloquium announcements, you can do the following:
mail List rss RSS Directions Directions

Colloquium Coordinator: Demetris Zeinalipour

Colloquium: Towards secure control of cyber-physical systems, Prof. Nacim Ramdani (University of Orléans, France), Wednesday, October 2, 2019, 10:00-11:00 EET.


The Department of Computer Science at the University of Cyprus cordially invites you to the Colloquium entitled:

Towards secure control of cyber-physical systems

 

Speaker: Prof. Nacim Ramdani
Affiliation: University of Orléans, France
Category: Colloquium
Location: Room 148, Faculty of Pure and Applied Sciences (FST-01), 1 University Avenue, 2109 Nicosia, Cyprus (directions)
Date: Wednesday, October 2, 2019
Time: 10:00-11:00 EET
Host: Dr. Demetris Zeinalipour (dzeina-AT-cs.ucy.ac.cy) and Prof. Constantinos Pattichis (pattichi-AT-cs.ucy.ac.cy)
URL: https://www.cs.ucy.ac.cy/colloquium/index.php?speaker=cs.ucy.2019.ramdani

Abstract:
Autonomous robots and most today’s critical infrastructures are cyber-physical systems (CPS) that operate in highly networked environments as they need to communicate remotely with control and management systems. This feature makes them more vulnerable to cyber-attacks. For instance, a scenario of importance is posed by a malicious adversary that can arbitrarily corrupt the measurements of a subset of (remote) sensors in the CPS. Because sensor measurements data are used to generate control commands, corrupted measurements data will lead to corrupted commands, thus critically affecting the behaviour of the CPS. From a control theory perspective, one needs to develop algorithms and architectures for the detection of cyber-attacks on either sensors or actuators, and the mitigation of their impact on the resilience and the overall performance of the CPS. State-of-the-art methods often consider active attack detection, control algorithms that work directly with encrypted sensor data, or secure state estimation methods that show resilience when sensors are under cyber-attacks. In this talk, first, I will briefly review recent literature on cyber-security from the perspective of control theory. Then, I will describe our approach to secure state estimation, a secure interval state estimator for linear continuous-time systems with discrete-time measurements subject to both bounded-error noise and cyber-attacks. The interval state estimator is modelled as an impulsive system, where impulsive corrections are made periodically using measurement. The approach includes a new selection strategy that can endow the state estimation with resiliency to attacks, when assuming that only a subset of the whole set of sensors can be attacked although this subset is unknown a priori. The approach will be illustrated in simulation with robot navigation under cyber-attack.

Short Bio:
Nacim Ramdani received the Engineer degree from Ecole Centrale de Paris, France, in 1990, the Ph.D. degree from the University Paris-Est Creteil, France, in 1994 and the Habilitation in 2005. Since September 2010, he has been a Full Professor at the University of Orleans (IUT de Bourges) affiliated with the Laboratoire PRISME EA 4229 University of Orleans - INSA Centre Val de Loire. He has been the head of the Robotics and ICT group within the Laboratoire PRISME since 2018. From 1996 to 2010, he was Associate Professor with the University Paris-Est Creteil. He was affiliated with the LIRMM CNRS Montpellier during 2005-2010 and also on secondment with the INRIA during 2007-2009. He is the co-Chair of the workgroup group on Verification and Synthesis of Cyber-Physical Systems within the French research group on Automatic Control (GDR MACS). His current research interests revolve around correct-by-construction synthesis of cyber-physical and autonomous systems in presence of uncertainty, faults or cyber-attacks. He works mainly on interval observers, set-membership state estimation, and data fusion techniques, with applications to healthcare, autonomous robotics, smart homes and smart grids. Personal webpage: https://agora.bourges.univ-orleans.fr/ramdani/

Note:
The colloquium is co-organized with the IEEE Signal Processing Society - Cyprus Chapter

  Web: https://www.cs.ucy.ac.cy/colloquium/
  Mailing List: https://listserv.cs.ucy.ac.cy/mailman/listinfo/cs-colloquium
  RSS: https://www.cs.ucy.ac.cy/colloquium/rss.xml
  Calendar: https://www.cs.ucy.ac.cy/colloquium/schedule/cs.ucy.2019.ramdani.ics