Abstract : Cyber-Physical System (CPS) integrates digital or cyber components with physical objects (e.g. machines, autonomous vehicles) and data with various capabilities of communication, data generation, data processing, computation, decision making, and action. CPS is an integrated system involving Sensors, Communication, Actuators, Control, interconnected computing networks, and data analytics. They 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 principles and foundations of modeling and analysis of cyber physical systems. This will begin with reviewing the concepts of embedded systems design and gradually transition towards advanced system modeling such as synchronous and asynchronous models, modeling hybrid systems, etc., with primary focus on the top-level system design and in particular on the interplay between software components and physical dynamics.
Learning Objective : Upon completion of this tutorial, the audience will have the capability to:
Time : 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.
Dr. Nilotpal Chakraborty : Currently working as an Assistant Professor in Computer Science and Engineering at the Indian Institute of Information Technology Kottayam. 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 smart grid, demand response, scheduling algorithms, electric vehicles, and cyber physical systems. Email: email@example.com, firstname.lastname@example.org
Dr. Angshuman Jana : 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 also served as an Assistant Professor at the Motilal Nehru National Institute of Technology Allahabad. His research interests include Formal Methods, Programming Languages, Static Analysis and Verification, Information Flow Security Analysis, Abstract Interpretation, Model checking. Email: email@example.com