IEEE - Institute of Electrical and Electronics Engineers, Inc. - Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery

Author(s): Fathiyeh Faghih ; Borzoo Bonakdarpour
Sponsor(s): IEEE Computer Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (Paper): 1545-5971
DOI: 10.1109/TDSC.2016.2596719
Regular:

In this article, we focus on efficient synthesis of fault-tolerant timed models from their fault-intolerant version. Although the complexity of the synthesis problem is known to be polynomial time... View More

Advertisement