Your experience on this site will be improved by allowing cookies
Computer Science and Engineering
CSE
Cyber-physical systems (CPS), which consist of physical systems tightly integrated and/or controlled by software, are ubiquitous in many safety critical domains, including automotive, avionics, railways, healthcare, atomic energy, power, and industrial automation. The principles of design and implementation of cyber-physical systems are remarkably different from that of other embedded systems because of the tight integration of real valued and dense time real time systems with software based discrete automated control. The objective of this course is to develop an exposition of the challenges in implementing a cyber-physical system from a computational perspective, but based equally on the principles of automated control. The course aims to expose the student to real world problems in this domain and provide a walk through the design and validation problems for such systems. With the advent of Al techniques, their increased use in CPS is also a promising growth vertical along with the necessity of safety assurance. In this course we also touch upon concepts of Neural Network based decision making for Continuous Systems while guaranteeing safety and stability using control theoretic constraint solving.
0 Reviews
Prof. Dey joined the Dept. of CSE, IIT Kgp in May 2013. He worked at IIT Patna as Assistant Professor in CSE Dept. from 2012 to 2013. He received a B.E. degree in Electronics and Telecommunication Engg. from Jadavpur University, Kolkata in 2004. and an M.S. followed by PhD degree in Computer Science from Indian Institute of Technology, Kharagpur in 2007 and 2011 respectively. His research interests include 1) Synthesis and Verification of Safe, Secure and Intelligent Cyber Physical Systems, 2) Runtime Systems for Heterogeneous Platforms.