A Novel Model Repair Approach of Timed Discrete-Event Systems With Anomalies

No abstract is available for this paper.

• Publication year

  2016

• Venue

  IEEE Transactions on Automation Science and Engineering

• Publication date

  2016-09-08

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/TASE.2016.2601418
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Identification of Time Petri Net Models

  2017cited by this paper
• A Black-Box Identification Method for Automated Discrete-Event Systems

  2017cited by this paper
• State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions

  2015influential reference
• Identification of discrete event systems unobservable behaviour by petri nets using language projections

  2015cited by this paper
• Model Identification and Synthesis of Discrete-Event Systems

  2015cited by this paper
• Input–output identification of controlled discrete manufacturing systems

  2014cited by this paper
• Fault model identification and synthesis in Petri nets

  2014influential reference
• An approach for the identification of time Petri net systems

  2013influential reference
• Process Mining in the Large: A Tutorial

  2013cited by this paper
• Task-oriented motion planning for multi-arm robotic systems

  2012cited by this paper
• Design and Identification of Stochastic and Deterministic Stochastic Petri Nets

  2012cited by this paper
• Repairing Process Models to Reflect Reality

  2012cited by this paper
• A hybrid model for real time simulation of urban traffic

  2012cited by this paper
• A Hybrid Model of Complex Automated Warehouse Systems—Part II: Analysis and Experimental Results

  2012cited by this paper
• Identification of Petri nets using timing information

  2011cited by this paper
• Synthesis of timed Petri net models for on-line identification of Discrete Event Systems

  2011cited by this paper
• Process Mining Manifesto

  2011cited by this paper
• Identification of the unobservable behaviour of industrial automation systems by Petri nets

  2011cited by this paper
• A Comparative Analysis of Recent Identification Approaches for Discrete-Event Systems

  2010cited by this paper
• Real time identification of discrete event systems using Petri nets

  2008cited by this paper
• Identification of Petri Nets from Knowledge of Their Language

  2007cited by this paper
• Required event sequences for identification of Discrete Event Systems

  2003cited by this paper
• Region Based Synthesis of P/T-Nets and Its Potential Applications

  2000cited by this paper
• Deriving Petri Nets for Finite Transition Systems

  1998cited by this paper
• Construction of a Class of Safe Petri Nets by Presenting Firing Sequences

  1992cited by this paper
• Control of Discrete Event Systems

  1992cited by this paper
• Petri nets: Properties, analysis and applications

  1989cited by this paper
• Petri Net Theory and the Modeling of Systems

  1982cited by this paper
• A study of the recoverability of computing systems.

  1974influential reference
• Analysis of asynchronous concurrent systems by timed petri nets

  1974influential reference

• Automated Runtime Mitigation for Misconfiguration Vulnerabilities in Industrial Control Systems

  2022cites this paper
• Fault diagnosis of PLC-based discrete event systems using Petri nets

  2022cites this paper
• Optimistic Fault Diagnosis in Discrete Event Systems by Labeled Petri Nets and Basis Markings

  2022cites this paper
• Fault identification of DES using Petri net

  2021cites this paper
• Fault detection of Discrete-Event Systems based on an identified timed model

  2020influential citation
• An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets

  2020cites this paper
• Identification of Timed Input/Output Relationships For Industrial Automation Systems Using Timed Interpreted Petri Nets

  2019cites this paper
• Fault Identification of Discrete Event Systems Modeled by Petri Nets With Unobservable Transitions

  2019cites this paper
• Discovering of the unobservable behaviour of an Interpreted Petri Net model

  2019cites this paper
• Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships

  2018cites this paper
• Model-based fault identification of discrete event systems using partially observed Petri nets

  2018cites this paper
• Decentralized Fault Diagnosis by Petri Nets and Integer Linear Programming

  2017cites this paper
• Probability of faults for partially observed Timed PNs with temporal constraints

  2017cites this paper
• An incremental model repair approach to timed discrete event systems

  2017cites this paper
• IdentifyTPN: a tool for the identification of Time Petri nets

  2017cites this paper