LAUSR.org creates dashboard-style pages of related content for over 1.5 million academic articles.
Sign Up to like articles & get recommendations!
Diagnosability Analysis of Labeled Time Petri Net Systems
In this paper, we focus on two notions of diagnosability for labeled Time Petri net (PN) systems: $K$-diagnosability implies that any fault occurrence can be detected after at most $K$… Click to show full abstract
In this paper, we focus on two notions of diagnosability for labeled Time Petri net (PN) systems: $K$-diagnosability implies that any fault occurrence can be detected after at most $K$ observations, while $\tau$-diagnosability implies that any fault occurrence can be detected after at most $\tau$ time units. A procedure to analyze such properties is provided. The proposed approach uses the Modified State Class Graph, a graph the authors recently introduced for the marking estimation of labeled Time PN systems, which provides an exhaustive description of the system behavior. A preliminary diagnosabilty analysis of the underlying logic system based on classical approaches taken from the literature is required. Then, the solution of some linear programming problems should be performed to take into account the timing constraints associated with transitions.
Share on Social Media:
  
        
        
        
Sign Up to like & get recommendations! 0
Related content
More Information
            
News
            
Social Media
            
Video
            
Recommended
               
Click one of the above tabs to view related content.