FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2887757342> ?p ?o ?g. }

• W2887757342 endingPage "346" @default.
• W2887757342 startingPage "341" @default.
• W2887757342 abstract "Critical observability is a property of cyber-physical systems to detect whether the current state belongs to a set of critical states. In safety-critical applications, critical states model operations that may be unsafe or of a particular interest. De Santis et al. introduced critical observability for linear switching systems, and Pola et al. adapted it for discrete-event systems, focusing on algorithmic complexity. We study the computational complexity of deciding critical observability for systems modeled as (networks of) finite-state automata and Petri nets. We show that deciding critical observability is: 1) NL-complete for finite automata, i.e., it is efficiently verifiable on parallel computers; 2) PSPACE-complete for networks of finite automata, i.e., it is very unlikely solvable in polynomial time; and 3) undecidable for labeled Petri nets, but becoming decidable if the set of critical states (markings) is finite or cofinite, in which case the problem is as hard as the nonreachability problem for Petri nets." @default.
• W2887757342 created "2018-08-22" @default.
• W2887757342 creator A5006279709 @default.
• W2887757342 date "2020-01-01" @default.
• W2887757342 modified "2023-09-24" @default.
• W2887757342 title "Critical Observability for Automata and Petri Nets" @default.
• W2887757342 cites W1485813796 @default.
• W2887757342 cites W1590283810 @default.
• W2887757342 cites W1932636156 @default.
• W2887757342 cites W1966547590 @default.
• W2887757342 cites W1966651017 @default.
• W2887757342 cites W1982129592 @default.
• W2887757342 cites W1998084650 @default.
• W2887757342 cites W2027683388 @default.
• W2887757342 cites W2028587915 @default.
• W2887757342 cites W2037457229 @default.
• W2887757342 cites W2039529128 @default.
• W2887757342 cites W2041545457 @default.
• W2887757342 cites W2043360684 @default.
• W2887757342 cites W2044858512 @default.
• W2887757342 cites W2052227055 @default.
• W2887757342 cites W2053982295 @default.
• W2887757342 cites W2057595388 @default.
• W2887757342 cites W2142367687 @default.
• W2887757342 cites W2155447404 @default.
• W2887757342 cites W2158243788 @default.
• W2887757342 cites W2162000948 @default.
• W2887757342 cites W2416559203 @default.
• W2887757342 cites W2496504753 @default.
• W2887757342 cites W2504058988 @default.
• W2887757342 cites W2509841691 @default.
• W2887757342 cites W2533977282 @default.
• W2887757342 cites W2598639991 @default.
• W2887757342 cites W2603068814 @default.
• W2887757342 cites W2606674369 @default.
• W2887757342 cites W2607898266 @default.
• W2887757342 cites W2730583255 @default.
• W2887757342 cites W2755285785 @default.
• W2887757342 cites W2759976471 @default.
• W2887757342 cites W2761853058 @default.
• W2887757342 cites W2912987268 @default.
• W2887757342 cites W2962834616 @default.
• W2887757342 cites W4298227433 @default.
• W2887757342 doi "https://doi.org/10.1109/tac.2019.2912484" @default.
• W2887757342 hasPublicationYear "2020" @default.
• W2887757342 type Work @default.
• W2887757342 sameAs 2887757342 @default.
• W2887757342 citedByCount "6" @default.
• W2887757342 countsByYear W28877573422020 @default.
• W2887757342 countsByYear W28877573422022 @default.
• W2887757342 countsByYear W28877573422023 @default.
• W2887757342 crossrefType "journal-article" @default.
• W2887757342 hasAuthorship W2887757342A5006279709 @default.
• W2887757342 hasBestOaLocation W28877573422 @default.
• W2887757342 hasConcept C112505250 @default.
• W2887757342 hasConcept C11413529 @default.
• W2887757342 hasConcept C116248031 @default.
• W2887757342 hasConcept C118615104 @default.
• W2887757342 hasConcept C153269930 @default.
• W2887757342 hasConcept C167822520 @default.
• W2887757342 hasConcept C174327141 @default.
• W2887757342 hasConcept C192034797 @default.
• W2887757342 hasConcept C197551870 @default.
• W2887757342 hasConcept C28826006 @default.
• W2887757342 hasConcept C311688 @default.
• W2887757342 hasConcept C33923547 @default.
• W2887757342 hasConcept C36299963 @default.
• W2887757342 hasConcept C38677869 @default.
• W2887757342 hasConcept C41008148 @default.
• W2887757342 hasConcept C80444323 @default.
• W2887757342 hasConceptScore W2887757342C112505250 @default.
• W2887757342 hasConceptScore W2887757342C11413529 @default.
• W2887757342 hasConceptScore W2887757342C116248031 @default.
• W2887757342 hasConceptScore W2887757342C118615104 @default.
• W2887757342 hasConceptScore W2887757342C153269930 @default.
• W2887757342 hasConceptScore W2887757342C167822520 @default.
• W2887757342 hasConceptScore W2887757342C174327141 @default.
• W2887757342 hasConceptScore W2887757342C192034797 @default.
• W2887757342 hasConceptScore W2887757342C197551870 @default.
• W2887757342 hasConceptScore W2887757342C28826006 @default.
• W2887757342 hasConceptScore W2887757342C311688 @default.
• W2887757342 hasConceptScore W2887757342C33923547 @default.
• W2887757342 hasConceptScore W2887757342C36299963 @default.
• W2887757342 hasConceptScore W2887757342C38677869 @default.
• W2887757342 hasConceptScore W2887757342C41008148 @default.
• W2887757342 hasConceptScore W2887757342C80444323 @default.
• W2887757342 hasFunder F4320321006 @default.
• W2887757342 hasIssue "1" @default.
• W2887757342 hasLocation W28877573421 @default.
• W2887757342 hasLocation W28877573422 @default.
• W2887757342 hasOpenAccess W2887757342 @default.
• W2887757342 hasPrimaryLocation W28877573421 @default.
• W2887757342 hasRelatedWork W1557000936 @default.
• W2887757342 hasRelatedWork W1963567297 @default.
• W2887757342 hasRelatedWork W2395891450 @default.
• W2887757342 hasRelatedWork W2800776540 @default.
• W2887757342 hasRelatedWork W2887757342 @default.
• W2887757342 hasRelatedWork W2951053503 @default.

• next