First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Science
COMPUTER SCIENCE
Course unit
FORMAL METHODS FOR CYBER-PHYSICAL SYSTEMS
SCP9087560, A.A. 2019/20

Information concerning the students who enrolled in A.Y. 2019/20

Information on the course unit
Degree course Second cycle degree in
COMPUTER SCIENCE
SC1176, Degree course structure A.Y. 2014/15, A.Y. 2019/20
N0
bring this page
with you
Number of ECTS credits allocated 6.0
Type of assessment Mark
Course unit English denomination FORMAL METHODS FOR CYBER-PHYSICAL SYSTEMS
Website of the academic structure http://informatica.scienze.unipd.it/2019/laurea_magistrale
Department of reference Department of Mathematics
Mandatory attendance No
Language of instruction Italian
Branch PADOVA
Single Course unit The Course unit can be attended under the option Single Course unit attendance
Optional Course unit The Course unit can be chosen as Optional Course unit

Lecturers
Teacher in charge DAVIDE BRESOLIN INF/01

ECTS: details
Type Scientific-Disciplinary Sector Credits allocated
Core courses INF/01 Computer Science 6.0

Course unit organization
Period First semester
Year 1st Year
Teaching method frontal

Type of hours Credits Teaching
hours
Hours of
Individual study
Shifts
Lecture 6.0 48 102.0 No turn

Calendar
Start of activities 30/09/2019
End of activities 18/01/2020
Show course schedule 2019/20 Reg.2014 course timetable

Examination board
Board From To Members of the board
1 a.a. 2019/2020 01/10/2019 28/02/2021 BRESOLIN DAVIDE (Presidente)
CONTI MAURO (Membro Effettivo)
BALDAN PAOLO (Supplente)
DE LEONI MASSIMILIANO (Supplente)
VARDANEGA TULLIO (Supplente)

Syllabus
Prerequisites: The course requires familiarity with automata theory, theory of computation and calculus. There are no preparatory courses.
Target skills and knowledge: A cyber-physical system consists of a collection of computing devices interacting with the physical world via sensors and actuators in a feedback loop. Such systems are increasingly pervasive in modern societies, from smart buildings to medical devices to automobiles. This course offers an introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems, providing the following knowledge and skills:
1. Being able to model a cyber-physical system.
2. Being able to formulate the properties that the system should respect in a mathematically precise way.
3. Being able to design and implement a verification algorithm for cyber-physical systems.
4. Being able to execute the implementation on a test case and to understand and analyze the results.
Examination methods: Oral exam and/or project
Assessment criteria: The evaluation criteria are the following:
1. Completeness of the acquired knowledge;
2. Property of the technical terminology used;
3. Ability to model a cyber-physical system and the required properties
3. Ability to use formal verification tools for cyber-physical systems
4. Ability to design and implement verification algorithms for cyber-physical systems
Course unit contents: Cyber-Physical Systems: definition and key features.
Formal models for cyber-physical systems: synchronous and asynchronous models, timed and hybrid models.
Analysis of cyber-physical systems: safety and liveness properties, dynamical systems and control properties.
Planned learning activities and teaching methods: The course mixes traditional lectures, laboratory activities and active learning activities. The lectures are intended to provide the basic knowledge on the topics. The active learning activities allow students to confront themselves with the content of the course, by asking questions, formulating hypotheses, and verifying them through experiments.
In laboratory activities, students will be able to implement and test the methodologies and algorithms on simple case studies.
Additional notes about suggested reading: The course has a dedicated section on the Moodle of the Department of Mathematics. The Moodle will collect the handouts of the course, the detailed specifications of the individual laboratories, the exercises and their solutions. It will also be used for communications and updates by the teacher.
Textbooks (and optional supplementary readings)
  • Alur, Rajeev, Principles of cyber-physical systemsRajeev Alur. Cambridge: MS, MIT, 2015. Cerca nel catalogo