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.