Abstract
A reactive model, as studied by D. Gabbay and his collaborators, can be regarded as a graph whose set of edges may be altered whenever one of them is crossed. In this paper we show how reactive models can describe biological regulatory networks and compare them to Boolean networks and piecewise-linear models, which are some of the most common kinds of models used nowadays. In particular, we show that, with respect to the identification of steady states, reactive Boolean networks lie between piecewise linear models and the usual, plain Boolean networks. We also show this ability is preserved by a suitable notion of bisimulation, and, therefore, by network minimisation.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Areces, C., Fervari, R., Hoffmann, G.: Swap logic. Log. J. IGPL 22(2), 309–332 (2013). p. jzt030
Areces, C., Fervari, R., Hoffmann, G.: Relation-changing modal operators. Log. J. IGPL 23(4), 601–627 (2015). p. jzv020
van Benthem, J.: An essay on sabotage and obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 268–276. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-32254-2_16
Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic: Graph. Darst, vol. 53. Cambridge University Press, Cambridge (2002)
Chaves, M.: Predictive analysis of dynamical systems: combining discrete and continuous formalisms. Ph.D. thesis, Gipsa-lab (2013)
Chaves, M., Tournier, L.: Predicting the asymptotic dynamics of large biological networks by interconnections of boolean modules. In: 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), pp. 3026–3031. IEEE (2011)
De Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol. 9(1), 67–103 (2002)
Figueiredo, D.: Relating bisimulations with attractors in boolean network models. In: Botón-Fernández, M., Martín-Vide, C., Santander-Jiménez, S., Vega-Rodríguez, M. (eds.) AlCoB 2016. LNCS, vol. 9702, pp. 17–25. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-38827-4_2
Figueiredo, D., Martins, M.A., Barbosa, L.S.: A note on reactive transitions and reo connectors. In: de Boer, F., Bonsangue, M., Rutten, J. (eds.) It’s All About Coordination. LNCS, vol. 10865, pp. 57–67. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-90089-6_4
Gabbay, D., Marcelino, S.: Global view on reactivity: switch graphs and their logics. Ann. Math. Artif. Intell. 66(1–4), 1–32 (2012)
Gabbay, D.M.: Reactive Kripke Semantics. Cognitive Technologies. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41389-6
Gabbay, D.M., Marcelino, S.: Modal logics of reactive frames. Stud. Logica 93(2), 405–446 (2009)
Glass, L., Kauffman, S.A.: The logical analysis of continuous, non-linear biochemical control networks. J. Theor. Biol. 39(1), 103–129 (1973)
Marcelino, S.R.T.: Modal logic for changing systems. University of London (2011)
Pola, G., Di Benedetto, M.D., De Santis, E.: Arenas of finite state machines. arXiv preprint arXiv:1106.0342 (2011)
Acknowledgments
This work was supported by ERDF - The European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project POCI-01-0145-FEDER-030947. and project with reference UID/MAT/04106/2019 at CIDMA. D. Figueiredo also acknowledges the support given by FCT via the PhD scholarship PD/BD/114186/2016.
The authors are also grateful to the reviewers for their useful comments and corrections.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Figueiredo, D., Barbosa, L.S. (2019). Reactive Models for Biological Regulatory Networks. In: Chaves, M., Martins, M. (eds) Molecular Logic and Computational Synthetic Biology. MLCSB 2018. Lecture Notes in Computer Science(), vol 11415. Springer, Cham. https://doi.org/10.1007/978-3-030-19432-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-19432-1_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-19431-4
Online ISBN: 978-3-030-19432-1
eBook Packages: Computer ScienceComputer Science (R0)