30 research outputs found
An STL-based Formulation of Resilience in Cyber-Physical Systems
Resiliency is the ability to quickly recover from a violation and avoid
future violations for as long as possible. Such a property is of fundamental
importance for Cyber-Physical Systems (CPS), and yet, to date, there is no
widely agreed-upon formal treatment of CPS resiliency. We present an STL-based
framework for reasoning about resiliency in CPS in which resiliency has a
syntactic characterization in the form of an STL-based Resiliency Specification
(SRS). Given an arbitrary STL formula , time bounds and
, the SRS of , , is the STL formula
, specifying
that recovery from a violation of occur within time
(recoverability), and subsequently that be maintained for duration
(durability). These -expressions, which are atoms in our SRS logic,
can be combined using STL operators, allowing one to express composite
resiliency specifications, e.g., multiple SRSs must hold simultaneously, or the
system must eventually be resilient. We define a quantitative semantics for
SRSs in the form of a Resilience Satisfaction Value (ReSV) function and
prove its soundness and completeness w.r.t. STL's Boolean semantics. The
-value for atoms is a singleton set containing a
pair quantifying recoverability and durability. The -value for a composite
SRS formula results in a set of non-dominated recoverability-durability pairs,
given that the ReSVs of subformulas might not be directly comparable (e.g., one
subformula has superior durability but worse recoverability than another). To
the best of our knowledge, this is the first multi-dimensional quantitative
semantics for an STL-based logic. Two case studies demonstrate the practical
utility of our approach.Comment: 16 pages excluding references and appendix (23 pages in total), 6
figure
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
real-valued pairs, where
represents the system's capability to rapidly recover from a property violation
(recoverability), and 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 -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
MagTrack
"Hands on the wheel, eyes on the road" is the central guideline of safe vehicle driving practices. Many advanced driver assistance systems can effectively detect abnormal vehicle motions. However, these systems often leave insufficient time for drivers to respond to complex road situations, especially when the drivers are distracted. To reduce accidents, it is essential to detect whether a driver complies with safe driving guidelines in real time and provide warnings early before any dangerous maneuvers occur. There are vision-based driver distraction monitoring systems which rely on cameras in high-end vehicles, but their performances are heavily constrained by visibility requirements. In this paper, we present MagTrack, a driver monitoring system that is based on tracking magnetic tags worn by the user. With a single smartwatch and two low-cost magnetic accessories: a hand magnetic ring and a head magnetic eyeglasses clip, our system tracks and classifies a driver's bimanual and head movements simultaneously using both analytical and approximation sensing models. Our approach is robust to driver's postures, vehicles, and environmental changes. We demonstrate that a wide range of activities can be detected by our system, including bimanual steering, visual and manual distractions, and lane changes and turns. In extensive road tests with 500+ instances of driving activities and 500+ minutes of road driving with 10 subjects, MagTrack achieves 87% of precision and 90% of recall rate on the detection of unsafe driving activities
Early Fault Diagnosis of Bearings Using an Improved Spectral Kurtosis by Maximum Correlated Kurtosis Deconvolution
The early fault characteristics of rolling element bearings carried by vibration signals are quite weak because the signals are generally masked by heavy background noise. To extract the weak fault characteristics of bearings from the signals, an improved spectral kurtosis (SK) method is proposed based on maximum correlated kurtosis deconvolution (MCKD). The proposed method combines the ability of MCKD in indicating the periodic fault transients and the ability of SK in locating these transients in the frequency domain. A simulation signal overwhelmed by heavy noise is used to demonstrate the effectiveness of the proposed method. The results show that MCKD is beneficial to clarify the periodic impulse components of the bearing signals, and the method is able to detect the resonant frequency band of the signal and extract its fault characteristic frequency. Through analyzing actual vibration signals collected from wind turbines and hot strip rolling mills, we confirm that by using the proposed method, it is possible to extract fault characteristics and diagnose early faults of rolling element bearings. Based on the comparisons with the SK method, it is verified that the proposed method is more suitable to diagnose early faults of rolling element bearings