TY - GEN
T1 - Predictability of event occurrences in timed systems
AU - Cassez, Franck
AU - Grastien, Alban
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84882738069&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-40229-6_5
DO - 10.1007/978-3-642-40229-6_5
M3 - Conference contribution
SN - 9783642402289
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 62
EP - 76
BT - Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Proceedings
T2 - 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013
Y2 - 29 August 2013 through 31 August 2013
ER -