@inproceedings{7f63c6407554446489cacf0edd1a70ea,
title = "Predictability of event occurrences in timed systems",
abstract = "We address the problem of predicting events' occurrences in partially observable timed systems modelled by timed automata. Our contribution is many-fold: 1) we give a definition of bounded predictability, namely k-predictability, that takes into account the minimum delay between the prediction and the actual event's occurrence; 2) we show that 0-predictability is equivalent to the original notion of predictability of S. Genc and S. Lafortune; 3) we provide a necessary and sufficient condition for k-predictability (which is very similar to k-diagnosability) and give a simple algorithm to check k-predictability; 4) we address the problem of predictability of events' occurrences in timed automata and show that the problem is PSPACE-complete.",
author = "Franck Cassez and Alban Grastien",
year = "2013",
doi = "10.1007/978-3-642-40229-6_5",
language = "English",
isbn = "9783642402289",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Springer Nature",
pages = "62--76",
editor = "Victor Braberman and Laurent Fribourg",
booktitle = "Formal modeling and analysis of timed systems",
address = "United States",
note = "11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013 ; Conference date: 29-08-2013 Through 31-08-2013",
}