Analysis and Control of Cyberphysical Systems

Academic Year 2022/2023

General information

First year, first semester, 9 CFU
Computer Engineering Master Degree

The course is available on Handy, the e-learning platform used by University of Sannio.

Class schedule

Monday,11.00-13.00
Tuesday, 14.00-16.00
Wednesday, 9.00-11.00

Tutoring schedule

Wednesday, 11.00-13.00 @teacher office (send an e-mail for confirming)

Course outline

Cyber-physical systems: an overview.
Modeling, design and analysis of CPSs.
Data analysis: linear regression.
Numerical simulation: continuous time, discrete time and hybrid systems.
Discrete systems.
Finite State Machines.
Timed Automata.
Composition of FSM.
Synchronous reactive models.
Synchronous dataflow models.
Discrete event systems.

Books

Textbook (required):

Edward A. Lee and Sanjit A. Seshia, “Introduction to Embedded Systems, A Cyber-Physical Systems Approach”, Second Edition, PDF available, ISBN 978-1-312-42740-2, 2015.

Course objective

To introduce students to cyber-physical systems giving on overview of their complexity and proposing methodologies aimed to cope with modeling, design and analysis (testing and validation) of such a wide class of systems. Applicative example and some software tools will be presented.

Format of course

Lectures and laboratory (numerics, Matlab/Simulink)

Outcome evaluation

Home working (optional) and oral exams

Luigi Iannelli