An STL-based Approach to Resilient Control for Cyber-Physical Systems

We present ResilienC, a framework for resilient control of Cyber-Physical Systems subject to STL-based requirements. ResilienC utilizes a recently developed formalism for specifying CPS resiliency in terms of sets of $(\mathit{rec},\mathit{dur})$ real-valued pairs, where $\mathit{rec}$ represents the system's capability to rapidly recover from a property violation (recoverability), and $\mathit{dur}$ is reflective of its ability to avoid violations post-recovery (durability). We define the resilient STL control problem as one of multi-objective optimization, where the recoverability and durability of the desired STL specification are maximized. When neither objective is prioritized over the other, the solution to the problem is a set of Pareto-optimal system trajectories. We present a precise solution method to the resilient STL control problem using a mixed-integer linear programming encoding and an a posteriori $\epsilon$-constraint approach for efficiently retrieving the complete set of optimally resilient solutions. In ResilienC, at each time-step, the optimal control action selected from the set of Pareto-optimal solutions by a Decision Maker strategy realizes a form of Model Predictive Control. We demonstrate the practical utility of the ResilienC framework on two significant case studies: autonomous vehicle lane keeping and deadline-driven, multi-region package delivery.Comment: 11 pages, 6 figure

The Kootenay Technology Sector Assessment

Rural Resilienc

State of the Basin 2019

Rural Resilienc

Executive Summary - Exploring Opportunities for Cannabis Tourism in the Kootenay Rockies

Rural Resilienc

Exploring Opportunities for Cannabis Tourism in the Kootenay Rockies: A Knowledge Synthesis of Models, Drivers, and Risks

Rural Resilienc

Origins of Disruptions Sources Framework to Support the Enterprise Resilience Analysis

[EN] The business environment is increasingly unstable and enterprises have to face more frequently threats that put the business continuity at risk. In light of this, enterprises need to be resilient enough to manage these undesired situations. The analysis of enterprise resilience is a very difficult task, and since the beginning supporting approaches to guide this task are required. Based on the Categorisation Framework of Disruptions developed by Sanchis and Poler (2014), the present research aims at defining and characterizing the origins of disruptions sources to classify the potential disruptive events. To do so, the origins of the disruptions sources framework is defined as a supporting mechanism to make available to both, companies and researchers, valuable information in an organised manner to facilitate the retrieval of the necessary data to assess the enterprise resilience capacity and focus the research on the most critical origins of disruptions sources.Sanchis, R.; Poler, R. (2019). Origins of Disruptions Sources Framework to Support the Enterprise Resilience Analysis. IFAC-PapersOnLine. 52(13):2062-2067. https://doi.org/10.1016/j.ifacol.2019.11.509S20622067521

Youth work: a systematic map of the research literature.

This is the first systematic international map of youth work research. It provides a unique resource for investigating the content of youth work, how it is delivered and the terms in which it is assessed, both in formal evaluations of its impact and by children and young people themselves. It provides a valuable basis for developing an evidence-informed approach to policy and practice