"We use a discrete-time stochastic hybrid system (dtSHS) to model a networked control system (NCS) where measures and control signals are exchanged via a single-hop wireless communication channel affected by slow fading. We 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 safety constraints. We 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."
Hybrid power control on a wireless networked control system
D'INNOCENZO, ALESSANDRO;Rinaldi C;DI BENEDETTO, MARIA DOMENICA;SANTUCCI, FORTUNATO
2012-01-01
Abstract
"We use a discrete-time stochastic hybrid system (dtSHS) to model a networked control system (NCS) where measures and control signals are exchanged via a single-hop wireless communication channel affected by slow fading. We 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 safety constraints. We 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."Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
