- cmpe 142: introduction to cyber-physical systems (cps) 0 · broad scope of cyber-physical systems...

51
CMPE 142: Introduction to Cyber-physical Systems (CPS) Ricardo Sanfelice Department of Computer Engineering Hybrid Dynamics and Control Lab University of California, Santa Cruz

Upload: others

Post on 11-Jul-2020

6 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

CMPE 142: Introduction toCyber-physical Systems (CPS)

Ricardo SanfeliceDepartment of Computer EngineeringHybrid Dynamics and Control LabUniversity of California, Santa Cruz

Page 2: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Broad Scope of Cyber-physical Systems

Cyber-physicalSystems

ComputerNetworks

Nonsmoothmechanical

systems

Digitalcontrol

Multi-modecontrol

SwitchingCircuits

PowerNetworks

+

_

(

(

(

(

(

(

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 3: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Broad Scope of Cyber-physical Systems

Systems of today feature:

I Heterogeneous components and interfaces(e.g. humans, networks, analog/digital devices).

I Modular hardware for flexibility andreconfigurability.

I Distributed coordination and control.

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 4: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Broad Scope of Cyber-physical Systems

Systems of today feature:

I Heterogeneous components and interfaces(e.g. humans, networks, analog/digital devices).

I Modular hardware for flexibility andreconfigurability.

I Distributed coordination and control.

plant

controller

u x

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 5: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Broad Scope of Cyber-physical Systems

Systems of today feature:

I Heterogeneous components and interfaces(e.g. humans, networks, analog/digital devices).

I Modular hardware for flexibility andreconfigurability.

I Distributed coordination and control.

plant

controller

u x

multiple control lawscontrol logic

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 6: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Broad Scope of Cyber-physical Systems

Systems of today feature:

I Heterogeneous components and interfaces(e.g. humans, networks, analog/digital devices).

I Modular hardware for flexibility andreconfigurability.

I Distributed coordination and control.

plant

controller

u x

multiple control lawscontrol logic

distributed

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 7: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Broad Scope of Cyber-physical Systems

Systems of today feature:

I Heterogeneous components and interfaces(e.g. humans, networks, analog/digital devices).

I Modular hardware for flexibility andreconfigurability.

I Distributed coordination and control.

plant

controller

u x

multiple control lawscontrol logic

interface interface

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 8: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Broad Scope of Cyber-physical Systems

Systems of today feature:

I Heterogeneous components and interfaces(e.g. humans, networks, analog/digital devices).

I Modular hardware for flexibility andreconfigurability.

I Distributed coordination and control.

plant

controller

u x

multiple control lawscontrol logic

interface interfaceda

ad

ZOH

net

environment

perturbations

human interaction

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 9: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Sample CPS Projects

Feedback Control for Smart Grids

I Hetereogeneous networked power sources,buses, users, and loads

I Conversion required between differentwaveforms

I Dynamic demands and supplies

I Multiple time scales(e.g., fast and slow switching)

Classical approaches:

I Steady-state and averaged models

I Linear control design

I Bening conditions

~

Fuel Cells

Storage

Common AC bus

Electric power grid

Common DC bus

...

...

AC loads

DC loads

PV system

DC

DC

DC

AC

DC

AC

DC

AC

DC

AC

Communication

and Control bus

~

Turbine

Diesel Generator

~

array

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 10: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Sample CPS ProjectsPower Conversion for Smart Grids

I Renewables provide power with highfluctuation

I DC/DC conversion is required beforeinjection to the grid

I Adaptive DC/AC conversion

s1

s2

s4

s3

ell, ril

c0

vc

ic

Hybrid

VDC

DC/AC

io so vg

Controller

High Penetration of RenewablesU.S.: 20% by 2030Europe: 16% by 2020

~

Fuel Cells

Storage

Common AC bus

Electric power grid

Common DC bus

...

...

AC loads

DC loads

PV system

DC

DC

DC

AC

DC

AC

DC

AC

DC

AC

Communication

and Control bus

~

Turbine

Diesel Generator

~

array

Collaboration with Sandia NationalLabs on testing of control algo-rithms in their platform (DETL)

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 11: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Sample CPS ProjectsPower Conversion for Smart Grids

I Renewables provide power with highfluctuation

I DC/DC conversion is required beforeinjection to the grid

I Adaptive DC/AC conversion

s1

s2

s4

s3

ell, ril

c0

vc

ic

Hybrid

VDC

DC/AC

io so vg

Controller

High Penetration of RenewablesU.S.: 20% by 2030Europe: 16% by 2020

~

Fuel Cells

Storage

Common AC bus

Electric power grid

Common DC bus

...

...

AC loads

DC loads

PV system

DC

DC

DC

AC

DC

AC

DC

AC

DC

AC

Communication

and Control bus

~

Turbine

Diesel Generator

~

array

Collaboration with Sandia NationalLabs on testing of control algo-rithms in their platform (DETL)

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 12: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Sample CPS ProjectsPower Conversion for Smart Grids

I Renewables provide power with highfluctuation

I DC/DC conversion is required beforeinjection to the grid

I Adaptive DC/AC conversion

s1

s2

s4

s3

ell, ril

c0

vc

ic

Hybrid

VDC

DC/AC

io so vg

Controller

High Penetration of RenewablesU.S.: 20% by 2030Europe: 16% by 2020

~

Fuel Cells

Storage

Common AC bus

Electric power grid

Common DC bus

...

...

AC loads

DC loads

PV system

DC

DC

DC

AC

DC

AC

DC

AC

DC

AC

Communication

and Control bus

~

Turbine

Diesel Generator

~

array

Collaboration with Sandia NationalLabs on testing of control algo-rithms in their platform (DETL)

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 13: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Sample CPS Projects

dynamic communication

network Adversaries

Static and Mobile Agents

Control of Reconfigurable Multi-Robot Systems

I Groups of heterogeneousnetworked agents

I Adversaries can disruptthe network(jamming, destructive actions)

I Locations and capabilitiesunknown

Scenarios of DoD interest:

I Electronic warfare

I Satellite communications

I Disaster relief

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 14: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Sample CPS Projects

Reconfigurable Satellite Communications

I Dynamic ground-satellite links

I Dynamic signal-to-noise ratio oncommunication channels

I Jamming attacks (MILSATCOM) LEO

GEOJammer

Satelliteground

dynamic

network

M1

M3

Mi

M2

A1 A2

Recent initiatives, such asthe National BroadbandPlan, challenge the tradi-tional FCC approach to allo-cating spectrum, requestinga new U.S. spectrum policyallowing for dynamic alloca-tion and utilization.

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 15: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Sample CPS Projects

Reconfigurable Satellite Communications

I Dynamic ground-satellite links

I Dynamic signal-to-noise ratio oncommunication channels

I Jamming attacks (MILSATCOM) LEO

GEOJammer

Satelliteground

dynamic

network

M1

M3

Mi

M2

A1 A2

Recent initiatives, such asthe National BroadbandPlan, challenge the tradi-tional FCC approach to allo-cating spectrum, requestinga new U.S. spectrum policyallowing for dynamic alloca-tion and utilization.

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 16: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Sample CPS Projects

Control of Aerial Vehicles with Limited and Faulty Sensors

I Autonomous recovery control

I Low cost sensing for autonomous navigation

I Sensor failures affect stability and performance

UAVs in the National Air Space(NAS): 2012 bill giving FAA threeyears to “integrate” UAVs into theNAS (set policies, standards, etc.)

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 17: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Sample CPS Projects

Control of Aerial Vehicles with Limited and Faulty Sensors

I Autonomous recovery control

I Low cost sensing for autonomous navigation

I Sensor failures affect stability and performance

UAVs in the National Air Space(NAS): 2012 bill giving FAA threeyears to “integrate” UAVs into theNAS (set policies, standards, etc.)

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 18: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Sample CPS Projects

Control of Aerial Vehicles with Limited and Faulty Sensors

I Autonomous recovery control

I Low cost sensing for autonomous navigation

I Sensor failures affect stability and performance

UAVs in the National Air Space(NAS): 2012 bill giving FAA threeyears to “integrate” UAVs into theNAS (set policies, standards, etc.)

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 19: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Sample CPS Projects

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 20: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

What’s CMPE 142 about?

I Systems that combine physical and cyber components,potentially networked and with computations integrated withphysical processphysical = physical plant/process/networkcyber = software/algorithm/computation

I Modeling of the physical and the cyber

I Tools to analyze the behavior of systems with bothcomponents

tools solely for the physical or for cyber do not apply

I Understand core theoretical concepts needed to study CPS

I Apply tools and concepts to a CPS application

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 21: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

What’s CMPE 142 about?

I Systems that combine physical and cyber components,potentially networked and with computations integrated withphysical process

physical = physical plant/process/networkcyber = software/algorithm/computation

I Modeling of the physical and the cyber

I Tools to analyze the behavior of systems with bothcomponents

tools solely for the physical or for cyber do not apply

I Understand core theoretical concepts needed to study CPS

I Apply tools and concepts to a CPS application

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 22: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

What’s CMPE 142 about?

I Systems that combine physical and cyber components,potentially networked and with computations integrated withphysical processphysical = physical plant/process/networkcyber = software/algorithm/computation

I Modeling of the physical and the cyber

I Tools to analyze the behavior of systems with bothcomponents

tools solely for the physical or for cyber do not apply

I Understand core theoretical concepts needed to study CPS

I Apply tools and concepts to a CPS application

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 23: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

What’s CMPE 142 about?

I Systems that combine physical and cyber components,potentially networked and with computations integrated withphysical processphysical = physical plant/process/networkcyber = software/algorithm/computation

I Modeling of the physical and the cyber

I Tools to analyze the behavior of systems with bothcomponents

tools solely for the physical or for cyber do not apply

I Understand core theoretical concepts needed to study CPS

I Apply tools and concepts to a CPS application

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 24: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

What’s CMPE 142 about?

I Systems that combine physical and cyber components,potentially networked and with computations integrated withphysical processphysical = physical plant/process/networkcyber = software/algorithm/computation

I Modeling of the physical and the cyber

I Tools to analyze the behavior of systems with bothcomponents

tools solely for the physical or for cyber do not apply

I Understand core theoretical concepts needed to study CPS

I Apply tools and concepts to a CPS application

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 25: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

What’s CMPE 142 about?

I Systems that combine physical and cyber components,potentially networked and with computations integrated withphysical processphysical = physical plant/process/networkcyber = software/algorithm/computation

I Modeling of the physical and the cyber

I Tools to analyze the behavior of systems with bothcomponents

tools solely for the physical or for cyber do not apply

I Understand core theoretical concepts needed to study CPS

I Apply tools and concepts to a CPS application

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 26: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

What’s CMPE 142 about?

I Systems that combine physical and cyber components,potentially networked and with computations integrated withphysical processphysical = physical plant/process/networkcyber = software/algorithm/computation

I Modeling of the physical and the cyber

I Tools to analyze the behavior of systems with bothcomponents

tools solely for the physical or for cyber do not apply

I Understand core theoretical concepts needed to study CPS

I Apply tools and concepts to a CPS application

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 27: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

What’s CMPE 142 about?

I Systems that combine physical and cyber components,potentially networked and with computations integrated withphysical processphysical = physical plant/process/networkcyber = software/algorithm/computation

I Modeling of the physical and the cyber

I Tools to analyze the behavior of systems with bothcomponents

tools solely for the physical or for cyber do not apply

I Understand core theoretical concepts needed to study CPS

I Apply tools and concepts to a CPS application

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 28: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Course Description

Cyber-physical systems combine digital and analog devices, inter-faces, networks, computer systems, and the like with the naturaland man-made physical world. The inherent interconnected andheterogeneous combination of behaviors in these systems makestheir analysis and design a challenging task. Safety and relia-bility specifications imposed in cyber-physical applications, whichare typically translated into stringent robustness standards, aggra-vate the matter. Unfortunately, state-of-the-art tools for systemanalysis and design cannot cope with the intrinsic complexity incyber-physical systems. Tools suitable for analysis and designof cyber-physical systems must allow a combination of phys-ical or continuous dynamics and the cyber or computationalcomponents, as well as handle a variety of types of perturbations,such as exogenous disturbances, time delays, and system failures.

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 29: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 30: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 31: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 32: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 33: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 34: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 35: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 36: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 37: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 38: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 39: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 40: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 41: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 42: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 43: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Plan of Work

I Continuous-time systems

I Modeling of physical processes

I Linear time-invariant systems

I Numerical simulation of differential equations

I Discrete-time systems and return maps

I Finite state machines

I Event triggered systems

I Stateflow

I Timed automata

I Hybrid automata

I Concurrency

I Invariants

I Linear temporal logic

I Verification

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 44: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Some Items in Fine Print

Prerequisites: The course is self contained. Students are expectedto have basic background on logic circuits (CMPE 100 orequivalent), programming (CMPE 13 or equivalent), mathematicalmodeling of dynamical systems (CMPE 8 recommended),differential equations, linear algebra, and basic calculus.Knowledge of Matlab/Simulink will be useful.

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 45: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Some Items in Fine Print

Structure and Grading Scheme:

I Homework will account for 20% of final grade.Schedule: ≈ one HW every other week.

I Quizz, will account for 10% of final grade.Schedule: announced 1.5 days in advance.

I Midterm, 20% of final grade.Schedule: 4pm on 11/04, in class.

I Final, 30% of final grade.Schedule: 4pm on 12/15, in class.

I Presentations and project report, 20% of final grade.Schedule: Presentations on 12/11, in class; final projectreport due 5pm on 12/17.

Talk about the Project...

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 46: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Some Items in Fine Print

Structure and Grading Scheme:

I Homework will account for 20% of final grade.Schedule: ≈ one HW every other week.

I Quizz, will account for 10% of final grade.Schedule: announced 1.5 days in advance.

I Midterm, 20% of final grade.Schedule: 4pm on 11/04, in class.

I Final, 30% of final grade.Schedule: 4pm on 12/15, in class.

I Presentations and project report, 20% of final grade.Schedule: Presentations on 12/11, in class; final projectreport due 5pm on 12/17.

Talk about the Project...

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 47: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Some Items in Fine Print

Structure and Grading Scheme:

I Homework will account for 20% of final grade.Schedule: ≈ one HW every other week.

I Quizz, will account for 10% of final grade.Schedule: announced 1.5 days in advance.

I Midterm, 20% of final grade.Schedule: 4pm on 11/04, in class.

I Final, 30% of final grade.Schedule: 4pm on 12/15, in class.

I Presentations and project report, 20% of final grade.Schedule: Presentations on 12/11, in class; final projectreport due 5pm on 12/17.

Talk about the Project...

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 48: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Some Items in Fine Print

Structure and Grading Scheme:

I Homework will account for 20% of final grade.Schedule: ≈ one HW every other week.

I Quizz, will account for 10% of final grade.Schedule: announced 1.5 days in advance.

I Midterm, 20% of final grade.Schedule: 4pm on 11/04, in class.

I Final, 30% of final grade.Schedule: 4pm on 12/15, in class.

I Presentations and project report, 20% of final grade.Schedule: Presentations on 12/11, in class; final projectreport due 5pm on 12/17.

Talk about the Project...

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 49: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Some Items in Fine Print

Structure and Grading Scheme:

I Homework will account for 20% of final grade.Schedule: ≈ one HW every other week.

I Quizz, will account for 10% of final grade.Schedule: announced 1.5 days in advance.

I Midterm, 20% of final grade.Schedule: 4pm on 11/04, in class.

I Final, 30% of final grade.Schedule: 4pm on 12/15, in class.

I Presentations and project report, 20% of final grade.Schedule: Presentations on 12/11, in class; final projectreport due 5pm on 12/17.

Talk about the Project...

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 50: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Some Items in Fine Print

Structure and Grading Scheme:

I Homework will account for 20% of final grade.Schedule: ≈ one HW every other week.

I Quizz, will account for 10% of final grade.Schedule: announced 1.5 days in advance.

I Midterm, 20% of final grade.Schedule: 4pm on 11/04, in class.

I Final, 30% of final grade.Schedule: 4pm on 12/15, in class.

I Presentations and project report, 20% of final grade.Schedule: Presentations on 12/11, in class; final projectreport due 5pm on 12/17.

Talk about the Project...

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz

Page 51: - CMPE 142: Introduction to Cyber-physical Systems (CPS) 0 · Broad Scope of Cyber-physical Systems Cyber-physical Systems Computer Networks Nonsmooth mechanical systems Digital control

Some Items in Fine Print

Structure and Grading Scheme:

I Homework will account for 20% of final grade.Schedule: ≈ one HW every other week.

I Quizz, will account for 10% of final grade.Schedule: announced 1.5 days in advance.

I Midterm, 20% of final grade.Schedule: 4pm on 11/04, in class.

I Final, 30% of final grade.Schedule: 4pm on 12/15, in class.

I Presentations and project report, 20% of final grade.Schedule: Presentations on 12/11, in class; final projectreport due 5pm on 12/17.

Talk about the Project...

Ricardo Sanfelice - Associate Professor - Computer Engineering - University of California, Santa Cruz