Principles of Modeling for Cyber-Physical Systems

University of Virginia

A tentative schedule is posted below. Detailed lecture by lecture schedule will be posted soon.

Module	Topic	Resources
	Course introduction	Lecture 1
	First-principles and state-space modeling	Lecture 2
Energy CPS	Energy CPS and HVAC basics	Lecture 3
Energy CPS	‘RC’ network building modeling	Lecture 4
Energy CPS	Introduction to EnergyPlus + Tutorial	Lecture 5
Energy CPS	Parameter estimation algorithms	Lecture 6
Energy CPS	Model validation	Lecture 7
Energy CPS	Model Sensitivity Analysis	Lecture 8
Energy CPS	Model Predictive Control	Lecture 9

Medical CPS	Med CPS overview + implantable Cardiac devices	Lecture 10 Lecture 11
Medical CPS	Virtual heart modeling with timed automata	Lecture 12
Medical CPS	Model checking	Lecture 13
Medical CPS	UPPAAL tutorial	Worksheet 7 out Worksheet 6 due
Medical CPS	Simulink model walkthrough
Medical CPS	UPPAAL worksheet discussion	Worksheet 7 due. Reading assignment
Medical CPS	Parameter synthesis for timed automata
Medical CPS	Other heart models
Automotive CPS	Automotive CPS overview	Lecture
Automotive CPS	Perception, planning, and control for autonomous cars.
Automotive CPS	NN and multilayer perceptron	Lecture
Automotive CPS	Convolution NN	Lecture
Automotive CPS	End-to-end learning overview	Lecture
Automotive CPS	Auto CPS implementation discussion + walkthrough
Automotive CPS	Data-driven modeling other examples Tree based models, ensemble learning
	Course wrap up.