liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Observation Strategies for Event Detection with Incidence on Runtime Verification: Theory, Algorithms, Experimentation
Dept. of Computer Science, Nova Universidade de Lisboa, Lisbon.
Linköpings universitet, Institutionen för teknik och naturvetenskap, Medie- och Informationsteknik. Linköpings universitet, Tekniska högskolan.
Dept. of Computer Science, Nova Universidade de Lisboa, Lisbon.
2011 (engelsk)Inngår i: Annals of Mathematics and Artificial Intelligence, ISSN 1012-2443, E-ISSN 1573-7470, Vol. 62, nr 3-4, s. 161-186Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

Many applications (such as system and user monitoring, runtime verification, diagnosis, observation-based decision making, intention recognition) all require to detect the occurrence of an event in a system, which entails the ability to observe the system. Observation can be costly, so it makes sense to try and reduce the number of observations, without losing full certainty about the event’s actual occurrence. In this paper, we propose a formalization of this problem. We formally show that, whenever the event to be detected follows a discrete spatial or temporal pattern, then it is possible to reduce the number of observations. We discuss exact and approximate algorithms to solve the problem, and provide an experimental evaluation of them. We apply the resulting algorithms to verification of linear temporal logics formulæ. Finally, we discuss possible generalizations and extensions, and, in particular, how event detection can benefit from logic programming techniques.

sted, utgiver, år, opplag, sider
Springer, 2011. Vol. 62, nr 3-4, s. 161-186
Emneord [en]
Event detection – Runtime verification – Temporal logic – Logic programming – Complexity
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-73061DOI: 10.1007/s10472-011-9259-5ISI: 000300019900002OAI: oai:DiVA.org:liu-73061DiVA, id: diva2:465613
Tilgjengelig fra: 2011-12-14 Laget: 2011-12-14 Sist oppdatert: 2018-01-12

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Dell'Acqua, Pierangelo

Søk i DiVA

Av forfatter/redaktør
Dell'Acqua, Pierangelo
Av organisasjonen
I samme tidsskrift
Annals of Mathematics and Artificial Intelligence

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 339 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf