SS 11 - AI, Machine Learning and Formal Methods for Safe and Secure Real-time Cyber-Physical Systems

Special Session Organized by

Muhammad Taimoor Khan, University of Greenwich, UK and Dimitrios Serpanos, 2 ISI Athena, ECE, University of Patras, Greece and Howard Shrobe, MIT CSAIL, USA

Download Call for Papers

Click here to download the session cfp.


Modern industrial control systems has evolved into industrial cyber-physical systems (ICPS) and Industrial Internet-of-Things (IIOTs), which combines cyber and physical industrial processes together using control and monitoring techniques. Typically, these systems have applications in all critical infrastructure domains with strict real-time requirements, e.g., healthcare, electric grid, transportation, to name a few. Any intentional or accidental error/threat to such systems have very severe consequences. Therefore, novel design methodologies are required to ensure that design of real-time cyber physical system applications (RT-CPS) is free of certain vulnerabilities and attacks. Since, physical process of CPS involves many such systems, thus, it is very challenging to ensure that the design is free from all known vulnerabilities or attacks. Therefore, it is required to develop run-time monitoring and analysis techniques that can help to detect run-time threats by observing the processes and their data. Furthermore, adequate modelling of CPS physical processes and corresponding cyber and physical attacks is fundamental to systematically model, analyse and verify real-time security of CPS. Importantly, since AI and machine learning has demonstrated their success in many application areas including cyber security, this special session is focused on investigating AI, machine learning and formal methods based techniques to develop safe and secure real-time cyber physical systems.

Topics under this session include (but not limited to)

  • AI, machine learning and formal verification based
    • Modelling of cyber and physical threats
    • Prevention techniques for real - time CPS(RT - CPS) applications against cyber and physical threats
    • Detection techniques for RT - CPS applications against cyber and physical threats
    • Mitigation techniques for RT-CPS applications against cyber and physical threats
    • Vulnerability analysis of RT-CPS applications
    • False data injection attacks in RT-CPS applications
  • Performance analysis of RT-CPS security
  • RT-ICS network and communication security
  • Benchmarks for security and safety of RT-CPS
  • Challenges in modelling, analysis and security of RT-CPS