PNDesigner - a tool designed for model based diagnosis andsupervisory control of DES

Flochova, J.; Auxt, F.; Radakovic, M.; Jombik, O.

doi:10.1109/wodes.2006.382521

Cited by 5 publications

(3 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another direction to explore is to relax the assumption that the PN models are free-choice, following the construction proposed in . The proposed algorithms have been included in the tool PNDesigner (Flochova et al [2006]). …”

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

On fault diagnosis of random free-choice Petri nets

Flochova¹,

Boel

2009

IFAC Proceedings Volumes

View full text Add to dashboard Cite

This paper presents an on-line diagnosis algorithm for Petri nets where a priori probabilistic knowledge about the plant operation is available. We follow the method developed by Benveniste, Fabre, and Haar to assign probabilities to configurations in a net unfolding thus avoiding the need for randomizing all concurrent interleavings of transitions. We consider different settings of the diagnosis problem, including estimating the likelihood that a fault may have happened prior to the most recent observed event, the likelihood that a fault will have happened prior to the next observed event. A novel problem formulation treated in this paper considers deterministic diagnosis of faults that occurred prior to the most recent observed event, and simultaneous calculation of the likelihood that a fault will occur prior to the next observed event.

show abstract

Section: Discussionmentioning

confidence: 99%

“…Failure probabilities assigned to all explanations are obtained. The proposed algorithms have been included in the tool PNDesigner (Flochova et al [2006]). …”

Section: Fig 1 Probabilistic Free-choice Petri Netmentioning

confidence: 99%

On fault diagnosis of random free-choice Petri nets

Flochova¹,

Boel

2009

IFAC Proceedings Volumes

View full text Add to dashboard Cite

show abstract

“…Various tools exist that can be used to model DESs and/or implement many of the algorithms. The following tools were recently demonstrated: Supremica [AFFM06], SimEvents [CMC06], TCT [FW06a], Grail [RdCC06], DESUMA [RLG06], IDES [Rud06], HMI [AGL + 06], SIGALI [BMR06], MFSMTools [EART06], LabVIEW State Diagram Toolkit [Fal06], PNDesigner [FARJ06], SIPN [FW06b], MBP [GPT06], and Spectool [SAH06]. The work reported in the thesis was also presented [SOKZ06].…”

Section: Motivationmentioning

confidence: 99%

DECADA: tool for discrete-event control and diagnosis analyzer

Stamp

View full text Add to dashboard Cite

if(cmd == 'a' || cmd == 'A') Reachability(ifile1, ifile2, twofiles, f10); / * see Reachability.h * / if(cmd == 'b' || cmd == 'A') Minimization(ifile1, ifile2, twofiles, f10); / * see Minimization.h * / if(cmd == 'c' || cmd == 'A') Removeep(ifile1, ifile2, twofiles, f10); / * see RemoveEp.h * / if(cmd == 'd' || cmd == 'A') NDFSM to DFSM(ifile1, ifile2, twofiles, f10);/ * see NDFSMtoDFSM.h * / if(cmd == 'e' || cmd == 'A') Complement(ifile1, ifile2, twofiles, f10); / * see Complement.h * / if(cmd == 'f' || cmd == 'A') Strict Synch Comp(ifile1, ifile2, ifile3, threefiles, f10); / * see StrictSynchComp.h * / if(cmd == 'g' || cmd == 'A') Union(ifile1, ifile2, ifile3, threefiles, f10); / * see Union.h * / if(cmd == 'h' || cmd == 'A') Concatenation(ifile1, ifile2, ifile3, threefiles, f10); / * see Concatenation.h * / if(cmd == 'i' || cmd == 'A') Asynch Comp(ifile1, ifile2, ifile3, threefiles, f10); / * see AsynchComp.h * / if(cmd == 'j' || cmd == 'A') Quotient(ifile1, ifile2, ifile3, threefiles, f10); / * see Quotient.h * / if(cmd == 'k' || cmd == 'A') Supremal Cont Sub Lang(ifile1, ifile2, ifile3, ifile4, threefiles, fourfiles, f10); / * see SupremalContSubLang.h * / if(cmd == 'l' || cmd == 'A') Rename(ifile1, ifile2, twofiles, f10); / * see Rename.h * / if(cmd == 'm' || cmd == 'A') Trim(ifile1, ifile2, twofiles, f10); / * see Trim.h * / if(cmd == 'n'|| cmd == 'A') / * see Mask.h * / Mask(ifile1, ifile2, ifile3, twofiles, f10); if(cmd == 'o'|| cmd == 'A') / * see UnMask.h * / UnMask(ifile1, ifile2, ifile4, twofiles, f10); / * CHECK FUNCT / * see CheckFunct.h * / if(cmd == 'r' || cmd == 'A') Completion(ifile1, ifile2, ifile3, threefiles, f10); / * see Completion.h * / if(cmd == 's' || cmd == 'A') Augmentation(ifile1, ifile2, ifile3, threefiles, f10); / * see Augmentation.h * / if(cmd == 't' || cmd == 'A') Sup Con Norm(ifile1, ifile2, ifile3, ifile4, threefiles, fourfiles, f10); / * see SupConNorm.h * / if(cmd == 'y' || cmd == 'A') Control Check(ifile1, ifile2, ifile3, ifile4, threefiles, fourfiles, f10); / * see ControlCheck.h * / / * MULTIF SYNCH COMP / * if(cmd == 'M' || cmd == 'A') see MultifSynchComp.h * / if(cmd == 'O' || cmd == 'A') Comp Synch Comp(ifile1, ifile2, ifile3, threefiles, f10); / * see CompSynchComp.h * / if(cmd == 'V' || cmd == 'A') Observability(ifile1, ifile2, ifile3, ifile4, threefiles, fourfiles, f10); / * see Observability.h * / if(cmd == 'W' || cmd == 'A') Normality(ifile1, ifile2, ifile3, ifile4, threefiles, fourfiles, f10); / * see Normality.h * / if(cmd == 'X' || cmd == 'A') Diagnosability(ifile1, ifile2, ifile3, ifile4, threefiles, fourfiles, f10); / * see Diagnosability.h * /

show abstract