Automatic Synthesis of Multilevel Automata Models of Biological Objects

Vasiliy Osipov, Elena Stankova, Alexander Vodyaho, Mikhail Lushnov, Yulia Shichkina, Nataly Zhukova

Research outputpeer-review

Abstract

In the paper the problem of high computational complexity of synthesis is discussed. Existing models and methods of synthesis don’t allow build models of biological objects and systems. The complexity can be significantly reduced due to considering multilevel objects models instead of single level models. The new problem statement for multilevel synthesis is given. To build the models a new method based on inductive and deductive approaches is proposed. To describe the new multilevel models of the objects the theory of automata models is extended to the case of multilevel relatively finite operational automata models. Results of modeling of dynamics of the acid-base state in cavernous sinus of patients with cardiac surgical pathology during the postoperative period in the operating room and in the cardio-resuscitation unit are given.

Original languageEnglish
Title of host publicationComputational Science and Its Applications – ICCSA 2019 - 19th International Conference, 2019, Proceedings
EditorsSanjay Misra, Carmelo Torre, Eufemia Tarantino, Bernady O. Apduhan, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Ana Maria A.C. Rocha, David Taniar
PublisherSpringer
Pages441-456
Number of pages16
ISBN (Print)9783030242954
DOIs
Publication statusPublished - 1 Jan 2019
Event19th International Conference on Computational Science and Its Applications, ICCSA 2019 - Saint Petersburg
Duration: 1 Jul 20194 Jul 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11620 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference19th International Conference on Computational Science and Its Applications, ICCSA 2019
CountryRussian Federation
CitySaint Petersburg
Period1/07/194/07/19

Fingerprint

Automata
Synthesis
Multilevel Models
Model
Object Model
Resuscitation
Operating rooms
Cardiac
Object
Computational Complexity
Pathology
Computational complexity
Unit
Modeling
Acids

Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Osipov, V., Stankova, E., Vodyaho, A., Lushnov, M., Shichkina, Y., & Zhukova, N. (2019). Automatic Synthesis of Multilevel Automata Models of Biological Objects. In S. Misra, C. Torre, E. Tarantino, B. O. Apduhan, O. Gervasi, B. Murgante, E. Stankova, V. Korkhov, A. M. A. C. Rocha, ... D. Taniar (Eds.), Computational Science and Its Applications – ICCSA 2019 - 19th International Conference, 2019, Proceedings (pp. 441-456). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11620 LNCS). Springer. https://doi.org/10.1007/978-3-030-24296-1_35
Osipov, Vasiliy ; Stankova, Elena ; Vodyaho, Alexander ; Lushnov, Mikhail ; Shichkina, Yulia ; Zhukova, Nataly. / Automatic Synthesis of Multilevel Automata Models of Biological Objects. Computational Science and Its Applications – ICCSA 2019 - 19th International Conference, 2019, Proceedings. editor / Sanjay Misra ; Carmelo Torre ; Eufemia Tarantino ; Bernady O. Apduhan ; Osvaldo Gervasi ; Beniamino Murgante ; Elena Stankova ; Vladimir Korkhov ; Ana Maria A.C. Rocha ; David Taniar. Springer, 2019. pp. 441-456 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{1e8a852a48534cbba29771153777234a,
title = "Automatic Synthesis of Multilevel Automata Models of Biological Objects",
abstract = "In the paper the problem of high computational complexity of synthesis is discussed. Existing models and methods of synthesis don’t allow build models of biological objects and systems. The complexity can be significantly reduced due to considering multilevel objects models instead of single level models. The new problem statement for multilevel synthesis is given. To build the models a new method based on inductive and deductive approaches is proposed. To describe the new multilevel models of the objects the theory of automata models is extended to the case of multilevel relatively finite operational automata models. Results of modeling of dynamics of the acid-base state in cavernous sinus of patients with cardiac surgical pathology during the postoperative period in the operating room and in the cardio-resuscitation unit are given.",
keywords = "Automatic synthesis, Biological objects, Multilevel automata",
author = "Vasiliy Osipov and Elena Stankova and Alexander Vodyaho and Mikhail Lushnov and Yulia Shichkina and Nataly Zhukova",
year = "2019",
month = "1",
day = "1",
doi = "10.1007/978-3-030-24296-1_35",
language = "English",
isbn = "9783030242954",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "441--456",
editor = "Sanjay Misra and Carmelo Torre and Eufemia Tarantino and Apduhan, {Bernady O.} and Osvaldo Gervasi and Beniamino Murgante and Elena Stankova and Vladimir Korkhov and Rocha, {Ana Maria A.C.} and David Taniar",
booktitle = "Computational Science and Its Applications – ICCSA 2019 - 19th International Conference, 2019, Proceedings",
address = "Germany",

}

