Cyber-physical systems (CPS) result from a tight integration of computing and networking technologies with the physical world. Such systems are at the heart of technological innovations in diverse industries such as aerospace, automotive, manufacturing, robotics and healthcare. For example, algorithms are improving fuel efficiency, driving experience and safety in cars. Manufacturing, healthcare and aerospace systems are undergoing similar transformations. Auditing or checking the correctness of these systems is a grand challenge problem. This course gives the necessary background in formal methods, automated deduction and control theory to introduce the participants to the state-of-the art techniques in modeling and analysis of CPS. The substance of this course provides the scientific basis for regulations and standards that make vehicles and autonomous systems safer, more secure and can also help them meet privacy and fairness expectations.


The primary objectives of the course are as follows:

  1. Introduce participants to the fundamentals of modeling cyber-physical systems (CPS) consisting of both discrete and continuous dynamics through several examples.

  2. Provide an overview of design automation and verification problems and the related decidability and complexity results.

  3. Expose the participants to state-of-the-art algorithms and tools for analyzing CPS.

  4. Provide exposure to practical applications of modeling and verification through case studies.

Important Dates

  • Deadline for Course Registration through GIAN portal: December 3, December 13, 2017 (second round)

  • Announcement of Selected Applicants: December 4, December 14, 2017 (second round)

  • Uploading scanned copy of DD for registration fee payment: December 9, December 19, 2017 (second round)

  • Due date for receiving registration fee: December 15, December 26, 2017 (second round)

  • Course Schedule: January 01, 2018 – January 05, 2018


Sayan Mitra 

Dr. Sayan Mitra
Associate Professor
Electrical and Computer Engineering
University of Illinois at Urbana-Champaign
Illinois, USA

Purandar Bhaduri 

Dr. Purandar Bhaduri
Department of Computer Science & Engineering
Indian Institute of Technology Guwahati