Principles of Modeling for Cyber-Physical SystemsUniversity of Virginia
Topics to be coveredThe course is divided into three modules, each covering a different CPS domain, a different modeling principle, and a different domain specific tool. The following specific topics will be covered in the this course.
Module 1: Energy CPS - predictive controlBuildings consume nearly half of all energy produced in the United States. 75% of all electricity produced in the U.S. is used to just operate buildings. You will learn how first-principles of physics can be used to create a ‘thermal’ RC-network model of the energy-use dynamics of any building. We will train and evaluate these models using real data from buildings. We will then use these models to optimize the operation of the building’s heating, ventilation, and air-conditioning (HVAC), and lighting systems to make them more energy and cost-efficient. We will also explore alternative data-driven methods for building modeling. You will learn to use the following tools: EnergyPlus, MLE+,Matlab (SysID,StateSpace) Module 2: Medical CPS - model checkingLife-saving medical devices, like pacemakers and defibrillators, require a rigorous approach to verifying their safety. How do we ensure that the software on implantable medical devices will perform safely under all conditions? We will first tackle the question: How do you mathematically model the human heart? We will use timed automata to create a virtual heart electrophysiology model which will allow us to formally verify implantable cardiac devices. You will learn about the principles model checking, and verification. You will learn to use the following tools: Simulink, StateFlow, UPPAAL Module 3: Automotive CPS - end-to-end autonomous drivingEnd-to-end learning where direct camera inputs can be converted into control actions for an autonomous vehicle is redefining the way we think about modeling automotive systems. In this fast paced module, you will learn about how to model and test automotive control systems. You will learn how to generate code directly from the model implementation. We will then learn about deep convolution networks and use them for designing an end-to-end learning module for a self driving car. You will learn to use the following tools: TensorFlow/PyTorch |