Predictability of Event Occurrences in Timed Systems

DOI10.1007/978-3-642-40229-6_5zbMath1390.68383arXiv1306.0662OpenAlexW1635446003MaRDI QIDQ2842660

Alban Grastien, Franck Cassez

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

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

Related Items (5)

Decentralized fault prognosis of discrete event systems with guaranteed performance bound ⋮ Fault prognosis of timed stochastic discrete event systems with bounded estimation error ⋮ Predictability of fuzzy discrete event systems ⋮ Faults prognosis using partially observed stochastic Petri nets: an incremental approach ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems

This page was built for publication: Predictability of Event Occurrences in Timed Systems