Standard
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 Nature, 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 output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Harvard
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 Nature, pp. 441-456, 19th International Conference on Computational Science and Its Applications, ICCSA 2019, Saint Petersburg, Russian Federation,
1/07/19.
https://doi.org/10.1007/978-3-030-24296-1_35APA
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 Nature.
https://doi.org/10.1007/978-3-030-24296-1_35Vancouver
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 Nature. 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_35Author
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 Nature, 2019. pp. 441-456 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
BibTeX
@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{\textquoteright}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 = jan,
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 Nature",
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",
note = "19th International Conference on Computational Science and Its Applications, ICCSA 2019 ; Conference date: 01-07-2019 Through 04-07-2019",
}
RIS
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
N1 - Conference code: 19
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
UR - http://www.mendeley.com/research/automatic-synthesis-multilevel-automata-models-biological-objects
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 Nature
T2 - 19th International Conference on Computational Science and Its Applications, ICCSA 2019
Y2 - 1 July 2019 through 4 July 2019
ER -
