ECE149/249: Introduction to Cyber-physical Systems (Winter 2019)

GENERAL INFORMATION:

Lectures: Tuesday and Thursday 4pm to 5:45pm, J. Baskin Engr 372

Office hours: T 3:00 to 4:00 pm and Th noon to 1:00 pm both at E2-321

COURSE DESCRIPTION

Cyber-physical systems combine digital and analog devices, interfaces, networks, computer sys- tems, and the like with the natural and man-made physical world. The inherent interconnected and heterogeneous combination of behaviors in these systems makes their analysis and design a challenging task. Safety and reliability specifications imposed in cyber-physical applications, which are typically translated into stringent robustness standards, aggravate the matter. Unfortunately, state-of-the-art tools for system analysis and design cannot cope with the intrinsic complexity in cyber-physical systems. Tools suitable for analysis and design of cyber-physical systems must allow a combination of physical or continuous dynamics and the cyber or computational components, as well as handle a variety of types of perturbations, such as exogenous disturbances, time delays, and system failures.

This course provides an introduction to modeling and analysis of cyber-physical systems. After an introduction to the class of systems of interest via examples in engineering and science, several models of continuous-time systems and discrete-time systems are introduced. The main focus is on models in terms of differential equations for the modeling of physical process. Finite state machines and stateflow are introduced and combined with the physical models. Applications of the resulting models for modeling and analysis of embedded systems are discussed. With this basic background, the more advanced timed automata and hybrid automata models are introduced. Then, linear temporal logic, which is the main tool taught in this class, is introduced and applied to specify the desired system behavior. Tools for analytical study and numerical verification of the satisfaction of linear temporal logic formulae are presented and discussed in numerous applications.

TOPICS: This course will cover: Introduction to continuous-time systems; Modeling of physical processes; Linear time-invariant systems; Numerical simulation of differential equations; Introduction to discrete-time systems and return maps; Finite state machines; Event triggered systems; Stateflow; Timed automata; Hybrid automata; Concurrency; Invariants; Linear temporal logic; Introduction to verification.

A short demonstration of hardware/software modules available for projects is available here

The webpage for a previous edition of this course is available here

https://hybrid.soe.ucsc.edu/cmpe142-2014

RECORDED LECTURES: https://www.youtube.com/playlist?list=PL0D9aSF-4i_JqGqJ7aXdBGS1HR_lWVh_Q

TENTATIVE SCHEDULE

*Lecture 1*: Introduction to cyber-physical systems (slides).

*Lecture 2*: Models of physical systems.

*Lecture 3*: Simulation of physical systems and introduction to models of cyber components.

*Lecture 4*: Finite-state machines.

*Lecture 5*: Discrete systems.

*Lecture 6*: Models of interfaces.

*Lecture 7*: Cyber-physical systems models as interconnections.

*Lecture 8*: Executions.

*Lecture 9*: Summary of models.

*In-class Midterm*

*Lecture 10*: Invariants.

*Lecture 11*: Attractivity.

*Lecture 12*: Stability.

*Lecture 13*: Temporal logic (part 1).

*Lecture 14*: Temporal logic (part 2).

*Lecture 15*: Robustness.

*Lecture 16*: Verification.