Matches in SemOpenAlex for { <https://semopenalex.org/work/W2894631171> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2894631171 endingPage "3004" @default.
- W2894631171 startingPage "2997" @default.
- W2894631171 abstract "In this paper, we deal with the problem of enforcing diagnosability to labeled Petri nets (PNs) appropriately adding new sensors. We show that, solving an integer linear programming problem, it is possible to select a solution that is optimal with respect to a given objective function (e.g., the cost of sensors). The solution is based on two notions, already introduced by the authors in previous works, namely basis marking and unfolded verifier. This allows to solve the considered problem in a more efficient way with respect to other approaches in the literature. Finally, we propose an algorithm to compute the smallest value of K such that the PN system is K-diagnosable under the new labeling function, which implies that faults can be detected in at most K observations after their occurrence." @default.
- W2894631171 created "2018-10-12" @default.
- W2894631171 creator A5000666025 @default.
- W2894631171 creator A5005940530 @default.
- W2894631171 creator A5030895170 @default.
- W2894631171 date "2019-07-01" @default.
- W2894631171 modified "2023-09-27" @default.
- W2894631171 title "Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection" @default.
- W2894631171 cites W1531599083 @default.
- W2894631171 cites W1972158470 @default.
- W2894631171 cites W1985787415 @default.
- W2894631171 cites W1996043796 @default.
- W2894631171 cites W2003070900 @default.
- W2894631171 cites W2053982295 @default.
- W2894631171 cites W2105084829 @default.
- W2894631171 cites W2110502312 @default.
- W2894631171 cites W2117558445 @default.
- W2894631171 cites W2160792115 @default.
- W2894631171 cites W2750225339 @default.
- W2894631171 doi "https://doi.org/10.1109/tac.2018.2874020" @default.
- W2894631171 hasPublicationYear "2019" @default.
- W2894631171 type Work @default.
- W2894631171 sameAs 2894631171 @default.
- W2894631171 citedByCount "24" @default.
- W2894631171 countsByYear W28946311712019 @default.
- W2894631171 countsByYear W28946311712020 @default.
- W2894631171 countsByYear W28946311712021 @default.
- W2894631171 countsByYear W28946311712022 @default.
- W2894631171 countsByYear W28946311712023 @default.
- W2894631171 crossrefType "journal-article" @default.
- W2894631171 hasAuthorship W2894631171A5000666025 @default.
- W2894631171 hasAuthorship W2894631171A5005940530 @default.
- W2894631171 hasAuthorship W2894631171A5030895170 @default.
- W2894631171 hasBestOaLocation W28946311712 @default.
- W2894631171 hasConcept C11413529 @default.
- W2894631171 hasConcept C119857082 @default.
- W2894631171 hasConcept C12426560 @default.
- W2894631171 hasConcept C126255220 @default.
- W2894631171 hasConcept C14036430 @default.
- W2894631171 hasConcept C14646407 @default.
- W2894631171 hasConcept C154945302 @default.
- W2894631171 hasConcept C199360897 @default.
- W2894631171 hasConcept C2524010 @default.
- W2894631171 hasConcept C2776291640 @default.
- W2894631171 hasConcept C33923547 @default.
- W2894631171 hasConcept C38677869 @default.
- W2894631171 hasConcept C41008148 @default.
- W2894631171 hasConcept C41045048 @default.
- W2894631171 hasConcept C56086750 @default.
- W2894631171 hasConcept C78458016 @default.
- W2894631171 hasConcept C80444323 @default.
- W2894631171 hasConcept C81917197 @default.
- W2894631171 hasConcept C86803240 @default.
- W2894631171 hasConcept C97137487 @default.
- W2894631171 hasConceptScore W2894631171C11413529 @default.
- W2894631171 hasConceptScore W2894631171C119857082 @default.
- W2894631171 hasConceptScore W2894631171C12426560 @default.
- W2894631171 hasConceptScore W2894631171C126255220 @default.
- W2894631171 hasConceptScore W2894631171C14036430 @default.
- W2894631171 hasConceptScore W2894631171C14646407 @default.
- W2894631171 hasConceptScore W2894631171C154945302 @default.
- W2894631171 hasConceptScore W2894631171C199360897 @default.
- W2894631171 hasConceptScore W2894631171C2524010 @default.
- W2894631171 hasConceptScore W2894631171C2776291640 @default.
- W2894631171 hasConceptScore W2894631171C33923547 @default.
- W2894631171 hasConceptScore W2894631171C38677869 @default.
- W2894631171 hasConceptScore W2894631171C41008148 @default.
- W2894631171 hasConceptScore W2894631171C41045048 @default.
- W2894631171 hasConceptScore W2894631171C56086750 @default.
- W2894631171 hasConceptScore W2894631171C78458016 @default.
- W2894631171 hasConceptScore W2894631171C80444323 @default.
- W2894631171 hasConceptScore W2894631171C81917197 @default.
- W2894631171 hasConceptScore W2894631171C86803240 @default.
- W2894631171 hasConceptScore W2894631171C97137487 @default.
- W2894631171 hasIssue "7" @default.
- W2894631171 hasLocation W28946311711 @default.
- W2894631171 hasLocation W28946311712 @default.
- W2894631171 hasOpenAccess W2894631171 @default.
- W2894631171 hasPrimaryLocation W28946311711 @default.
- W2894631171 hasRelatedWork W1531599083 @default.
- W2894631171 hasRelatedWork W2004060844 @default.
- W2894631171 hasRelatedWork W2038467420 @default.
- W2894631171 hasRelatedWork W2080202770 @default.
- W2894631171 hasRelatedWork W2313267066 @default.
- W2894631171 hasRelatedWork W2384803484 @default.
- W2894631171 hasRelatedWork W2660246441 @default.
- W2894631171 hasRelatedWork W2969625128 @default.
- W2894631171 hasRelatedWork W3795022 @default.
- W2894631171 hasRelatedWork W74652278 @default.
- W2894631171 hasVolume "64" @default.
- W2894631171 isParatext "false" @default.
- W2894631171 isRetracted "false" @default.
- W2894631171 magId "2894631171" @default.
- W2894631171 workType "article" @default.