DECADA: Tool for Discrete-Event Control and Diagnosis Analysis

Stamp, G.; Ong, Y.; Kumar, Ratnesh; Zhou, Changyan

doi:10.1109/wodes.2006.382404

Cited by 2 publications

(1 citation statement)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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]. More comparison of tools is shown in chapter 2.…”

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