Fuzzy-Timed Automata

Abstract : Timed automata theory is well developed in literature. This theory provides a formal framework to model and test real-time systems. This formal framework supplies a way to describe transitions among states with timing constrains. These constraints are usually expressed with logic formulas involving the system clocks. The time domain of these clocks usually is considered dense, that is, the clocks take values in the real or rational numbers. Dealing with a domain like this can be hard, specially if we consider end points of intervals. In this paper, we present a modification of the model that allows to use real time in an easier, more powerful and reliable approach for computing systems. Our proposed model exploits the concepts of fuzzy set theory and related mathematical frameworks to get a more flexible approach.
Type de document :
Communication dans un congrès
John Hatcliff; Elena Zucca. Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6117, pp.140-154, 2010, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-13464-7_12〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01055157
Contributeur : Hal Ifip <>
Soumis le : lundi 11 août 2014 - 16:33:52
Dernière modification le : mercredi 28 mars 2018 - 14:38:34
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 22:15:58

Fichier

61170138.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

F. Javier Crespo, Alberto Encina, Luis Llana. Fuzzy-Timed Automata. John Hatcliff; Elena Zucca. Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6117, pp.140-154, 2010, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-13464-7_12〉. 〈hal-01055157〉

Partager

Métriques

Consultations de la notice

351

Téléchargements de fichiers

127