Seminar Details
2014-03-04 (14.00) : Formal methods for analysis and co-design of Wireless Networked Control Systems
At Euler building
Organized by Mathematical Engineering
Speaker :
Alessandro D'Innocenzo (University of L'Aquila)
Abstract :
Wireless networked control systems (WNCS) are distributed control systems where the communication between sensors, actuators, and computational units is supported by a wireless communication network. In
this talk we propose to model a wireless networked control system by discrete-time stochastic hybrid systems (dtSHS). We propose a methodology based on finite abstractions of a dtSHS for analysis and co-design of
controller and communication parameters of a WNCS, where the control specifications are given using temporal logics. In particular, we illustrate and apply an abstraction algorithm to approximate the infinite dimensional dtSHS as a finite dimensional Markov Decision Process (MDP), and combine standard optimization methods over MDPs and stochastic model checking algorithms to perform power control in order to minimize the energy consumption while satisfying probabilistic safety constraints on the controlled physical system. We prove and use error bounds on the approximation error induced by the abstraction to validate the effectiveness of the control policy designed over the MDP, when applied to the original dtSHS model.