Dipartimento di Ingegneria Elettrica ed Elettronica
UniversitÓ di Cagliari, Italy


Course: Analysis and Control of Cyber-Physical Systems
Master Degree in: Ingegneria Elettronica
Semester/Credits/Hours: Spring semester, 6 credits, 60 h
Instructor: Alessandro Giua - email: giua@unica.it
Ufficio: DIEE pad B, 3║ piano.   Tel: 070-675-5751
Web site: https://www.alessandro-giua.it/UNICA/ACCPS

NEWS:.

  • Classes during Easter 2020. In the period April 9-14 two classes will be offered via Miscrosoft Teams. THU April 9, 15:00-17:00. TUE April 14, 17:10-19:10.
  • Classes for the 2020 course will be offered in videoconference.
  • The course is in English.

  • [Syllabus]

    Texbook: A. Giua, Notes for the course Analysis and Control of Cyber-Physical Systems, 2020. (see material)

    Homeworks: [Hw1] [Hw2] [Hw3] [Hw4] [Hw5]

    Schedule 2020 :
    TUESDAY17:10-18:50 hvia Adobe connect/Microsoft Teams
    THURSDAY13:50-15:30 hvia Adobe connect/Microsoft Teams.
    FRIDAY110:30-12:!0 hvia Adobe connect/Microsoft Teams.

    Office hours: Via Microsoft Teams, by appointment (preferably WED 16-17h; TH>U 16-17h).

    Tutors

    • Diego DEPLANO (diego.deplano@unica.it)
    • Chao GU (gcmorninggc@gmail.com)

    Presentation

    The course provides an introduction to cyber-physical systems (CPSs), i.e., dynamical systems composed by logical components (driven by event occurrences) interacting with physical components (described by time-driven models). From a control systems perspective CPSs are hybrid systems, combining discrete event and continuous dynamics. The course is structured into two parts. The first part presents discrete event systems and supervisory control. The second part is devoted to the modeling and analysis of hybrid systems and introduces some approaches for stability and stabilization of switched systems.


    Syllabus

    1. Classification of dynamical systems (2h lecture)
      Time-driven systems. Discrete-event systems. Hybrid systems.
    2. Automata models for discrete event systems (10h lecture + 4h homework)
      Formal languages: alphabets and words, languages and operators. Deterministic finite automata: languages and properties. Nondeterministic finite automata and their languages. Equivalence between deterministic and nondeterministic automata. Fault diagnosis using automata: diagnoser, diagnosability. Modeling with automata and concurrent composition.
    3. Supervisory control of discrete event systems (6h lecture + 2h homework)
      Plant, specification, supervisor and closed-loop system. Controllability and supremal controllable sublanguage. Supervisory design for language specifications. Supervisory design for state specifications.
    4. Hybrid systems and hybrid automata (8h lecture+ 2h homework + 2h lab)
      State variable models of time-driven systems. Examples of hybrid systems. Autonomous hybrid automata and generalizations. Hybrid automata with inputs. Evolution of a hybrid automaton. Pathological cases of continuous and hybrid evolutions.
    5. Stability and stabilization of linear switched systems (8h lecture + 4h homework/ lab)
      Elements of stability for linear and time invariants systems. Direct method of Lyapunov. Quadratic forms and singular values. Stability analysis of switched systems by common Lyapunov function. Quadratic Stabilization Stabilization by slow switching.
    6. Hybrid models for infectious disease propagation (6h lecture + 6h homework/project) The switched SIR model: model formulation and choice of the parameters. Seasonal variations in disease transmission. Modeling with population dynamics. Absence of immunity: the SIS model. Multi-city epidemics: modeling travel infections. Control strategies: containment, vaccination.

    References


    Evaluation Students attending classes are offered the option of passing the course by handing in the homework and either taking a final written test or discussing a project. All other exams are oral.