Modeling cellular behavior with hybrid automata

Bisimulation and collapsing

Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni

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

Abstract

Many biological systems can be modeled using systems of ordinary differential algebraic equations (e.g., S-systems), thus allowing the study of their solutions and behavior automatically with suitable software tools (e.g., PLAS, Octave/Matlabtm). Usually, numerical solutions (traces or trajectories) for appropriate initial conditions are analyzed in order to infer significant properties of the biological systems under study. When several variables are involved and the traces span over a long interval of time, the analysis phase necessitates automation in a scalable and efficient manner. Earlier, we have advocated and experimented with the use of automata and temporal logics for this purpose (XS-systems and Simpathica) and here we continue our investigation more deeply. We propose the use of hybrid automata and we discuss the use of the notions of bisimulation and collapsing for a “qualitative” analysis of the temporal evolution of biological systems. As compared with our previous proposal, hybrid automata allow maintenance of more information about the differential equations (S-system) than standard automata. The use of the notion of bisimulation in the definition of the projection operation (restrictions to a subset of “interesting” variables) makes possible to work with reduced automata satisfying the same formulae as the initial ones. Finally, the notion of collapsing is introduced to move toward still simpler and equivalent automata taming the complexity of the automata whose number of states depends on the level of approximation allowed.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages57-74
Number of pages18
Volume2602
ISBN (Print)3540006052, 9783540006053
DOIs
StatePublished - 2003
Event1st International Workshop on Computational Methods in Systems Biology, CMSB 2003 - Rovereto, Italy
Duration: Feb 24 2003Feb 26 2003

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2602
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other1st International Workshop on Computational Methods in Systems Biology, CMSB 2003
CountryItaly
CityRovereto
Period2/24/032/26/03

Fingerprint

Hybrid Automata
Collapsing
Bisimulation
Biological systems
Automata
Biological Systems
S-system
Modeling
Temporal logic
Ordinary differential equations
Trace
Differential equations
Octave
Automation
Trajectories
Algebraic Differential Equations
Qualitative Analysis
Several Variables
Temporal Logic
Software Tools

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Antoniotti, M., Mishra, B., Piazza, C., Policriti, A., & Simeoni, M. (2003). Modeling cellular behavior with hybrid automata: Bisimulation and collapsing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2602, pp. 57-74). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2602). Springer Verlag. https://doi.org/10.1007/3-540-36481-1_6

Modeling cellular behavior with hybrid automata : Bisimulation and collapsing. / Antoniotti, Marco; Mishra, Bhubaneswar; Piazza, Carla; Policriti, Alberto; Simeoni, Marta.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2602 Springer Verlag, 2003. p. 57-74 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2602).

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

