Journal of the ACM (JACM)
Real-time logics: complexity and expressiveness
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Fuzzy modelling of the expert's knowledge in ECG-based ischaemia detection
Fuzzy Sets and Systems - Special issue on fuzzy signal processing
The benefits of relaxing punctuality
Journal of the ACM (JACM)
Parametric temporal logic for “model measuring”
ACM Transactions on Computational Logic (TOCL)
Efficient Resolution Mechanism for Fuzzy Temporal Constraint Logic
TIME '00 Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME'00)
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Functional Verification Coverage Measurement and Analysis
Functional Verification Coverage Measurement and Analysis
Robustness of temporal logic specifications for continuous-time signals
Theoretical Computer Science
Robust satisfaction of temporal logic over real-valued signals
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Fuzzy time intervals system description of the FuTI–Library
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Fuzzy branching temporal logic
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
A sound and complete fuzzy temporal constraint logic
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Fuzzifying Allen's Temporal Interval Relations
IEEE Transactions on Fuzzy Systems
Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice
ACM Transactions on Design Automation of Electronic Systems (TODAES)
| Hi-index | 0.00 |
High-level descriptions of real-time systems often use fuzzy notions of time that are left open to domain specific interpretations. In order to verify that a given implementation conforms to such loosely defined specifications, the typical approach is to verify the implementation to be correct within well defined limits of time tolerance. This approach determines whether the real-time requirements are met, but does not reflect how well it is met. Our goal in this paper is to prescribe the development of timed specifications using fuzzy notions of time, and to present a methodology for computing the quality of satisfaction of the specification on a given implementation using domain specific fuzzy membership functions. With this objective, we combine the notions of real-time interval temporal logic (like Metric Interval Temporal Logic) and fuzzy logic to derive FRTL, a fuzzy real-time temporal logic. The novelty of the proposed logic is in introducing the notion of fuzzy time intervals into the core fabric of conventional metric temporal logic. We present a method for evaluating the fuzzy truth of FRTL properties on finite traces. We discuss the motivation of computing the fuzzy truth towards evaluating the quality of control in time critical embedded control system applications. We also show that two important related problems from the domain of mixed-signal design verification, are subsumed by the proposed framework of analysis.