English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Cyber-physical systems (CPS) are required to satisfy safety constraints invarious application domains such as robotics, industrial manufacturing systems,and power systems. Faults and cyber attacks have been shown to cause safetyviolations, which can damage the system and endanger human lives. Resilientarchitectures have been proposed to ensure safety of CPS under such faults andattacks via methodologies including redundancy and restarting from safeoperating conditions. The existing resilient architectures for CPS utilizedifferent mechanisms to guarantee safety, and currently there is no approach tocompare them. Moreover, the analysis and design undertaken for CPS employingone architecture is not readily extendable to another. In this paper, wepropose a timing-based framework for CPS employing various resilientarchitectures and develop a common methodology for safety analysis andcomputation of control policies and design parameters. Using the insight thatthe cyber subsystem operates in one out of a finite number of statuses, wefirst develop a hybrid system model that captures CPS adopting any of thesearchitectures. Based on the hybrid system, we formulate the problem of jointcomputation of control policies and associated timing parameters for CPS tosatisfy a given safety constraint and derive sufficient conditions for thesolution. Utilizing the derived conditions, we provide an algorithm to computecontrol policies and timing parameters relevant to the employed architecture.We also note that our solution can be applied to a wide class of CPS withpolynomial dynamics and also allows incorporation of new architectures. Weverify our proposed framework by performing a case study on adaptive cruisecontrol of vehicles.

A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint