Predictability of event occurrences in timed systems

DOI10.1007/978-3-642-40229-6_5MaRDI QIDQ2842660zbMATH OpenOpenAlexFDO

Authors Franck Cassez, Alban Grastien

Publication date 16 August 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1306.0662

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Formal languages and automata (68Q45)

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.

Recommendations

• Predictability of event occurrences in partially-observed discrete-event systems
• scientific article; zbMATH DE number 6707784
• Relative predictability of failure event occurrences and its opacity-based test algorithm
• On Fault Predictability in Stochastic Discrete Event Systems
• Event-clock automata: a determinizable class of timed automata

Cited in

(11)

• Predictability of event occurrences in partially-observed discrete-event systems
• Predictability of fuzzy discrete event systems
• Faults prognosis using partially observed stochastic Petri nets: an incremental approach
• Approximate predictability of pseudo-metric systems
• Fault prognosis of timed stochastic discrete event systems with bounded estimation error
• Abstraction-based verification and synthesis for prognosis of discrete event systems
• Decentralized fault prognosis of discrete event systems with guaranteed performance bound
• The predictability of discrete event systems
• Relative predictability of failure event occurrences and its opacity-based test algorithm
• Fault-prognosability, \(K\)-step prognosis and \(K\)-step predictive diagnosis in partially observed Petri nets by means of algebraic techniques
• Prognosability verification and enforcement in labeled Petri nets under observation delays and intermittent losses

This page was built for publication: Predictability of event occurrences in timed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842660)