Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952802761> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2952802761 abstract "When a property needs to be checked against an unknown or very complex system, classical exploration techniques like model-checking are not applicable anymore. Sometimes a~monitor can be used, that checks a given property on the underlying system at runtime. A monitor for a property $L$ is a deterministic finite automaton $M_L$ that after each finite execution tells whether (1) every possible extension of the execution is in $L$, or (2) every possible extension is in the complement of $L$, or neither (1) nor (2) holds. Moreover, $L$ being monitorable means that it is always possible that in some future the monitor reaches (1) or (2). Classical examples for monitorable properties are safety and cosafety properties. On the other hand, deterministic liveness properties like infinitely many $a$'s are not monitorable. We discuss various monitor constructions with a focus on deterministic omega-regular languages. We locate a proper subclass of of deterministic omega-regular languages but also strictly large than the subclass of languages which are deterministic and codeterministic, and for this subclass there exists a canonical monitor which also accepts the language itself. We also address the problem to decide monitorability in comparison with deciding liveness. The state of the art is as follows. Given a Buchi automaton, it is PSPACE-complete to decide liveness or monitorability. Given an LTL formula, deciding liveness becomes EXPSPACE-complete, but the complexity to decide monitorability remains open." @default.
- W2952802761 created "2019-06-27" @default.
- W2952802761 creator A5044780614 @default.
- W2952802761 creator A5054093863 @default.
- W2952802761 creator A5064757019 @default.
- W2952802761 date "2015-07-13" @default.
- W2952802761 modified "2023-10-14" @default.
- W2952802761 title "A Note on Monitors and Büchi automata" @default.
- W2952802761 cites W1535889317 @default.
- W2952802761 cites W1967689296 @default.
- W2952802761 cites W1985108724 @default.
- W2952802761 cites W2002089154 @default.
- W2952802761 cites W2030262845 @default.
- W2952802761 cites W2036862954 @default.
- W2952802761 cites W2048230495 @default.
- W2952802761 cites W2051800423 @default.
- W2952802761 cites W2098171268 @default.
- W2952802761 cites W2535981059 @default.
- W2952802761 cites W2952567897 @default.
- W2952802761 cites W3947704 @default.
- W2952802761 hasPublicationYear "2015" @default.
- W2952802761 type Work @default.
- W2952802761 sameAs 2952802761 @default.
- W2952802761 citedByCount "0" @default.
- W2952802761 crossrefType "proceedings-article" @default.
- W2952802761 hasAuthorship W2952802761A5044780614 @default.
- W2952802761 hasAuthorship W2952802761A5054093863 @default.
- W2952802761 hasAuthorship W2952802761A5064757019 @default.
- W2952802761 hasBestOaLocation W29528027611 @default.
- W2952802761 hasConcept C112505250 @default.
- W2952802761 hasConcept C41008148 @default.
- W2952802761 hasConcept C80444323 @default.
- W2952802761 hasConceptScore W2952802761C112505250 @default.
- W2952802761 hasConceptScore W2952802761C41008148 @default.
- W2952802761 hasConceptScore W2952802761C80444323 @default.
- W2952802761 hasLocation W29528027611 @default.
- W2952802761 hasLocation W29528027612 @default.
- W2952802761 hasLocation W29528027613 @default.
- W2952802761 hasOpenAccess W2952802761 @default.
- W2952802761 hasPrimaryLocation W29528027611 @default.
- W2952802761 hasRelatedWork W153904579 @default.
- W2952802761 hasRelatedWork W2047802234 @default.
- W2952802761 hasRelatedWork W2133673823 @default.
- W2952802761 hasRelatedWork W2325436751 @default.
- W2952802761 hasRelatedWork W2330733397 @default.
- W2952802761 hasRelatedWork W2368796975 @default.
- W2952802761 hasRelatedWork W2740942814 @default.
- W2952802761 hasRelatedWork W2900334384 @default.
- W2952802761 hasRelatedWork W2602338684 @default.
- W2952802761 hasRelatedWork W2751931981 @default.
- W2952802761 isParatext "false" @default.
- W2952802761 isRetracted "false" @default.
- W2952802761 magId "2952802761" @default.
- W2952802761 workType "article" @default.