Deriving kripke structures from time series segmentation results

Satish Tadepalli, Naren Ramakrishnan, Bhubaneswar Mishra, Layne T. Watson, Richard F. Helm

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Kripke structures are important modeling formalisms to understand the behavior of reactive systems. We present an approach to automatically infer Kripke structures from time series datasets. Our algorithm bridges the continuous world of time profiles and the discrete symbols of Kripke structures by incorporating a segmentation algorithm as an intermediate step. This approach identifies, in an unsupervised manner, the states of the Kripke structure, the transition relation, and the properties (propositions) that hold true in each state. We demonstrate experimental results of our approach to understanding the interplay between key biological processes.

Original languageEnglish (US)
Title of host publicationProceedings - 9th International Workshop on Discrete Event Systems, WODES' 08
Pages406-411
Number of pages6
DOIs
StatePublished - 2008
Event9th International Workshop on Discrete Event Systems, WODES' 08 - Goteborg, Sweden
Duration: May 28 2008May 30 2008

Other

Other9th International Workshop on Discrete Event Systems, WODES' 08
CountrySweden
CityGoteborg
Period5/28/085/30/08

Fingerprint

Time series

ASJC Scopus subject areas

  • Computer Science Applications
  • Control and Systems Engineering

Cite this

Tadepalli, S., Ramakrishnan, N., Mishra, B., Watson, L. T., & Helm, R. F. (2008). Deriving kripke structures from time series segmentation results. In Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08 (pp. 406-411). [4605980] https://doi.org/10.1109/WODES.2008.4605980

Deriving kripke structures from time series segmentation results. / Tadepalli, Satish; Ramakrishnan, Naren; Mishra, Bhubaneswar; Watson, Layne T.; Helm, Richard F.

Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08. 2008. p. 406-411 4605980.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tadepalli, S, Ramakrishnan, N, Mishra, B, Watson, LT & Helm, RF 2008, Deriving kripke structures from time series segmentation results. in Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08., 4605980, pp. 406-411, 9th International Workshop on Discrete Event Systems, WODES' 08, Goteborg, Sweden, 5/28/08. https://doi.org/10.1109/WODES.2008.4605980
Tadepalli S, Ramakrishnan N, Mishra B, Watson LT, Helm RF. Deriving kripke structures from time series segmentation results. In Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08. 2008. p. 406-411. 4605980 https://doi.org/10.1109/WODES.2008.4605980
Tadepalli, Satish ; Ramakrishnan, Naren ; Mishra, Bhubaneswar ; Watson, Layne T. ; Helm, Richard F. / Deriving kripke structures from time series segmentation results. Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08. 2008. pp. 406-411
@inproceedings{3cadf2fe95004fec9665776443517524,
title = "Deriving kripke structures from time series segmentation results",
abstract = "Kripke structures are important modeling formalisms to understand the behavior of reactive systems. We present an approach to automatically infer Kripke structures from time series datasets. Our algorithm bridges the continuous world of time profiles and the discrete symbols of Kripke structures by incorporating a segmentation algorithm as an intermediate step. This approach identifies, in an unsupervised manner, the states of the Kripke structure, the transition relation, and the properties (propositions) that hold true in each state. We demonstrate experimental results of our approach to understanding the interplay between key biological processes.",
author = "Satish Tadepalli and Naren Ramakrishnan and Bhubaneswar Mishra and Watson, {Layne T.} and Helm, {Richard F.}",
year = "2008",
doi = "10.1109/WODES.2008.4605980",
language = "English (US)",
isbn = "9781424425921",
pages = "406--411",
booktitle = "Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08",

}

TY - GEN

T1 - Deriving kripke structures from time series segmentation results

AU - Tadepalli, Satish

AU - Ramakrishnan, Naren

AU - Mishra, Bhubaneswar

AU - Watson, Layne T.

AU - Helm, Richard F.

PY - 2008

Y1 - 2008

N2 - Kripke structures are important modeling formalisms to understand the behavior of reactive systems. We present an approach to automatically infer Kripke structures from time series datasets. Our algorithm bridges the continuous world of time profiles and the discrete symbols of Kripke structures by incorporating a segmentation algorithm as an intermediate step. This approach identifies, in an unsupervised manner, the states of the Kripke structure, the transition relation, and the properties (propositions) that hold true in each state. We demonstrate experimental results of our approach to understanding the interplay between key biological processes.

AB - Kripke structures are important modeling formalisms to understand the behavior of reactive systems. We present an approach to automatically infer Kripke structures from time series datasets. Our algorithm bridges the continuous world of time profiles and the discrete symbols of Kripke structures by incorporating a segmentation algorithm as an intermediate step. This approach identifies, in an unsupervised manner, the states of the Kripke structure, the transition relation, and the properties (propositions) that hold true in each state. We demonstrate experimental results of our approach to understanding the interplay between key biological processes.

UR - http://www.scopus.com/inward/record.url?scp=53149126850&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=53149126850&partnerID=8YFLogxK

U2 - 10.1109/WODES.2008.4605980

DO - 10.1109/WODES.2008.4605980

M3 - Conference contribution

SN - 9781424425921

SP - 406

EP - 411

BT - Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

ER -