Principles of Modeling for Cyber-Physical Systems

University of Virginia

Matlab

Several assignments require the use of Matlab products and toolboxes.

Campus-wide license for MATLAB, Simulink, and companion toolboxes

MathWorks has created a web portal for UVa faculty, staff, and students to download, install and activate the latest version of Matlab and the toolboxes included as part of the campus-wide license.
The portal also provides access to the MathWork’s online course offerings.
The following URL starts the process of accessing the MathWorks portal.
http://its.virginia.edu/software/matlab.html
Contact res-consult@virginia.edu for questions regarding access to Matlab licenses.

Course assignments will be posted here.



Assignment 1 : State-Space Modeling in Matlab

Assignment 1
Due Date: 11 September, 2018 at 2:00pm (EST) i.e. before the lecture
Submit on UVA collab. Upload a single .zip file with the filename [firstname_lastname_UVA_computing_ID].zip


Assignment 2 : Thermal 'RC" Modeling

Assignment 2
Due Date: 25 September, 2018 at 2:00pm (EDT) i.e. before the lecture
Non-programming assignment. Submit in-person or on UVA collab. Upload a single .pdf file with the filename [firstname_lastname_UVA_computing_ID].pdf


Assignment 3 : EnergyPlus and RC Model Parameters

Assignment 3
MATLAB Code Template
Due Date: 04 October, 2018 at 2:00pm (EDT) i.e. before the lecture
Upload a single .zip file with the filename [firstname_lastname_UVA_computing_ID].zip

Assignment 4 : Parameter Estimation and Model Evaluation

Assignment 4
MATLAB Code Template
Due Date: 11 October, 2018 at 11:59pm (EDT)
Upload a single .zip file with the filename [firstname_lastname_UVA_computing_ID].zip

Worksheet 1 : Simulink and Stateflow Background

Simulink Worksheet
No submission required.

Suggested Reading : Cardiac Pacemaker StepByStep

CardiacPMStepByStep-Part1

CardiacPMStepByStep-Part2
No submission required.

Assignment 5 : Heart Modeling using Simulink/Stateflow

Assignment 5
Simulink Model Template
Due Date: 6 November, 2018 at 11:59pm (EDT)
Upload a single .zip file with the filename [firstname_lastname_UVA_computing_ID].zip

Assignment 6 : Transition Systems and Linear Temporal Logic

Assignment 6
Due Date: 15 November, 2018 at 2:00 pm (EDT)
You may upload and submit a single PDF file with the filename [firstname_lastname_UVA_computing_ID].PDF or hand in your solutions before the lecture.

Suggested Tutorial : UPPAAL Small Tutorial

UPPAAL_small_tutorial
No submission required. This is the tutorial used in the video lecture 19