Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery - 2018


In this article, we tend to concentrate on economical synthesis of fault-tolerant timed models from their fault-intolerant version. Although the complexity of the synthesis drawback is thought to be polynomial time in the size of the time-abstract bisimulation of the input model, the state of the art currently lacks synthesis algorithms that may be efficiently implemented. This is in part due to the actual fact that synthesis is normally a challenging drawback and its complexity is significantly magnified in the context of timed systems. We have a tendency to propose an algorithm that takes as input a timed automaton, a set of fault actions, and a collection of safety and bounded-time response properties, and utilizes a area-economical symbolic illustration of the timed automaton (called zone graph) to synthesize a fault-tolerant timed automaton as output. The output automaton satisfies strict phased recovery, where it is guaranteed that the output model behaves equally to the input model within the absence of faults and within the presence of faults, fault recovery is achieved in two phases, each satisfying sure safety and timing constraints.

Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE :An Improved Sum-of-Disjoint-Products Technique for Symbolic Multi-State Flow Network ReliabilityABSTRACT:Several real-world systems, like electrical power and transportation, satisfy the flow conservation law, and
PROJECT TITLE :Design and Analysis of Silicon Photonics Wave Guides Using Symbolic MethodsABSTRACT:Although the demise of Moore’s law has been predicted many times in the recent past, the emergence of silicon photonics
PROJECT TITLE :Symbolic Dynamic Filtering and Language Measure for Behavior Identification of Mobile RobotsABSTRACT:This paper presents a procedure for behavior identification of mobile robots, which requires limited or no domain
PROJECT TITLE :Synthesis, Characterization, and In Vitro Evaluation of a Hydrogel-Based Corneal OnlayABSTRACT:Blindness due to opacity of the cornea is treated by corneal transplantation with donor tissue. Due to the limited supply
ABSTRACT:This paper introduces a new structure of radial basis function networks (RBFNs) that can successfully model symbolic interval-valued data. In the proposed structure, to handle symbolic interval data, the Gaussian functions

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry