Matches in SemOpenAlex for { <https://semopenalex.org/work/W3083871432> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3083871432 abstract "In this paper, we investigate the problem of verifying initial-state opacity (ISO) for partially-observed discrete-event systems (DES) by using the semi-tensor product (STP) theory. First, four types of ISO are introduced to extend the study of privacy in the context of DES. Second, under the framework of the STP theory, the matrix-based initial-state estimator is constructed. Accordingly, several necessary and sufficient criteria for verifying the different types of ISO are given, respectively. Furthermore, we analyze the complexity of using the proposed approaches to verify these four types of ISO. Finally, several examples are provided to illustrate the theoretical results." @default.
- W3083871432 created "2020-09-14" @default.
- W3083871432 creator A5041015608 @default.
- W3083871432 creator A5045305170 @default.
- W3083871432 creator A5073105796 @default.
- W3083871432 creator A5081098250 @default.
- W3083871432 date "2020-07-01" @default.
- W3083871432 modified "2023-10-18" @default.
- W3083871432 title "Matrix Approach to Verify Initial-State Opacity of Discrete-Event Systems" @default.
- W3083871432 cites W1976202267 @default.
- W3083871432 cites W1985508025 @default.
- W3083871432 cites W2004398490 @default.
- W3083871432 cites W2037457229 @default.
- W3083871432 cites W2052227055 @default.
- W3083871432 cites W2115354781 @default.
- W3083871432 cites W2143824629 @default.
- W3083871432 cites W2146852848 @default.
- W3083871432 cites W2148114786 @default.
- W3083871432 cites W2162000948 @default.
- W3083871432 cites W2509841691 @default.
- W3083871432 cites W2538443008 @default.
- W3083871432 cites W2601738991 @default.
- W3083871432 cites W2902957813 @default.
- W3083871432 cites W2914280847 @default.
- W3083871432 cites W2957340013 @default.
- W3083871432 cites W2978187624 @default.
- W3083871432 cites W3001078780 @default.
- W3083871432 cites W567151721 @default.
- W3083871432 doi "https://doi.org/10.23919/ccc50068.2020.9189244" @default.
- W3083871432 hasPublicationYear "2020" @default.
- W3083871432 type Work @default.
- W3083871432 sameAs 3083871432 @default.
- W3083871432 citedByCount "1" @default.
- W3083871432 countsByYear W30838714322022 @default.
- W3083871432 crossrefType "proceedings-article" @default.
- W3083871432 hasAuthorship W3083871432A5041015608 @default.
- W3083871432 hasAuthorship W3083871432A5045305170 @default.
- W3083871432 hasAuthorship W3083871432A5073105796 @default.
- W3083871432 hasAuthorship W3083871432A5081098250 @default.
- W3083871432 hasConcept C105795698 @default.
- W3083871432 hasConcept C106487976 @default.
- W3083871432 hasConcept C11413529 @default.
- W3083871432 hasConcept C120665830 @default.
- W3083871432 hasConcept C121332964 @default.
- W3083871432 hasConcept C151730666 @default.
- W3083871432 hasConcept C155281189 @default.
- W3083871432 hasConcept C159985019 @default.
- W3083871432 hasConcept C185429906 @default.
- W3083871432 hasConcept C192562407 @default.
- W3083871432 hasConcept C202444582 @default.
- W3083871432 hasConcept C2779343474 @default.
- W3083871432 hasConcept C2779662365 @default.
- W3083871432 hasConcept C33923547 @default.
- W3083871432 hasConcept C41008148 @default.
- W3083871432 hasConcept C48103436 @default.
- W3083871432 hasConcept C51255310 @default.
- W3083871432 hasConcept C60056205 @default.
- W3083871432 hasConcept C62520636 @default.
- W3083871432 hasConcept C80444323 @default.
- W3083871432 hasConcept C86803240 @default.
- W3083871432 hasConceptScore W3083871432C105795698 @default.
- W3083871432 hasConceptScore W3083871432C106487976 @default.
- W3083871432 hasConceptScore W3083871432C11413529 @default.
- W3083871432 hasConceptScore W3083871432C120665830 @default.
- W3083871432 hasConceptScore W3083871432C121332964 @default.
- W3083871432 hasConceptScore W3083871432C151730666 @default.
- W3083871432 hasConceptScore W3083871432C155281189 @default.
- W3083871432 hasConceptScore W3083871432C159985019 @default.
- W3083871432 hasConceptScore W3083871432C185429906 @default.
- W3083871432 hasConceptScore W3083871432C192562407 @default.
- W3083871432 hasConceptScore W3083871432C202444582 @default.
- W3083871432 hasConceptScore W3083871432C2779343474 @default.
- W3083871432 hasConceptScore W3083871432C2779662365 @default.
- W3083871432 hasConceptScore W3083871432C33923547 @default.
- W3083871432 hasConceptScore W3083871432C41008148 @default.
- W3083871432 hasConceptScore W3083871432C48103436 @default.
- W3083871432 hasConceptScore W3083871432C51255310 @default.
- W3083871432 hasConceptScore W3083871432C60056205 @default.
- W3083871432 hasConceptScore W3083871432C62520636 @default.
- W3083871432 hasConceptScore W3083871432C80444323 @default.
- W3083871432 hasConceptScore W3083871432C86803240 @default.
- W3083871432 hasLocation W30838714321 @default.
- W3083871432 hasOpenAccess W3083871432 @default.
- W3083871432 hasPrimaryLocation W30838714321 @default.
- W3083871432 hasRelatedWork W117814633 @default.
- W3083871432 hasRelatedWork W1990379087 @default.
- W3083871432 hasRelatedWork W2264436066 @default.
- W3083871432 hasRelatedWork W228809297 @default.
- W3083871432 hasRelatedWork W2357007603 @default.
- W3083871432 hasRelatedWork W2369105145 @default.
- W3083871432 hasRelatedWork W2375382787 @default.
- W3083871432 hasRelatedWork W2386767533 @default.
- W3083871432 hasRelatedWork W2952880243 @default.
- W3083871432 hasRelatedWork W4307007469 @default.
- W3083871432 isParatext "false" @default.
- W3083871432 isRetracted "false" @default.
- W3083871432 magId "3083871432" @default.
- W3083871432 workType "article" @default.