Original paper

Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications

Volume: 49, Issue: 6, Pages: 934 - 945
Published: Jun 1, 2004
Abstract
The paper studies failure diagnosis of discrete-event systems (DESs) with linear-time temporal logic (LTL) specifications. The LTL formulas are used for specifying failures in the system. The LTL-based specifications make the specification specifying process easier and more user-friendly than the formal language/automata-based specifications; and they can capture the failures representing the violation of both liveness and safety properties,...
Paper Details
Title
Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
Published Date
Jun 1, 2004
Volume
49
Issue
6
Pages
934 - 945
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.