Monitoring and fault-diagnosis with digital clocks. Altisen, K., Cassez, F., & Tripakis, S. In Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland, pages 101–110, 2006. IEEE Computer Society. ![Monitoring and fault-diagnosis with digital clocks [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper Slides ![Monitoring and fault-diagnosis with digital clocks [link]](https://bibbase.org/img/filetypes/link.svg "link")
Link doi abstract bibtex We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. Analog clocks are infinitely-precise, thus, not implementable. We show how, given a specification mod- eled as a timed automaton and a timed automaton model of the digital clock, a sound and optimal (i.e., as precise as possible) digital-clock monitor can be synthesized. We also show how, given plant and digital clock modeled as timed automata, we can check existence of a digital-clock diagnoser and, if one exists, how to synthesize it. Finally, we consider the problem of existence of digital-clock diag- nosers where the digital clock is unknown. We show that there are cases where a digital clock, no matter how precise, does not exist, even though the system is diagnosable with analog clocks. Finally, we provide a sufficient condition for digital-clock diagnosability.
@inproceedings{DBLP:conf/acsd/AltisenCT06,
author = {Karine Altisen and
Franck Cassez and
Stavros Tripakis},
title = {Monitoring and fault-diagnosis with digital clocks},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {101--110},
year = {2006},
publisher = {{IEEE} Computer Society},
urlpaper = {papers/acsd06.pdf},
urlslides = {papers/slides-acsd-06.pdf},
url_link = {http://dx.doi.org/10.1109/ACSD.2006.10},
doi = {10.1109/ACSD.2006.10},
Type = {B - International Conferences},
abstract = {
We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. Analog clocks are infinitely-precise, thus, not implementable. We show how, given a specification mod- eled as a timed automaton and a timed automaton model of the digital clock, a sound and optimal (i.e., as precise as possible) digital-clock monitor can be synthesized. We also show how, given plant and digital clock modeled as timed automata, we can check existence of a digital-clock diagnoser and, if one exists, how to synthesize it. Finally, we consider the problem of existence of digital-clock diag- nosers where the digital clock is unknown. We show that there are cases where a digital clock, no matter how precise, does not exist, even though the system is diagnosable with analog clocks. Finally, we provide a sufficient condition for digital-clock diagnosability.},
keywords = {fault diagnosis, timed automata, monitoring}
}
Downloads: 0
{"_id":"P2kTbDvBWSweLWPF7","bibbaseid":"altisen-cassez-tripakis-monitoringandfaultdiagnosiswithdigitalclocks-2006","author_short":["Altisen, K.","Cassez, F.","Tripakis, S."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Karine"],"propositions":[],"lastnames":["Altisen"],"suffixes":[]},{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Stavros"],"propositions":[],"lastnames":["Tripakis"],"suffixes":[]}],"title":"Monitoring and fault-diagnosis with digital clocks","booktitle":"Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland","pages":"101–110","year":"2006","publisher":"IEEE Computer Society","urlpaper":"papers/acsd06.pdf","urlslides":"papers/slides-acsd-06.pdf","url_link":"http://dx.doi.org/10.1109/ACSD.2006.10","doi":"10.1109/ACSD.2006.10","abstract":"We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. Analog clocks are infinitely-precise, thus, not implementable. We show how, given a specification mod- eled as a timed automaton and a timed automaton model of the digital clock, a sound and optimal (i.e., as precise as possible) digital-clock monitor can be synthesized. We also show how, given plant and digital clock modeled as timed automata, we can check existence of a digital-clock diagnoser and, if one exists, how to synthesize it. Finally, we consider the problem of existence of digital-clock diag- nosers where the digital clock is unknown. We show that there are cases where a digital clock, no matter how precise, does not exist, even though the system is diagnosable with analog clocks. Finally, we provide a sufficient condition for digital-clock diagnosability.","keywords":"fault diagnosis, timed automata, monitoring","bibtex":"@inproceedings{DBLP:conf/acsd/AltisenCT06,\n author = {Karine Altisen and\n Franck Cassez and\n Stavros Tripakis},\n title = {Monitoring and fault-diagnosis with digital clocks},\n booktitle = {Sixth International Conference on Application of Concurrency to System\n Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},\n pages = {101--110},\n year = {2006},\n publisher = {{IEEE} Computer Society},\n urlpaper = {papers/acsd06.pdf},\n urlslides = {papers/slides-acsd-06.pdf},\n url_link = {http://dx.doi.org/10.1109/ACSD.2006.10},\n doi = {10.1109/ACSD.2006.10},\n Type = {B - International Conferences},\n\n abstract = {\nWe study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. Analog clocks are infinitely-precise, thus, not implementable. We show how, given a specification mod- eled as a timed automaton and a timed automaton model of the digital clock, a sound and optimal (i.e., as precise as possible) digital-clock monitor can be synthesized. We also show how, given plant and digital clock modeled as timed automata, we can check existence of a digital-clock diagnoser and, if one exists, how to synthesize it. Finally, we consider the problem of existence of digital-clock diag- nosers where the digital clock is unknown. We show that there are cases where a digital clock, no matter how precise, does not exist, even though the system is diagnosable with analog clocks. Finally, we provide a sufficient condition for digital-clock diagnosability.},\n keywords = {fault diagnosis, timed automata, monitoring}\n}\n\n","author_short":["Altisen, K.","Cassez, F.","Tripakis, S."],"key":"DBLP:conf/acsd/AltisenCT06","id":"DBLP:conf/acsd/AltisenCT06","bibbaseid":"altisen-cassez-tripakis-monitoringandfaultdiagnosiswithdigitalclocks-2006","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/acsd06.pdf","Slides":"http://science.mq.edu.au/~fcassez/bib/papers/slides-acsd-06.pdf"," link":"http://dx.doi.org/10.1109/ACSD.2006.10"},"keyword":["fault diagnosis","timed automata","monitoring"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","yYF8uwWqay28JyxZC","qbqYFWskmoonRB43F"],"keywords":["fault diagnosis","timed automata","monitoring"],"search_terms":["monitoring","fault","diagnosis","digital","clocks","altisen","cassez","tripakis"],"title":"Monitoring and fault-diagnosis with digital clocks","year":2006}