Osipov, V, Stankova, E, Vodyaho, A, Lushnov, M, Shichkina, Y & Zhukova, N 2019, Automatic Synthesis of Multilevel Automata Models of Biological Objects. in S Misra, C Torre, E Tarantino, BO Apduhan, O Gervasi, B Murgante, E Stankova, V Korkhov, AMAC Rocha & D Taniar (eds), Computational Science and Its Applications – ICCSA 2019 - 19th International Conference, 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11620 LNCS, Springer, pp. 441-456, Saint Petersburg, 1/07/19. https://doi.org/10.1007/978-3-030-24296-1_35

Automatic Synthesis of Multilevel Automata Models of Biological Objects. / Osipov, Vasiliy; Stankova, Elena; Vodyaho, Alexander; Lushnov, Mikhail; Shichkina, Yulia; Zhukova, Nataly.

Computational Science and Its Applications – ICCSA 2019 - 19th International Conference, 2019, Proceedings. ed. / Sanjay Misra; Carmelo Torre; Eufemia Tarantino; Bernady O. Apduhan; Osvaldo Gervasi; Beniamino Murgante; Elena Stankova; Vladimir Korkhov; Ana Maria A.C. Rocha; David Taniar. Springer, 2019. p. 441-456 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11620 LNCS).

Research outputpeer-review

TY - GEN

T1 - Automatic Synthesis of Multilevel Automata Models of Biological Objects

AU - Osipov, Vasiliy

AU - Stankova, Elena

AU - Vodyaho, Alexander

AU - Lushnov, Mikhail

AU - Shichkina, Yulia

AU - Zhukova, Nataly

PY - 2019/1/1

Y1 - 2019/1/1

N2 - In the paper the problem of high computational complexity of synthesis is discussed. Existing models and methods of synthesis don’t allow build models of biological objects and systems. The complexity can be significantly reduced due to considering multilevel objects models instead of single level models. The new problem statement for multilevel synthesis is given. To build the models a new method based on inductive and deductive approaches is proposed. To describe the new multilevel models of the objects the theory of automata models is extended to the case of multilevel relatively finite operational automata models. Results of modeling of dynamics of the acid-base state in cavernous sinus of patients with cardiac surgical pathology during the postoperative period in the operating room and in the cardio-resuscitation unit are given.

AB - In the paper the problem of high computational complexity of synthesis is discussed. Existing models and methods of synthesis don’t allow build models of biological objects and systems. The complexity can be significantly reduced due to considering multilevel objects models instead of single level models. The new problem statement for multilevel synthesis is given. To build the models a new method based on inductive and deductive approaches is proposed. To describe the new multilevel models of the objects the theory of automata models is extended to the case of multilevel relatively finite operational automata models. Results of modeling of dynamics of the acid-base state in cavernous sinus of patients with cardiac surgical pathology during the postoperative period in the operating room and in the cardio-resuscitation unit are given.

KW - Automatic synthesis

KW - Biological objects

KW - Multilevel automata

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

U2 - 10.1007/978-3-030-24296-1_35

DO - 10.1007/978-3-030-24296-1_35

M3 - Conference contribution

AN - SCOPUS:85069167345

SN - 9783030242954

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

SP - 441

EP - 456

BT - Computational Science and Its Applications – ICCSA 2019 - 19th International Conference, 2019, Proceedings

A2 - Misra, Sanjay

A2 - Torre, Carmelo

A2 - Tarantino, Eufemia

A2 - Apduhan, Bernady O.

A2 - Gervasi, Osvaldo

A2 - Murgante, Beniamino

A2 - Stankova, Elena

A2 - Korkhov, Vladimir

A2 - Rocha, Ana Maria A.C.

A2 - Taniar, David

PB - Springer

ER -

Osipov V, Stankova E, Vodyaho A, Lushnov M, Shichkina Y, Zhukova N. Automatic Synthesis of Multilevel Automata Models of Biological Objects. In Misra S, Torre C, Tarantino E, Apduhan BO, Gervasi O, Murgante B, Stankova E, Korkhov V, Rocha AMAC, Taniar D, editors, Computational Science and Its Applications – ICCSA 2019 - 19th International Conference, 2019, Proceedings. Springer. 2019. p. 441-456. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-24296-1_35