TUTORIAL – HALF DAY SESSION
Verifying the Functionalities of Cyber Physical Systems: From Theory to Practices

Abstract : Cyber-Physical System (CPS) integrates digital or cyber components with physical objects (e.g. robotic machines, autonomous vehicles) and data with various capabilities of communication, data generation, data processing, computation, decision making, and action. These systems are increasingly pervading their ways to all parts of our lives where applications range from agriculture and healthcare to energy, manufacturing and social networks. Advances in CPS will enable new capabilities and improved adaptability, scalability, and usability that will far exceed those current embedded systems. Therefore, there is a need to create an integrated ecosystem for convergence among all stakeholders towards CPS technology development and practical implementations. This tutorial is intended to cover primarily the functionalities of and analysis of CPS. In particular, we will cover the safetyness and liveness properties of CPS, which ensure that the system behaves correctly and as per the requirements of the design. For example, in a self-driving car, a safety property would be that the car does not collide with obstacles or pedestrians. On the other hand, Liveness property ensures that the car continues to make progress towards its intended goal, which is reaching the destination.

Learning Objective : Upon completion of this tutorial, the audience will have the capability to:

• Understand the fundamentals of Cyber Physical Systems.
• Analyze the safetyness of CPS using Boolean logic and expressions, safety invariants, Binary Decision Diagrams, and obtain Reduced Ordered Binary Decision Diagrams for CPS
• Learn about Linear Temporal Logic and Buchi Automata for the Liveness properties of CPS.
• Case studies on real-world CPS applications using state-of-the-art CPS modeling languages.

Expected Length of the Tutorial : 4 hours

Intended Audience : Bachelors students, Masters students, Researchers, and PhD scholars in Computer Science and Engineering/ Electronics/ Robotics and Automation. Basic Knowledge on Algorithms, and optimization problems would be desirable.

Instructor :

Dr. Nilotpal Chakraborty : Currently working as an Assistant Professor in Computer Science and Engineering at the Indian Institute of Information Technology Guwahati. He has obtained his PhD in Computer Science and Engineering from the Indian Institute of Technology Patna in 2019. He has worked as a Postdoctoral Researcher at Department of Computer Science, Aalborg University, Denmark, and at EMAX Group, Belgium, as an IT Solution and Innovation Expert. His research interests include Scheduling and Optimization in smart grid and electric vehicles, AI and Blockchain for Cyber Physical Systems.

Email: nilotpal@iiitg.ac.in