Overview
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.
Objectives
The primary objectives of the course are as follows:
Introduce participants to the fundamentals of modeling cyber-physical systems (CPS) consisting of both discrete and continuous dynamics through several examples.
Provide an overview of design automation and verification problems and the related decidability and complexity results.
Expose the participants to state-of-the-art algorithms and tools for analyzing CPS.
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
Speakers
 |
Dr. Sayan Mitra |
 |
Dr. Purandar Bhaduri |