Corso per il dottorato ICT nell’ambito del progetto Dipartimenti di Eccellenza – “Networked Control Systems: Robustness and Security” Prof. B.Sinopoli (inizio 09.07.2018)

Orari

  • 09 Luglio ore 10:30-12:30 – Aula MOD4 (Cubo 39C – IV piano)
  • 10 Luglio ore 10:30-12:30 – Aula Seminari DIMES (Cubo 42C, V piano)
  • 11 Luglio ore 10:30-12:30 – Aula Seminari DIMES (Cubo 42C, V piano)
  • 12 Luglio ore 10:30-12:30 – Aula MOD4 (Cubo 39C – IV piano)

Abstract:

Networked Control Systems: Robustness and Security

Recent advances in sensing, communication and computing allow cost effective deployment in the physical world of large-scale networks of sensors and actuators, enabling fine grain monitoring and control of a multitude of physical systems and infrastructures. Networked Control Systems (NCS) lie at the intersection of control, communication and computing.

The close interplay among these fields renders independent design of the control, communication, and computing subsystems a risky approach, as separation of concerns does not constitute a realistic assumption in real world scenarios.

Modern NCS raise significant engineering challenges because of their scale, their need to bridge physical and software domains, and their need to operate efficiently, securely and reliably.

This class aims at illustrating innovative methods and tools for two critical sub-problems:
Robustness

The increasing use of off-the shelf non dedicated networking to handle communication among components and/or subsystems, e.g. sensors, controllers, actuators, raises the issue of reliability, as packets may be lost or delayed in such a way that they are rendered useless for control purposes. The nexus between communication and control needs to be studied and new analysis and design paradigm need to be developed.

We will review recent models and analysis methods for the interaction between sensing, communication and computing infrastructure to enable robust design of decision making mechanisms.

Security/Resilience

NCS must to be able to detect malicious attacks, to guarantee continuity of operations with gracefully decreased functionalities, and to ultimately thwart attacks by reconfiguring and restoring full functionality. Security must enter the design process ab initio and not as an afterthought. Existing NCS design is driven principally by performance/cost considerations, resulting in brittle systems that are susceptible to both physical and cyber side attacks.

We will present models to integrate security in the system design process, by defining classes of threats and offer an overview of recently developed methodologies for analysis and design of attack resilient control systems.

Prerequisites: System theory, Automatic Control, basic knowledge of random variable and random processes, Kalman Filtering, Linear Quadratic Gaussian (LQG) control

Textbook:

  • Notes to be distributed to students
  • Set of reference research papers

Reference books:

Linear Algebra

    • G. Strang, Linear Algebra and Its Applications. Brooks Cole; 4th edition. ISBN-13: 978-0030105678, ISBN-10: 0030105676
    • R. A. Horn, C. R. Johnson, Matrix Analysis. Cambridge University Press, ISBN-10: 0521386322, ISBN-13: 978-0521386326
    • S. Roman, Advanced Linear Algebra, Springer, 2008

ISBN-13: 978-0387728285, ISBN-10: 0387728287

Linear Systems

    • C.T. Chen, Linear Systems, Theory and Design, 4th edition. Oxford University Press, 2012 ISBN-13: 978-0199959570, ISBN-10: 0199959579
    • F. Callier & C.A. Desoer, Linear Systems. Springer-Verlag, 1991

ISBN-13: 978-1461269618, ISBN-10: 146126961X

 

Short Bio:

Bruno Sinopoli  received the Dr.Eng. degree from the University of Padova, Padova, Italy, in 1998 and the M.S. and Ph.D. degrees in electrical engineering from the University of California at Berkeley, Berkeley, CA, USA, in 2003 and 2005, respectively.After a postdoctoral position at Stanford University, he joined the faculty at Carnegie Mellon University, Pittsburgh, PA, USA, where he is a Full Professor in the Department of Electrical and Computer Engineering with courtesy appointments in Mechanical Engineering and in the Robotics Institute and Codirector of the Smart Infrastructure Institute, a research center aimed at advancing innovation in the modeling analysis and design of smart infrastructure. His research interests include networked embedded control systems, distributed estimation and control, with applications to wireless sensor-actuator networks and cyber-physical systems security.Dr. Sinopoli was awarded the 2006 Eli Jury Award for outstanding research achievement in the areas of systems, communications, control, and signal processing at University of California, Berkeley, the 2010 George Tallman Ladd Research Award from Carnegie Mellon University, the NSF Career award in 2010,

Microsoft Indoor Localization Competition, winners in the infrastructure-based category, at IPSN 2015 with Patrick Lazik, Niranjini Rajagopal, Oliver Shih, and Anthony Rowe http://research.microsoft.com/en-us/events/indoorloccompetition2015/ and Chaires Internationales, Universite’ Libre de Bruxelles, 2012.