Frequency-temporal-logic-based bearing fault diagnosis and fault interpretation using Bayesian optimization with Bayesian neural networks
Rolling element bearings are widely used components in modern rotary machines, and
accurate diagnosis and interpretation for faults of bearings are significant for equipment …
accurate diagnosis and interpretation for faults of bearings are significant for equipment …
Offline and online learning of signal temporal logic formulae using decision trees
G Bombara, C Belta - ACM Transactions on Cyber-Physical Systems, 2021 - dl.acm.org
In this article, we focus on inferring high-level descriptions of a system from its execution
traces. Specifically, we consider a classification problem where system behaviors are …
traces. Specifically, we consider a classification problem where system behaviors are …
[HTML][HTML] Safety exploration using Gaussian process classification for uncertain systems
In this paper, a novel method for identifying safe and unsafe regions of the system's
uncertain parameter space is proposed. For a given set of performance requirements, such …
uncertain parameter space is proposed. For a given set of performance requirements, such …
Active fuzzing for testing and securing cyber-physical systems
Cyber-physical systems (CPSs) in critical infrastructure face a pervasive threat from
attackers, motivating research into a variety of countermeasures for securing them …
attackers, motivating research into a variety of countermeasures for securing them …
Specification mining and robust design under uncertainty: A stochastic temporal logic approach
In this paper, we propose Stochastic Temporal Logic (StTL) as a formalism for expressing
probabilistic specifications on time-varying behaviors of controlled stochastic dynamical …
probabilistic specifications on time-varying behaviors of controlled stochastic dynamical …
Mining environment assumptions for cyber-physical system models
S Mohammadinejad, JV Deshmukh… - 2020 ACM/IEEE 11th …, 2020 - ieeexplore.ieee.org
Many complex cyber-physical systems can be modeled as heterogeneous components
interacting with each other in real-time. We assume that the correctness of each component …
interacting with each other in real-time. We assume that the correctness of each component …
Causality-aided falsification
T Akazaki, Y Kumazawa, I Hasuo - arXiv preprint arXiv:1709.02555, 2017 - arxiv.org
Falsification is drawing attention in quality assurance of heterogeneous systems whose
complexities are beyond most verification techniques' scalability. In this paper we introduce …
complexities are beyond most verification techniques' scalability. In this paper we introduce …
Temporal logic inference for fault detection of switched systems with Gaussian process dynamics
In this article, we present a method for constructing the fault detector in the form of signal
temporal logic (STL) formulas, which can be understood by human users and formally …
temporal logic (STL) formulas, which can be understood by human users and formally …
Formal interpretation of cyber-physical system performance with temporal logic
The inherent and increasing complexity of many cyber-physical systems (CPSs) makes it
challenging for human users or designers to comprehend and interpret their performance …
challenging for human users or designers to comprehend and interpret their performance …
Automated property synthesis of odes based bio-pathways models
Identifying non-trivial requirements for large complex dynamical systems is a challenging but
fruitful task. Once identified such requirements can be used to validate updated versions of …
fruitful task. Once identified such requirements can be used to validate updated versions of …