• DocumentCode
    3669057
  • Title

    Real time identification of Time Petri net faulty models

  • Author

    Francesco Basile;Pasquale Chiacchio;Jolanda Coppola

  • Author_Institution
    Dip. Ingegneria dell´Informazione, Ingegneria elettrica e Matematica applicata, Univ. di Salerno, Italy
  • fYear
    2015
  • Firstpage
    280
  • Lastpage
    285
  • Abstract
    This paper considers the problem of the identification of a faulty model for timed discrete event systems when the nominal model is known and a set of faulty observed timed sequences is given. The faulty behavior is modeled by adding fault transitions. The approach works with Time Petri net models and is based on the formulation of a Mixed-Integer Linear Programming Problem.
  • Keywords
    "Petri nets","Mathematical model","Fault diagnosis","Timing","Circuit faults","Real-time systems","Mixed integer linear programming"
  • Publisher
    ieee
  • Conference_Titel
    Automation Science and Engineering (CASE), 2015 IEEE International Conference on
  • ISSN
    2161-8070
  • Electronic_ISBN
    2161-8089
  • Type

    conf

  • DOI
    10.1109/CoASE.2015.7294076
  • Filename
    7294076
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3669057