THE INFLUENCE OF ADVERTISING ON THE DEMAND FORECASTING

This paper deals with the notion of approximate probabilistic bisimulation (APB) relation for discrete-time labeled Markov Chains (LMC). In order to provide a quantified upper bound on a metric over probabilistic realizations for LMC, we exploit the structure and properties of the APB and leverage the mathematical framework of Markov set- Chains. Based on this bound, the article proves that the existence of an APB implies the preservation of robust PCTL formulae, which are formulae that allow being properly relaxed or strengthened, according to the underlying APB. This leads to a notion of robustness for probabilistic model checking. Copyright 2012 ACM

Optimal co-design of control, scheduling and routing in multi-hop control networks

A Multi-hop Control Network consists of a plant where the communication between sensors, actuators and computational units is supported by a (wireless) multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. Given a SISO LTI plant, we will address the problem of co-designing a digital controller and the network parameters (scheduling and routing) in order to guarantee stability and maximize a performance metric on the transient response to a step input, with constraints on the control effort, on the output overshoot and on the bandwidth of the communication channel. We show that the above optimization problem is a polynomial optimization problem, which is generally NP-hard. We provide sufficient conditions on the network topology, scheduling and routing such that it is computationally feasible, namely such that it reduces to a convex optimization problem.Comment: 51st IEEE Conference on Decision and Control, 2012. Accepted for publication as regular pape

Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks

A MIMO Multi-hop Control Network (MCN) consists of a MIMO LTI system where the communication between sensors, actuators and computational units is supported by a (wireless) multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. We provide necessary and sufficient conditions on the plant dynamics and on the communication protocol configuration such that the Fault Detection and Isolation (FDI) problem of failures and malicious attacks to communication nodes can be solved.Comment: 6 page

Fault Tolerant Stabilizability of Multi-Hop Control Networks

A Multi-hop Control Network (MCN) consists of a plant where the communication between sensor, actuator and computational unit is supported by a wireless multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. We address the problem of characterizing controllability and observability of a MCN, by means of necessary and sufficient conditions on the plant dynamics and on the communication scheduling and routing. We provide a methodology to design scheduling and routing, in order to satisfy controllability and observability of a MCN for any fault occurrence in a given set of configurations of failures.Comment: Accepted for publication; Proceedings of the 18th IFAC World Congress, Milan, Italy, 201

Feedback stabilization of dynamical systems with switched delays

We analyze a classification of two main families of controllers that are of interest when the feedback loop is subject to switching propagation delays due to routing via a wireless multi-hop communication network. We show that we can cast this problem as a subclass of classical switching systems, which is a non-trivial generalization of classical LTI systems with timevarying delays. We consider both cases where delay-dependent and delay independent controllers are used, and show that both can be modeled as switching systems with unconstrained switchings. We provide NP-hardness results for the stability verification problem, and propose a general methodology for approximate stability analysis with arbitrary precision. We finally give evidence that non-trivial design problems arise for which new algorithmic methods are needed

Digital Self Triggered Robust Control of Nonlinear Systems

In this paper we develop novel results on self triggering control of nonlinear systems, subject to perturbations and actuation delays. First, considering an unperturbed nonlinear system with bounded actuation delays, we provide conditions that guarantee the existence of a self triggering control strategy stabilizing the closed--loop system. Then, considering parameter uncertainties, disturbances, and bounded actuation delays, we provide conditions guaranteeing the existence of a self triggering strategy, that keeps the state arbitrarily close to the equilibrium point. In both cases, we provide a methodology for the computation of the next execution time. We show on an example the relevant benefits obtained with this approach, in terms of energy consumption, with respect to control algorithms based on a constant sampling, with a sensible reduction of the average sampling time.Comment: Proceedings of the 50th IEEE CDC-ECC, Orlando, Florida, USA, 201