4.6 Article

Temporal Logic Inference for Fault Detection of Switched Systems With Gaussian Process Dynamics

相关参考文献

注意:仅列出部分参考文献,下载原文获取全部文献信息。
Article Automation & Control Systems

Discrete Component Prognosis for Hybrid Systems Under Intermittent Faults

Chenyu Xiao et al.

Summary: The article addresses the challenging prognosis of discrete components with intermittent faults in hybrid systems by detecting faulty components and developing a degradation model to capture the evolution of faults. An optimization method is proposed to identify fault states, appearing and disappearing instants, demonstrating effectiveness through experimental validation. The concept of failure threshold based on fault duration ratio is introduced for prognosis of intermittent faults, showing applicability to various hybrid industrial systems with established hybrid bond graph models.

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2021)

Article Automation & Control Systems

Event-Triggered Discrete Component Prognosis of Hybrid Systems Using Degradation Model Selection

Ming Yu et al.

Summary: A new event-triggering mechanism based prognosis scheme is proposed for discrete components in hybrid systems using degradation model selection. The scheme introduces a hybrid structure for fault detection and isolation, and fault estimation, enhancing fault isolation performance under multiple discrete faults condition. The scheme also proposes an event-triggered prognosis method with a degradation model selection to achieve remaining useful life prediction.

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2021)

Article Automation & Control Systems

Temporal-Logic-Based Semantic Fault Diagnosis With Time-Series Data From Industrial Internet of Things

Gang Chen et al.

Summary: The article discusses a method of converting industrial Internet of Things data into actionable intelligence through semantic fault diagnosis, and proposes an algorithm to solve the issue of combinatorial explosion. This algorithm combines ideas from agenda-based searching and imitation learning to train a policy that searches formulas in a strategic order.

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2021)

Article Engineering, Electrical & Electronic

Switched Threshold-Based Fault Detection for Switched Nonlinear Systems With Its Application to Chua's Circuit System

Li Tang et al.

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS (2019)

Article Computer Science, Information Systems

Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems

Zhe Xu et al.

IEEE SYSTEMS JOURNAL (2019)

Article Computer Science, Artificial Intelligence

Fault Detection for Nonlinear Discrete-Time Switched Systems With Persistent Dwell Time

Dongsheng Du et al.

IEEE TRANSACTIONS ON FUZZY SYSTEMS (2018)

Article Automation & Control Systems

Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis

Zhe Xu et al.

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2018)

Article Automation & Control Systems

Spatially-temporally online fault detection using timed multivariate statistical logic

Kangling Liu et al.

ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE (2017)

Article Automation & Control Systems

Temporal Logics for Learning and Detection of Anomalous Behavior

Zhaodan Kong et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2017)

Article Engineering, Electrical & Electronic

Model-Based Fault Detection and Identification for Switching Power Converters

Jason Poon et al.

IEEE TRANSACTIONS ON POWER ELECTRONICS (2017)

Article Automation & Control Systems

Verification of Hybrid Automata Diagnosability With Measurement Uncertainty

Yi Deng et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2016)

Article Automation & Control Systems

Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models

Antoine Girard et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2016)

Article Automation & Control Systems

Fault Detection Filtering for Nonlinear Switched Stochastic Systems

Xiaojie Su et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2016)

Article Engineering, Electrical & Electronic

A Game-Theoretic Analysis of Cyber Switching Attacks and Mitigation in Smart Grid Systems

Abdallah Farraj et al.

IEEE TRANSACTIONS ON SMART GRID (2016)

Proceedings Paper Computer Science, Theory & Methods

A Decision Tree Approach to Data Classification using Signal Temporal Logic

Giuseppe Bombara et al.

HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (2016)

Article Automation & Control Systems

Robust control and fault detection for continuous-time switched systems subject to a dwell time constraint

Guang-Xin Zhong et al.

INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL (2015)

Article Automation & Control Systems

Dynamic Bayesian Networks for Fault Detection, Identification, and Recovery in Autonomous Spacecraft

Daniele Codetta-Raiteri et al.

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2015)

Article Automation & Control Systems

Robust fault detection for a class of uncertain switched nonlinear systems via the state updating approach

Weiming Xiang et al.

NONLINEAR ANALYSIS-HYBRID SYSTEMS (2014)

Article Engineering, Multidisciplinary

Segmental Stator Switched Reluctance Machine for Safety-Critical Applications

Lorand Szabo et al.

IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS (2012)

Article Automation & Control Systems

Tolerance of intermittent faults in spacecraft attitude control: switched system approach

H. Yang et al.

IET CONTROL THEORY AND APPLICATIONS (2012)

Article Engineering, Mechanical

Reduced-order fault detection filter design for switched nonlinear systems with time delay

Xinzhi Liu et al.

NONLINEAR DYNAMICS (2012)

Article Automation & Control Systems

Robust fault detection for continuous-time switched delay systems: an linear matrix inequality approach

D. Wang et al.

IET CONTROL THEORY AND APPLICATIONS (2010)

Letter Automation & Control Systems

Robust Fault Detection for Switched Linear Systems With State Delays

Dong Wang et al.

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS (2009)

Article Computer Science, Artificial Intelligence

Fault detection in autonomous robots based on fault injection and learning

Anders Lyhne Christensen et al.

AUTONOMOUS ROBOTS (2008)

Article Engineering, Electrical & Electronic

Output tracking of piecewise-linear systems via error feedback regulator with application to synchronization of Nonlinear Chua's circuit

Tiejun Zhang et al.

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS (2007)

Article Automation & Control Systems

Approximate bisimulation relations for constrained linear systems

Antoine Girard et al.

AUTOMATICA (2007)

Article Automation & Control Systems

Approximation metrics for discrete and continuous systems

Antoine Girard et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2007)

Article Automation & Control Systems

Optimal control of continuous-time switched affine systems

Carla Seatzu et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2006)