Antoniotti, M, Mishra, B, Piazza, C, Policriti, A & Simeoni, M 2003, Modeling cellular behavior with hybrid automata: Bisimulation and collapsing. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 2602, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2602, Springer Verlag, pp. 57-74, 1st International Workshop on Computational Methods in Systems Biology, CMSB 2003, Rovereto, Italy, 2/24/03. https://doi.org/10.1007/3-540-36481-1_6
Antoniotti M, Mishra B, Piazza C, Policriti A, Simeoni M. Modeling cellular behavior with hybrid automata: Bisimulation and collapsing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2602. Springer Verlag. 2003. p. 57-74. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-36481-1_6
Antoniotti, Marco ; Mishra, Bhubaneswar ; Piazza, Carla ; Policriti, Alberto ; Simeoni, Marta. / Modeling cellular behavior with hybrid automata : Bisimulation and collapsing. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2602 Springer Verlag, 2003. pp. 57-74 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{9d6daa0373fd47dfb7c973e15ce72e60,
title = "Modeling cellular behavior with hybrid automata: Bisimulation and collapsing",
abstract = "Many biological systems can be modeled using systems of ordinary differential algebraic equations (e.g., S-systems), thus allowing the study of their solutions and behavior automatically with suitable software tools (e.g., PLAS, Octave/Matlabtm). Usually, numerical solutions (traces or trajectories) for appropriate initial conditions are analyzed in order to infer significant properties of the biological systems under study. When several variables are involved and the traces span over a long interval of time, the analysis phase necessitates automation in a scalable and efficient manner. Earlier, we have advocated and experimented with the use of automata and temporal logics for this purpose (XS-systems and Simpathica) and here we continue our investigation more deeply. We propose the use of hybrid automata and we discuss the use of the notions of bisimulation and collapsing for a “qualitative” analysis of the temporal evolution of biological systems. As compared with our previous proposal, hybrid automata allow maintenance of more information about the differential equations (S-system) than standard automata. The use of the notion of bisimulation in the definition of the projection operation (restrictions to a subset of “interesting” variables) makes possible to work with reduced automata satisfying the same formulae as the initial ones. Finally, the notion of collapsing is introduced to move toward still simpler and equivalent automata taming the complexity of the automata whose number of states depends on the level of approximation allowed.",
author = "Marco Antoniotti and Bhubaneswar Mishra and Carla Piazza and Alberto Policriti and Marta Simeoni",
year = "2003",
doi = "10.1007/3-540-36481-1_6",
language = "English (US)",
isbn = "3540006052",
volume = "2602",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "57--74",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Modeling cellular behavior with hybrid automata

T2 - Bisimulation and collapsing

AU - Antoniotti, Marco

AU - Mishra, Bhubaneswar

AU - Piazza, Carla

AU - Policriti, Alberto

AU - Simeoni, Marta

PY - 2003

Y1 - 2003

N2 - Many biological systems can be modeled using systems of ordinary differential algebraic equations (e.g., S-systems), thus allowing the study of their solutions and behavior automatically with suitable software tools (e.g., PLAS, Octave/Matlabtm). Usually, numerical solutions (traces or trajectories) for appropriate initial conditions are analyzed in order to infer significant properties of the biological systems under study. When several variables are involved and the traces span over a long interval of time, the analysis phase necessitates automation in a scalable and efficient manner. Earlier, we have advocated and experimented with the use of automata and temporal logics for this purpose (XS-systems and Simpathica) and here we continue our investigation more deeply. We propose the use of hybrid automata and we discuss the use of the notions of bisimulation and collapsing for a “qualitative” analysis of the temporal evolution of biological systems. As compared with our previous proposal, hybrid automata allow maintenance of more information about the differential equations (S-system) than standard automata. The use of the notion of bisimulation in the definition of the projection operation (restrictions to a subset of “interesting” variables) makes possible to work with reduced automata satisfying the same formulae as the initial ones. Finally, the notion of collapsing is introduced to move toward still simpler and equivalent automata taming the complexity of the automata whose number of states depends on the level of approximation allowed.

AB - Many biological systems can be modeled using systems of ordinary differential algebraic equations (e.g., S-systems), thus allowing the study of their solutions and behavior automatically with suitable software tools (e.g., PLAS, Octave/Matlabtm). Usually, numerical solutions (traces or trajectories) for appropriate initial conditions are analyzed in order to infer significant properties of the biological systems under study. When several variables are involved and the traces span over a long interval of time, the analysis phase necessitates automation in a scalable and efficient manner. Earlier, we have advocated and experimented with the use of automata and temporal logics for this purpose (XS-systems and Simpathica) and here we continue our investigation more deeply. We propose the use of hybrid automata and we discuss the use of the notions of bisimulation and collapsing for a “qualitative” analysis of the temporal evolution of biological systems. As compared with our previous proposal, hybrid automata allow maintenance of more information about the differential equations (S-system) than standard automata. The use of the notion of bisimulation in the definition of the projection operation (restrictions to a subset of “interesting” variables) makes possible to work with reduced automata satisfying the same formulae as the initial ones. Finally, the notion of collapsing is introduced to move toward still simpler and equivalent automata taming the complexity of the automata whose number of states depends on the level of approximation allowed.

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

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

U2 - 10.1007/3-540-36481-1_6

DO - 10.1007/3-540-36481-1_6

M3 - Conference contribution

SN - 3540006052

SN - 9783540006053

VL - 2602

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 57

EP - 74

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -