Matches in SemOpenAlex for { <https://semopenalex.org/work/W4323688049> ?p ?o ?g. }
- W4323688049 endingPage "110911" @default.
- W4323688049 startingPage "110911" @default.
- W4323688049 abstract "Opacity is a property of discrete event systems (DES) that is related to the possibility of hiding a secret to external observers, the so called intruders. If the secret is the system initial state, then the related opacity problem is referred to as Initial State Opacity (ISO). This paper gives a necessary and sufficient condition to check ISO in DES modeled as bounded and live labeled Petri nets (PNs). The proposed approach relies on both the algebraic representation of labeled PNs dynamic, and on their structural representation in terms of minimal support T-invariants. The proposed necessary and sufficient condition enables ISO assessment by means of the solution of Integer Linear Programming problems, which can be efficiently solved nowadays by means of off-the-shelf optimization tools." @default.
- W4323688049 created "2023-03-10" @default.
- W4323688049 creator A5004660959 @default.
- W4323688049 creator A5039881784 @default.
- W4323688049 creator A5089672640 @default.
- W4323688049 date "2023-06-01" @default.
- W4323688049 modified "2023-09-27" @default.
- W4323688049 title "Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques" @default.
- W4323688049 cites W1535002487 @default.
- W4323688049 cites W1996109622 @default.
- W4323688049 cites W2003070900 @default.
- W4323688049 cites W2037457229 @default.
- W4323688049 cites W2070996046 @default.
- W4323688049 cites W2160792115 @default.
- W4323688049 cites W2416559203 @default.
- W4323688049 cites W2536620281 @default.
- W4323688049 cites W2538443008 @default.
- W4323688049 cites W2769121349 @default.
- W4323688049 cites W2800404248 @default.
- W4323688049 cites W2804520243 @default.
- W4323688049 cites W2884727389 @default.
- W4323688049 cites W2899347012 @default.
- W4323688049 cites W3011778292 @default.
- W4323688049 cites W3155498667 @default.
- W4323688049 cites W3186623467 @default.
- W4323688049 cites W3194981700 @default.
- W4323688049 cites W4206810716 @default.
- W4323688049 cites W4220734997 @default.
- W4323688049 cites W4242449149 @default.
- W4323688049 doi "https://doi.org/10.1016/j.automatica.2023.110911" @default.
- W4323688049 hasPublicationYear "2023" @default.
- W4323688049 type Work @default.
- W4323688049 citedByCount "1" @default.
- W4323688049 crossrefType "journal-article" @default.
- W4323688049 hasAuthorship W4323688049A5004660959 @default.
- W4323688049 hasAuthorship W4323688049A5039881784 @default.
- W4323688049 hasAuthorship W4323688049A5089672640 @default.
- W4323688049 hasConcept C111472728 @default.
- W4323688049 hasConcept C11413529 @default.
- W4323688049 hasConcept C120665830 @default.
- W4323688049 hasConcept C121332964 @default.
- W4323688049 hasConcept C126255220 @default.
- W4323688049 hasConcept C134306372 @default.
- W4323688049 hasConcept C137836250 @default.
- W4323688049 hasConcept C138885662 @default.
- W4323688049 hasConcept C17744445 @default.
- W4323688049 hasConcept C189950617 @default.
- W4323688049 hasConcept C199360897 @default.
- W4323688049 hasConcept C199539241 @default.
- W4323688049 hasConcept C2776359362 @default.
- W4323688049 hasConcept C33923547 @default.
- W4323688049 hasConcept C34388435 @default.
- W4323688049 hasConcept C38677869 @default.
- W4323688049 hasConcept C41008148 @default.
- W4323688049 hasConcept C48103436 @default.
- W4323688049 hasConcept C56086750 @default.
- W4323688049 hasConcept C60056205 @default.
- W4323688049 hasConcept C80444323 @default.
- W4323688049 hasConcept C9376300 @default.
- W4323688049 hasConcept C94625758 @default.
- W4323688049 hasConcept C97137487 @default.
- W4323688049 hasConceptScore W4323688049C111472728 @default.
- W4323688049 hasConceptScore W4323688049C11413529 @default.
- W4323688049 hasConceptScore W4323688049C120665830 @default.
- W4323688049 hasConceptScore W4323688049C121332964 @default.
- W4323688049 hasConceptScore W4323688049C126255220 @default.
- W4323688049 hasConceptScore W4323688049C134306372 @default.
- W4323688049 hasConceptScore W4323688049C137836250 @default.
- W4323688049 hasConceptScore W4323688049C138885662 @default.
- W4323688049 hasConceptScore W4323688049C17744445 @default.
- W4323688049 hasConceptScore W4323688049C189950617 @default.
- W4323688049 hasConceptScore W4323688049C199360897 @default.
- W4323688049 hasConceptScore W4323688049C199539241 @default.
- W4323688049 hasConceptScore W4323688049C2776359362 @default.
- W4323688049 hasConceptScore W4323688049C33923547 @default.
- W4323688049 hasConceptScore W4323688049C34388435 @default.
- W4323688049 hasConceptScore W4323688049C38677869 @default.
- W4323688049 hasConceptScore W4323688049C41008148 @default.
- W4323688049 hasConceptScore W4323688049C48103436 @default.
- W4323688049 hasConceptScore W4323688049C56086750 @default.
- W4323688049 hasConceptScore W4323688049C60056205 @default.
- W4323688049 hasConceptScore W4323688049C80444323 @default.
- W4323688049 hasConceptScore W4323688049C9376300 @default.
- W4323688049 hasConceptScore W4323688049C94625758 @default.
- W4323688049 hasConceptScore W4323688049C97137487 @default.
- W4323688049 hasLocation W43236880491 @default.
- W4323688049 hasOpenAccess W4323688049 @default.
- W4323688049 hasPrimaryLocation W43236880491 @default.
- W4323688049 hasRelatedWork W1492717267 @default.
- W4323688049 hasRelatedWork W1626571998 @default.
- W4323688049 hasRelatedWork W1629073290 @default.
- W4323688049 hasRelatedWork W2027131958 @default.
- W4323688049 hasRelatedWork W2114218015 @default.
- W4323688049 hasRelatedWork W2155723115 @default.
- W4323688049 hasRelatedWork W2158609391 @default.
- W4323688049 hasRelatedWork W2327497304 @default.
- W4323688049 hasRelatedWork W4212814586 @default.
- W4323688049 hasRelatedWork W2527092592 @default.