“Formal Methods for the Control of Cyber Physical Systems with Logic Specifications” - Giordano Pola - Università dell’Aquila
A challenging paradigm in the design of modern engineered systems is Cyber-Physical Systems (CPS). CPS are complex, heterogeneous, spatially distributed systems where physical processes interact with distributed computing units through nonideal communication networks. Key features of CPS are heterogeneity and complexity. Indeed, while dierential equations generally describe physical processes, computing units are typically described by finite state machines. Moreover, communication infrastructures convey information in subsystems of CPS and are characterized by a number of non–idealities, needed for robust control design of such systems. The paradigm of symbolic models is promising of being appropriate in coping with the inherent heterogeneity of CPS.
Symbolic models are abstract descriptions of control systems, where any state corresponds to an aggregate of continuous states and any control label to an aggregate of control inputs. Since symbolic models oer a sound approach for solving control problems in which software and hardware interact with the physical world, as in the case of CPS.
In this talk, Prof. Pola will give an overview and show an approach based on symbolic models for the control design of CPS. He will first show how a symbolic model can be constructed to approximates a nonlinear control system with any desired accuracy. He then will show how this symbolic model can be used to design digital and quantized controllers for enforcing complex logic specifications on the original nonlinear system. Finally, he will discuss how to extend these results to more realistic scenarios, including disturbance inputs, time-delays in the state and control variables evolution, nonideal communication infrastructures, etc. Techniques to tame the computational complexity of the approach taken will also be briefly discussed.