82,104 research outputs found
Value of Information in Feedback Control
In this article, we investigate the impact of information on networked
control systems, and illustrate how to quantify a fundamental property of
stochastic processes that can enrich our understanding about such systems. To
that end, we develop a theoretical framework for the joint design of an event
trigger and a controller in optimal event-triggered control. We cover two
distinct information patterns: perfect information and imperfect information.
In both cases, observations are available at the event trigger instantly, but
are transmitted to the controller sporadically with one-step delay. For each
information pattern, we characterize the optimal triggering policy and optimal
control policy such that the corresponding policy profile represents a Nash
equilibrium. Accordingly, we quantify the value of information
as the variation in the cost-to-go of the system given
an observation at time . Finally, we provide an algorithm for approximation
of the value of information, and synthesize a closed-form suboptimal triggering
policy with a performance guarantee that can readily be implemented
A log mining approach for process monitoring in SCADA
SCADA (Supervisory Control and Data Acquisition) systems are used for controlling and monitoring industrial processes. We propose a methodology to systematically identify potential process-related threats in SCADA. Process-related threats take place when an attacker gains user access rights and performs actions, which look legitimate, but which are intended to disrupt the SCADA process. To detect such threats, we propose a semi-automated approach of log processing. We conduct experiments on a real-life water treatment facility. A preliminary case study suggests that our approach is effective in detecting anomalous events that might alter the regular process workflow
SimpactCyan 1.0 : an open-source simulator for individual-based models in HIV epidemiology with R and Python interfaces
SimpactCyan is an open-source simulator for individual-based models in HIV epidemiology. Its core algorithm is written in C++ for computational efficiency, while the R and Python interfaces aim to make the tool accessible to the fast-growing community of R and Python users. Transmission, treatment and prevention of HIV infections in dynamic sexual networks are simulated by discrete events. A generic “intervention” event allows model parameters to be changed over time, and can be used to model medical and behavioural HIV prevention programmes. First, we describe a more efficient variant of the modified Next Reaction Method that drives our continuous-time simulator. Next, we outline key built-in features and assumptions of individual-based models formulated in SimpactCyan, and provide code snippets for how to formulate, execute and analyse models in SimpactCyan through its R and Python interfaces. Lastly, we give two examples of applications in HIV epidemiology: the first demonstrates how the software can be used to estimate the impact of progressive changes to the eligibility criteria for HIV treatment on HIV incidence. The second example illustrates the use of SimpactCyan as a data-generating tool for assessing the performance of a phylodynamic inference framework
- …