Matches in SemOpenAlex for { <https://semopenalex.org/work/W2810134265> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2810134265 abstract "In online monitoring, it is crucial to detect a deviation from normal behavior as soon as it occurs. During online monitoring, the system traces are checked against monitoring rules in real-time to detect such deviations. In general, the rules are defined as boundary conditions by the experts of the monitored system. In this work, we study the problem of synthesizing online monitoring rules in the form of temporal logic formulas in an automated way. We describe the monitoring rules as past time signal temporal logic (ptSTL) formulas and propose an algorithm to synthesize such formulas from a given set of labeled system traces. The algorithm searches the formula space for a predefined number of operators in an efficient way and produce the best formula representing a monitoring rule. In addition, we improve online STL monitoring algorithm to efficiently compute a quantitative valuation for piecewise-constant signals from ptSTL formulas, thus, reduce the overhead of the the real-time computation." @default.
- W2810134265 created "2018-07-10" @default.
- W2810134265 creator A5029149821 @default.
- W2810134265 date "2018-04-01" @default.
- W2810134265 modified "2023-09-25" @default.
- W2810134265 title "Efficient Online Monitoring and Formula Synthesis with Past STL" @default.
- W2810134265 cites W1534257613 @default.
- W2810134265 cites W1549122259 @default.
- W2810134265 cites W1762537806 @default.
- W2810134265 cites W1796872423 @default.
- W2810134265 cites W181236562 @default.
- W2810134265 cites W189973795 @default.
- W2810134265 cites W2049399166 @default.
- W2810134265 cites W2086092403 @default.
- W2810134265 cites W2101804404 @default.
- W2810134265 cites W2112656403 @default.
- W2810134265 cites W2118962824 @default.
- W2810134265 cites W2151150590 @default.
- W2810134265 cites W2753637750 @default.
- W2810134265 cites W2956034981 @default.
- W2810134265 cites W369898724 @default.
- W2810134265 doi "https://doi.org/10.1109/codit.2018.8394941" @default.
- W2810134265 hasPublicationYear "2018" @default.
- W2810134265 type Work @default.
- W2810134265 sameAs 2810134265 @default.
- W2810134265 citedByCount "9" @default.
- W2810134265 countsByYear W28101342652018 @default.
- W2810134265 countsByYear W28101342652019 @default.
- W2810134265 countsByYear W28101342652020 @default.
- W2810134265 countsByYear W28101342652023 @default.
- W2810134265 crossrefType "proceedings-article" @default.
- W2810134265 hasAuthorship W2810134265A5029149821 @default.
- W2810134265 hasConcept C11413529 @default.
- W2810134265 hasConcept C124101348 @default.
- W2810134265 hasConcept C134306372 @default.
- W2810134265 hasConcept C164660894 @default.
- W2810134265 hasConcept C177264268 @default.
- W2810134265 hasConcept C199360897 @default.
- W2810134265 hasConcept C25016198 @default.
- W2810134265 hasConcept C2779960059 @default.
- W2810134265 hasConcept C33923547 @default.
- W2810134265 hasConcept C41008148 @default.
- W2810134265 hasConcept C45374587 @default.
- W2810134265 hasConcept C79403827 @default.
- W2810134265 hasConcept C80444323 @default.
- W2810134265 hasConceptScore W2810134265C11413529 @default.
- W2810134265 hasConceptScore W2810134265C124101348 @default.
- W2810134265 hasConceptScore W2810134265C134306372 @default.
- W2810134265 hasConceptScore W2810134265C164660894 @default.
- W2810134265 hasConceptScore W2810134265C177264268 @default.
- W2810134265 hasConceptScore W2810134265C199360897 @default.
- W2810134265 hasConceptScore W2810134265C25016198 @default.
- W2810134265 hasConceptScore W2810134265C2779960059 @default.
- W2810134265 hasConceptScore W2810134265C33923547 @default.
- W2810134265 hasConceptScore W2810134265C41008148 @default.
- W2810134265 hasConceptScore W2810134265C45374587 @default.
- W2810134265 hasConceptScore W2810134265C79403827 @default.
- W2810134265 hasConceptScore W2810134265C80444323 @default.
- W2810134265 hasLocation W28101342651 @default.
- W2810134265 hasOpenAccess W2810134265 @default.
- W2810134265 hasPrimaryLocation W28101342651 @default.
- W2810134265 hasRelatedWork W123872086 @default.
- W2810134265 hasRelatedWork W1827544094 @default.
- W2810134265 hasRelatedWork W1988666619 @default.
- W2810134265 hasRelatedWork W2028024605 @default.
- W2810134265 hasRelatedWork W2076541787 @default.
- W2810134265 hasRelatedWork W2354062721 @default.
- W2810134265 hasRelatedWork W2357857148 @default.
- W2810134265 hasRelatedWork W2766262998 @default.
- W2810134265 hasRelatedWork W2767525681 @default.
- W2810134265 hasRelatedWork W2471367663 @default.
- W2810134265 isParatext "false" @default.
- W2810134265 isRetracted "false" @default.
- W2810134265 magId "2810134265" @default.
- W2810134265 workType "article" @default.