ACTIVE MONITORING USING REAL-TIME METRIC LINEAR TEMPORAL LOGIC SPECIFICATIONS

Gabor Simko; Janos Sztipanovits

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

ACTIVE MONITORING USING REAL-TIME METRIC LINEAR TEMPORAL LOGIC SPECIFICATIONS

Topics: Decision Support Systems; Design and Development Methodologies for Healthcare IT; Evaluation and Use of Healthcare IT; Healthcare Management Systems

In Proceedings of the International Conference on Health Informatics - Volume 0BIOSTEC, 370-373, 2012 , Vilamoura, Algarve, Portugal

Authors: Gabor Simko and Janos Sztipanovits

Affiliation: Vanderbilt University, United States

Keyword(s): Real-time monitoring, Temporal logic, Active monitoring, Policy monitoring, Control design.

Related Ontology Subjects/Areas/Topics: Biomedical Engineering ; Decision Support Systems ; Design and Development Methodologies for Healthcare IT ; Evaluation and Use of Healthcare IT ; Health Information Systems ; Healthcare Management Systems

Abstract: Monitoring temporal relationships among events in event streams has wide scale applicability in health information systems. From detecting violations of privacy policies in message sequences to diagnosing conditions in physiological data streams real-time event monitoring of temporal invariants is becoming an important tool for system design. We developed an Active Real-Time Event Monitoring and Integration System (ARTEMIS) capable of integrating event streams and monitoring the existence of temporal invariants among events expressed in a safety fragment of metric first-order temporal logic (MFOTL). The paper discusses the mathematical foundations of the monitor, and demonstrates the application concepts in a physiological alarm generator and clinical information workflow system.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.227.72.24

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Simko, G. and Sztipanovits, J. (2012). ACTIVE MONITORING USING REAL-TIME METRIC LINEAR TEMPORAL LOGIC SPECIFICATIONS. In Proceedings of the International Conference on Health Informatics (BIOSTEC 2012) - HEALTHINF; ISBN 978-989-8425-88-1; ISSN 2184-4305, SciTePress, pages 370-373. DOI: 10.5220/0003768703700373

@conference{healthinf12,
author={Gabor Simko. and Janos Sztipanovits.},
title={ACTIVE MONITORING USING REAL-TIME METRIC LINEAR TEMPORAL LOGIC SPECIFICATIONS},
booktitle={Proceedings of the International Conference on Health Informatics (BIOSTEC 2012) - HEALTHINF},
year={2012},
pages={370-373},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003768703700373},
isbn={978-989-8425-88-1},
issn={2184-4305},
}

TY - CONF

JO - Proceedings of the International Conference on Health Informatics (BIOSTEC 2012) - HEALTHINF
TI - ACTIVE MONITORING USING REAL-TIME METRIC LINEAR TEMPORAL LOGIC SPECIFICATIONS
SN - 978-989-8425-88-1
IS - 2184-4305
AU - Simko, G.
AU - Sztipanovits, J.
PY - 2012
SP - 370
EP - 373
DO - 10.5220/0003768703700373
PB - SciTePress