Modeling and Validating Dynamic Adaptation
Models in Software Engineering
Performance analysis of self-adaptive systems for requirements validation at design-time
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Formalizing and reasoning about quality
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Automatic generation of quality specifications
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
A fuzzy real-time temporal logic
International Journal of Approximate Reasoning
Hi-index | 0.00 |
Intelligent systems require a systematic way to represent and handle temporal information containing uncertainty. In particular, a logical framework is needed that can represent uncertain temporal information and its relationships with logical formulae. Fuzzy linear temporal logic (FLTL), a generalization of propositional linear temporal logic (PLTL) with fuzzy temporal events and fuzzy temporal states defined on a linear time model, was previously proposed for this purpose. However, many systems are best represented by branching time models in which each state can have more than one possible future path. In this paper, fuzzy branching temporal logic (FBTL) is proposed to address this problem. FBTL adopts and generalizes concurrent tree logic (CTL*), which is a classical branching temporal logic. The temporal model of FBTL is capable of representing fuzzy temporal events and fuzzy temporal states, and the order relation among them is represented as a directed graph. The utility of FBTL is demonstrated using a fuzzy job shop scheduling problem as an example.