Matches in SemOpenAlex for { <https://semopenalex.org/work/W2351594802> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2351594802 abstract "Because of quantitative and nonlinear causal information,diagosability of the signed directed graph(SDG) model needs to be further verified and validated.A formal verification approach to diagnosability via symbolic model checking is proposed.A formal characterization of SDG,as a finite state transition system,is transformed firstly,and a symbolic model verifier(SMV) module is modeled.In the framework of the finite state transition system,a diagnosis function is established,and then the diagnosable definition of a diagnosis condition is defined using the idea of diagnosis context.By means of NuSMV,a coupled SMV module is constructed,and then the SDGD_CSMV algorithm is designed with the computation temporal logic(CTL) definition of diagnosable property.Finally,the practical applicability within a simple water tank SDG model is demonstrated,which proves the validation of the diagnosable definition and SDGD_CSMV." @default.
- W2351594802 created "2016-06-24" @default.
- W2351594802 creator A5062034767 @default.
- W2351594802 date "2011-01-01" @default.
- W2351594802 modified "2023-09-22" @default.
- W2351594802 title "Formal verification of SDG diagnosability via symbolic model checking" @default.
- W2351594802 hasPublicationYear "2011" @default.
- W2351594802 type Work @default.
- W2351594802 sameAs 2351594802 @default.
- W2351594802 citedByCount "0" @default.
- W2351594802 crossrefType "journal-article" @default.
- W2351594802 hasAuthorship W2351594802A5062034767 @default.
- W2351594802 hasConcept C110251889 @default.
- W2351594802 hasConcept C111472728 @default.
- W2351594802 hasConcept C111498074 @default.
- W2351594802 hasConcept C112505250 @default.
- W2351594802 hasConcept C11413529 @default.
- W2351594802 hasConcept C132525143 @default.
- W2351594802 hasConcept C138885662 @default.
- W2351594802 hasConcept C151730666 @default.
- W2351594802 hasConcept C167822520 @default.
- W2351594802 hasConcept C198008173 @default.
- W2351594802 hasConcept C23123167 @default.
- W2351594802 hasConcept C2779167558 @default.
- W2351594802 hasConcept C2779343474 @default.
- W2351594802 hasConcept C2780586882 @default.
- W2351594802 hasConcept C41008148 @default.
- W2351594802 hasConcept C45374587 @default.
- W2351594802 hasConcept C48103436 @default.
- W2351594802 hasConcept C80444323 @default.
- W2351594802 hasConcept C86803240 @default.
- W2351594802 hasConceptScore W2351594802C110251889 @default.
- W2351594802 hasConceptScore W2351594802C111472728 @default.
- W2351594802 hasConceptScore W2351594802C111498074 @default.
- W2351594802 hasConceptScore W2351594802C112505250 @default.
- W2351594802 hasConceptScore W2351594802C11413529 @default.
- W2351594802 hasConceptScore W2351594802C132525143 @default.
- W2351594802 hasConceptScore W2351594802C138885662 @default.
- W2351594802 hasConceptScore W2351594802C151730666 @default.
- W2351594802 hasConceptScore W2351594802C167822520 @default.
- W2351594802 hasConceptScore W2351594802C198008173 @default.
- W2351594802 hasConceptScore W2351594802C23123167 @default.
- W2351594802 hasConceptScore W2351594802C2779167558 @default.
- W2351594802 hasConceptScore W2351594802C2779343474 @default.
- W2351594802 hasConceptScore W2351594802C2780586882 @default.
- W2351594802 hasConceptScore W2351594802C41008148 @default.
- W2351594802 hasConceptScore W2351594802C45374587 @default.
- W2351594802 hasConceptScore W2351594802C48103436 @default.
- W2351594802 hasConceptScore W2351594802C80444323 @default.
- W2351594802 hasConceptScore W2351594802C86803240 @default.
- W2351594802 hasLocation W23515948021 @default.
- W2351594802 hasOpenAccess W2351594802 @default.
- W2351594802 hasPrimaryLocation W23515948021 @default.
- W2351594802 hasRelatedWork W120135115 @default.
- W2351594802 hasRelatedWork W146107827 @default.
- W2351594802 hasRelatedWork W1489469477 @default.
- W2351594802 hasRelatedWork W1503071078 @default.
- W2351594802 hasRelatedWork W1503170978 @default.
- W2351594802 hasRelatedWork W1539201627 @default.
- W2351594802 hasRelatedWork W1582868218 @default.
- W2351594802 hasRelatedWork W1607121733 @default.
- W2351594802 hasRelatedWork W2056405578 @default.
- W2351594802 hasRelatedWork W2109954739 @default.
- W2351594802 hasRelatedWork W2123573104 @default.
- W2351594802 hasRelatedWork W2127988328 @default.
- W2351594802 hasRelatedWork W2144883917 @default.
- W2351594802 hasRelatedWork W2357906634 @default.
- W2351594802 hasRelatedWork W2362813669 @default.
- W2351594802 hasRelatedWork W2362871145 @default.
- W2351594802 hasRelatedWork W2365988016 @default.
- W2351594802 hasRelatedWork W2390419400 @default.
- W2351594802 hasRelatedWork W2611966366 @default.
- W2351594802 hasRelatedWork W3163257595 @default.
- W2351594802 isParatext "false" @default.
- W2351594802 isRetracted "false" @default.
- W2351594802 magId "2351594802" @default.
- W2351594802 workType "article" @default.