{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T15:24:40Z","timestamp":1780327480790,"version":"3.54.1"},"reference-count":65,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"content-version":"vor","delay-in-days":47,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002702","name":"Aalborg University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100002702","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2026,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Chemical reaction networks (CRNs) are an established population model defined as a system of coupled nonlinear ordinary differential equations across many disciplines. In many applications, for example, in systems biology and epidemiology, CRN parameters such as the kinetic reaction rates can be used as control inputs to steer the system toward a given target. Unfortunately, the resulting optimal control problem is nonlinear, therefore, computationally very challenging. We address this issue by introducing an optimality-preserving reduction algorithm for CRNs. The algorithm partitions the original state variables into a reduced set of macro-variables for which one can define a reduced optimal control problem with provably identical optimal values. The reduction algorithm runs with polynomial time complexity in the size of the CRN. We use this result to reduce verification and control problems of large-scale vaccination models over real-world networks.<\/jats:p>","DOI":"10.1007\/s10009-026-00854-0","type":"journal-article","created":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T09:46:05Z","timestamp":1779097565000},"page":"131-145","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Optimality-preserving reduction of controlled chemical reaction networks"],"prefix":"10.1007","volume":"28","author":[{"given":"Kim G.","family":"Larsen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniele","family":"Toller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Max","family":"Tschaikowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,18]]},"reference":[{"issue":"7","key":"854_CR1","doi-asserted-by":"publisher","first-page":"1822","DOI":"10.1073\/pnas.0308265100","volume":"101","author":"D. Angeli","year":"2004","unstructured":"Angeli, D., Ferrell, J.E., Sontag, E.D.: Detection of multistability, bifurcations, and hysteresis in a large class of biological positive-feedback systems. Proc. Natl. Acad. Sci. USA 101(7), 1822\u20131827 (2004)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"854_CR2","doi-asserted-by":"publisher","unstructured":"Seeman, N., Sleiman, H.: DNA nanotechnology. Nat. Rev., Mater. 3 (2017). https:\/\/doi.org\/10.1038\/natrevmats.2017.68","DOI":"10.1038\/natrevmats.2017.68"},{"issue":"3","key":"854_CR3","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1002\/ctd2.104","volume":"2","author":"M. Ilieva","year":"2022","unstructured":"Ilieva, M., Tschaikowski, M., Vandin, A., Uchida, S.: The current status of gene expression profilings in covid-19 patients. Clin. Transl. Discov. 2(3), 104 (2022)","journal-title":"Clin. Transl. Discov."},{"key":"854_CR4","doi-asserted-by":"publisher","first-page":"2976","DOI":"10.1063\/1.1678692","volume":"57","author":"T.G. Kurtz","year":"1972","unstructured":"Kurtz, T.G.: The relationship between stochastic and deterministic models for chemical reactions. J. Chem. Phys. 57, 2976\u20132978 (1972)","journal-title":"J. Chem. Phys."},{"key":"854_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-16561-0_12","volume-title":"International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)","author":"M. Tribastone","year":"2010","unstructured":"Tribastone, M., Mayer, P., Wirsing, M.: Performance prediction of service-oriented systems with layered queueing networks. In: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), pp.\u00a051\u201365 (2010)"},{"key":"854_CR6","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.peva.2016.12.005","volume":"109","author":"M. Tschaikowski","year":"2017","unstructured":"Tschaikowski, M., Tribastone, M.: Spatial fluid limits for stochastic mobile networks. J. Perform. Eval. 109, 52\u201376 (2017). https:\/\/doi.org\/10.1016\/j.peva.2016.12.005","journal-title":"J. Perform. Eval."},{"issue":"3","key":"854_CR7","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/3308897.3308909","volume":"46","author":"N. Gast","year":"2019","unstructured":"Gast, N., Bortolussi, L., Tribastone, M.: Size expansions of mean field approximation: transient and steady-state analysis. ACM SIGMETRICS Perform. Eval. Rev. 46(3), 25\u201326 (2019)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"854_CR8","first-page":"275","volume-title":"ISoLA 2020","author":"M. Jaeger","year":"2020","unstructured":"Jaeger, M., Bacci, G., Bacci, G., Larsen, K.G., Jensen, P.G.: Approximating Euclidean by imprecise Markov decision processes. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, vol.\u00a012476, pp.\u00a0275\u2013289 (2020)"},{"key":"854_CR9","doi-asserted-by":"publisher","unstructured":"Angulo, M.T., Moog, C.H., Liu, Y.-Y.: A theoretical framework for controlling complex microbial communities. Nat. Commun. 10 (2019). https:\/\/doi.org\/10.1038\/s41467-019-08890-y","DOI":"10.1038\/s41467-019-08890-y"},{"issue":"6","key":"854_CR10","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/j.automatica.2004.01.012","volume":"40","author":"J. Lygeros","year":"2004","unstructured":"Lygeros, J.: On reachability and minimum cost optimal control. Automatica 40(6), 917\u2013927 (2004)","journal-title":"Automatica"},{"issue":"6","key":"854_CR11","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1109\/9.863598","volume":"45","author":"G.J. Pappas","year":"2000","unstructured":"Pappas, G.J., Lafferriere, G., Sastry, S.: Hierarchically consistent control systems. IEEE Trans. Autom. Control 45(6), 1144\u20131160 (2000)","journal-title":"IEEE Trans. Autom. Control"},{"key":"854_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/RTSS.2012.70","volume-title":"Real-Time Systems Symposium, RTSS","author":"X. Chen","year":"2012","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Taylor model flowpipe construction for non-linear hybrid systems. In: Real-Time Systems Symposium, RTSS, pp.\u00a0183\u2013192 (2012). https:\/\/doi.org\/10.1109\/RTSS.2012.70"},{"key":"854_CR13","first-page":"485","volume-title":"Symposium on Logic in Computer Science","author":"L. Cardelli","year":"2016","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Comparing chemical reaction networks: a categorical and algorithmic perspective. In: Symposium on Logic in Computer Science, vol.\u00a0LICS, pp.\u00a0485\u2013494 (2016)"},{"issue":"1","key":"854_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1371\/journal.pcbi.1004012","volume":"11","author":"E.O. Voit","year":"2015","unstructured":"Voit, E.O., Martens, H.A., Omholt, S.W.: 150 years of the mass action law. PLoS Comput. Biol. 11(1), 1\u20137 (2015). https:\/\/doi.org\/10.1371\/journal.pcbi.1004012","journal-title":"PLoS Comput. Biol."},{"key":"854_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-019-09761-7","author":"L. Cardelli","year":"2019","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M.: From electric circuits to chemical networks. Nat. Comput. (2019). https:\/\/doi.org\/10.1007\/s11047-019-09761-7","journal-title":"Nat. Comput."},{"issue":"98","key":"854_CR16","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1021\/cr950223l","volume":"2","author":"M.S. Okino","year":"1998","unstructured":"Okino, M.S., Mavrovouniotis, M.L.: Simplification of mathematical models of chemical reaction systems. Chem. Rev. 2(98), 391\u2013408 (1998)","journal-title":"Chem. Rev."},{"issue":"7","key":"854_CR17","doi-asserted-by":"publisher","first-page":"1449","DOI":"10.1007\/s11538-017-0277-2","volume":"79","author":"T.J. Snowden","year":"2017","unstructured":"Snowden, T.J., Graaf, P.H., Tindall, M.J.: Methods of model reduction for large-scale biological systems: a survey of current methods and trends. Bull. Math. Biol. 79(7), 1449\u20131486 (2017). https:\/\/doi.org\/10.1007\/s11538-017-0277-2","journal-title":"Bull. Math. Biol."},{"key":"854_CR18","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718713","volume-title":"Approximation of Large-Scale Dynamical Systems","author":"A.C. Antoulas","year":"2005","unstructured":"Antoulas, A.C.: Approximation of Large-Scale Dynamical Systems. SIAM, Philadelphia (2005)"},{"issue":"2","key":"854_CR19","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.jlamp.2014.10.004","volume":"84","author":"M. Tschaikowski","year":"2015","unstructured":"Tschaikowski, M., Tribastone, M.: A unified framework for differential aggregations in Markovian process algebra. J. Log. Algebr. Methods Program. 84(2), 238\u2013258 (2015)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"854_CR20","first-page":"287","volume-title":"DSN","author":"L. Bortolussi","year":"2016","unstructured":"Bortolussi, L., Gast, N.: Mean field approximation of uncertain stochastic models. In: DSN, pp.\u00a0287\u2013298 (2016)"},{"key":"854_CR21","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/978-3-030-85172-9_21","volume-title":"QEST","author":"L. Cardelli","year":"2021","unstructured":"Cardelli, L., Grosu, R., Larsen, K.G., Tribastone, M., Tschaikowski, M., Vandin, A.: Lumpability for uncertain continuous-time Markov chains. In: QEST, pp.\u00a0391\u2013409 (2021). https:\/\/doi.org\/10.1007\/978-3-030-85172-9_21. https:\/\/zenodo.org\/record\/4699211"},{"issue":"11","key":"854_CR22","doi-asserted-by":"publisher","first-page":"6557","DOI":"10.1109\/TAC.2023.3244093","volume":"68","author":"L. Cardelli","year":"2023","unstructured":"Cardelli, L., Grosu, R., Larsen, K.G., Tribastone, M., Tschaikowski, M., Vandin, A.: Algorithmic minimization of uncertain continuous-time Markov chains. IEEE Trans. Autom. Control 68(11), 6557\u20136572 (2023)","journal-title":"IEEE Trans. Autom. Control"},{"key":"854_CR23","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-662-54580-5_19","volume-title":"TACAS","author":"L. Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: ERODE: a tool for the evaluation and reduction of ordinary differential equations. In: TACAS, pp.\u00a0310\u2013328 (2017). https:\/\/doi.org\/10.1007\/978-3-662-54580-5_19. http:\/\/www.erode.eu"},{"issue":"3","key":"854_CR24","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1103\/RevModPhys.87.925","volume":"87","author":"R. Pastor-Satorras","year":"2015","unstructured":"Pastor-Satorras, R., Castellano, C., Van Mieghem, P., Vespignani, A.: Epidemic processes in complex networks. Rev. Mod. Phys. 87(3), 925 (2015)","journal-title":"Rev. Mod. Phys."},{"key":"854_CR25","volume-title":"The Netzschleuder Network Catalogue and Repository","author":"T.P. Peixoto","year":"2020","unstructured":"Peixoto, T.P.: The Netzschleuder Network Catalogue and Repository (2020). https:\/\/networks.skewed.de\/"},{"key":"854_CR26","first-page":"440","volume-title":"International Conference on Data Mining, ICDM","author":"G. Squillace","year":"2024","unstructured":"Squillace, G., Tribastone, M., Tschaikowski, M., Vandin, A.: Efficient network embedding by approximate equitable partitions. In: International Conference on Data Mining, ICDM, pp.\u00a0440\u2013449 (2024)"},{"key":"854_CR27","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1016\/j.jsc.2013.09.003","volume":"60","author":"B.D. McKay","year":"2014","unstructured":"McKay, B.D., Piperno, A.: Practical graph isomorphism, II. J. Symb. Comput. 60, 94\u2013112 (2014)","journal-title":"J. Symb. Comput."},{"issue":"38","key":"854_CR28","doi-asserted-by":"publisher","first-page":"10029","DOI":"10.1073\/pnas.1702697114","volume":"114","author":"L. Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. USA 114(38), 10029\u201310034 (2017)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"854_CR29","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.tcs.2019.03.018","volume":"777","author":"L. Cardelli","year":"2019","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. Theor. Comput. Sci. 777, 132\u2013154 (2019). https:\/\/doi.org\/10.1016\/j.tcs.2019.03.018","journal-title":"Theor. Comput. Sci."},{"key":"854_CR30","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1145\/3071178.3071265","volume-title":"Genetic and Evolutionary Computation Conference, GECCO","author":"S. Tognazzi","year":"2017","unstructured":"Tognazzi, S., Tribastone, M., Tschaikowski, M., Vandin, A.: EGAC: a genetic algorithm to compare chemical reaction networks. In: Genetic and Evolutionary Computation Conference, GECCO, pp.\u00a0833\u2013840 (2017). https:\/\/doi.org\/10.1145\/3071178.3071265"},{"issue":"15","key":"854_CR31","doi-asserted-by":"publisher","first-page":"2175","DOI":"10.1093\/bioinformatics\/btab081","volume":"37","author":"L. Cardelli","year":"2021","unstructured":"Cardelli, L., P\u00e9rez-Verona, I.C., Tribastone, M., Tschaikowski, M., Vandin, A., Waizmann, T.: Exact maximal reduction of stochastic reaction networks by species lumping. Bioinformatics 37(15), 2175\u20132182 (2021). https:\/\/doi.org\/10.1093\/bioinformatics\/btab081","journal-title":"Bioinformatics"},{"key":"854_CR32","first-page":"1","volume-title":"Symposium on Logic in Computer Science, LICS","author":"G. Bacci","year":"2021","unstructured":"Bacci, G., Bacci, G., Larsen, K.G., Tribastone, M., Tschaikowski, M., Vandin, A.: Efficient local computation of differential bisimulations via coupling and up-to methods. In: Symposium on Logic in Computer Science, LICS, pp.\u00a01\u201314 (2021)"},{"issue":"1","key":"854_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K.G. Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"key":"854_CR34","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1016\/j.tcs.2013.07.029","volume":"538","author":"M. Tschaikowski","year":"2014","unstructured":"Tschaikowski, M., Tribastone, M.: Exact fluid lumpability in Markovian process algebra. Theor. Comput. Sci. 538, 140\u2013166 (2014). https:\/\/doi.org\/10.1016\/j.tcs.2013.07.029","journal-title":"Theor. Comput. Sci."},{"key":"854_CR35","first-page":"82","volume-title":"Proceedings of the 18th International Software Product Line Conference-Volume 1","author":"M. Tribastone","year":"2014","unstructured":"Tribastone, M.: Behavioral relations in a process algebra for variants. In: Proceedings of the 18th International Software Product Line Conference-Volume 1, pp.\u00a082\u201391 (2014)"},{"key":"854_CR36","doi-asserted-by":"crossref","unstructured":"Iacobelli, G., Tribastone, M., Vandin, A.: Differential bisimulation for a Markovian process algebra, vol.\u00a09234 pp.\u00a0293\u2013306 (2015)","DOI":"10.1007\/978-3-662-48057-1_23"},{"key":"854_CR37","first-page":"2160","volume":"49","author":"A. Schaft","year":"2004","unstructured":"Schaft, A.: Equivalence of dynamical systems by bisimulation. IEEE TAC 49, 2160\u20132172 (2004)","journal-title":"IEEE TAC"},{"issue":"5","key":"854_CR38","first-page":"745","volume":"47","author":"G.J. Pappas","year":"2002","unstructured":"Pappas, G.J., Simic, S.: Consistent abstractions of affine control systems. IEEE TAC 47(5), 745\u2013756 (2002)","journal-title":"IEEE TAC"},{"issue":"12","key":"854_CR39","doi-asserted-by":"publisher","first-page":"2025","DOI":"10.1016\/S0005-1098(03)00235-8","volume":"39","author":"P. Tabuada","year":"2003","unstructured":"Tabuada, P., Pappas, G.J.: Abstractions of Hamiltonian control systems. Automatica 39(12), 2025\u20132033 (2003)","journal-title":"Automatica"},{"key":"854_CR40","first-page":"243","volume-title":"Conference on Hybrid Systems: Computation and Control, HSCC","author":"M.A. Islam","year":"2014","unstructured":"Islam, M.A., Murthy, A., Girard, A., Smolka, S.A., Grosu, R.: Compositionality results for cardiac cell dynamics. In: Conference on Hybrid Systems: Computation and Control, HSCC, pp.\u00a0243\u2013252 (2014)"},{"key":"854_CR41","doi-asserted-by":"publisher","first-page":"1297","DOI":"10.1109\/CDC.2015.7402390","volume-title":"CDC","author":"M. Chen","year":"2015","unstructured":"Chen, M., Tomlin, C.J.: Exact and efficient Hamilton-Jacobi reachability for decoupled systems. In: CDC, pp.\u00a01297\u20131303 (2015). https:\/\/doi.org\/10.1109\/CDC.2015.7402390"},{"key":"854_CR42","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1109\/CDC.2016.7798268","volume-title":"CDC","author":"M. Chen","year":"2016","unstructured":"Chen, M., Herbert, S.L., Tomlin, C.J.: Fast reachable set approximations via state decoupling disturbances. In: CDC, pp.\u00a0191\u2013196 (2016). https:\/\/doi.org\/10.1109\/CDC.2016.7798268"},{"key":"854_CR43","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/j.tcs.2014.03.018","volume":"599","author":"M.A. Islam","year":"2015","unstructured":"Islam, M.A., Murthy, A., Bartocci, E., Cherry, E., Fenton, F.H., Glimm, J., Smolka, S.A., Grosu, R.: Model-order reduction of ion channel dynamics using approximate bisimulation. Theor. Comput. Sci. 599, 34\u201346 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"854_CR44","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0022112009992059","volume":"641","author":"C.W. Rowley","year":"2009","unstructured":"Rowley, C.W., Mezi\u0107, I., Bagheri, S., Schlatter, P., Henningson, D.S.: Spectral analysis of nonlinear flows. J. Fluid Mech. 641, 115\u2013127 (2009)","journal-title":"J. Fluid Mech."},{"key":"854_CR45","volume-title":"ISoLA 2024","author":"K.G. Larsen","year":"2024","unstructured":"Larsen, K.G., Toller, D., Tribastone, M., Tschaikowski, M., Vandin, A.: Optimality-preserving reduction of chemical reaction networks. In: ISoLA 2024 (2024)"},{"issue":"1","key":"854_CR46","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/3212147","volume":"7","author":"T.G. Kurtz","year":"1970","unstructured":"Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump Markov processes. J. Appl. Probab. 7(1), 49\u201358 (1970)","journal-title":"J. Appl. Probab."},{"key":"854_CR47","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1002\/9780470316658","volume-title":"Markov Processes \u2013 Characterization and Convergence","author":"S.N. Ethier","year":"1986","unstructured":"Ethier, S.N., Kurtz, T.G.: Markov Processes \u2013 Characterization and Convergence p.\u00a0534. Wiley, New York (1986)"},{"issue":"5","key":"854_CR48","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.peva.2013.01.001","volume":"70","author":"L. Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: a tutorial. Perform. Eval. 70(5), 317\u2013349 (2013). https:\/\/doi.org\/10.1016\/j.peva.2013.01.001","journal-title":"Perform. Eval."},{"issue":"3","key":"854_CR49","doi-asserted-by":"publisher","first-page":"518","DOI":"10.2307\/1427522","volume":"25","author":"S.P. Meyn","year":"1993","unstructured":"Meyn, S.P., Tweedie, R.L.: Stability of Markovian processes III: Foster-Lyapunov criteria for continuous-time processes. Adv. Appl. Probab. 25(3), 518\u2013548 (1993)","journal-title":"Adv. Appl. Probab."},{"key":"854_CR50","volume-title":"Lecture Notes in Markov Processes","author":"A. Eberle","year":"2008","unstructured":"Eberle, A.: Lecture Notes in Markov Processes. University of Bonn, Bonn (2008). https:\/\/wt.iam.uni-bonn.de\/fileadmin\/WT\/Inhalt\/people\/Andreas_Eberle\/MarkovProcesses\/MPSkript.pdf"},{"issue":"21","key":"854_CR51","doi-asserted-by":"publisher","DOI":"10.1063\/1.2799998","volume":"127","author":"D.F. Anderson","year":"2007","unstructured":"Anderson, D.F.: A modified next reaction method for simulating chemical systems with time dependent propensities and delays. J. Chem. Phys. 127(21), 214107 (2007). https:\/\/doi.org\/10.1063\/1.2799998","journal-title":"J. Chem. Phys."},{"key":"854_CR52","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-88479-8_13","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)","author":"M. Wirsing","year":"2008","unstructured":"Wirsing, M., H\u00f6lzl, M., Acciai, L., Banti, F., Clark, A., Fantechi, A., Gilmore, S., Gnesi, S., G\u00f6nczy, L., Koch, N., Lapadula, A., Mayer, P., Mazzanti, F., Pugliese, R., Schroeder, A., Tiezzi, F., Tribastone, M., Varr\u00f3, D.: Sensoria patterns: augmenting service engineering with formal analysis, transformation and dynamicity. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), pp.\u00a0170\u2013190 (2008)"},{"key":"854_CR53","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2013.08.016","volume":"517","author":"M. Tschaikowski","year":"2014","unstructured":"Tschaikowski, M., Tribastone, M.: Tackling continuous state-space explosion in a Markovian process algebra. Theor. Comput. Sci. 517, 1\u201333 (2014). https:\/\/doi.org\/10.1016\/j.tcs.2013.08.016","journal-title":"Theor. Comput. Sci."},{"key":"854_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-319-63121-9_23","volume-title":"Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday","author":"L. Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Syntactic Markovian bisimulation for chemical reaction networks. In: Aceto, L., Bacci, G., Bacci, G., Ing\u00f3lfsd\u00f3ttir, A., Legay, A., Mardare, R. (eds.) Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol.\u00a010460, pp.\u00a0466\u2013483 (2017)"},{"key":"854_CR55","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvcm4g0s","volume-title":"Calculus of Variations and Optimal Control Theory: A Concise Introduction","author":"D. Liberzon","year":"2011","unstructured":"Liberzon, D.: Calculus of Variations and Optimal Control Theory: A Concise Introduction. Princeton University Press, Princeton (2011)"},{"issue":"2","key":"854_CR56","doi-asserted-by":"publisher","first-page":"1023","DOI":"10.1109\/TAC.2021.3062544","volume":"67","author":"M. Whitby","year":"2022","unstructured":"Whitby, M., Cardelli, L., Kwiatkowska, M., Laurenti, L., Tribastone, M., Tschaikowski, M.: PID control of biochemical reaction networks. IEEE TAC 67(2), 1023\u20131030 (2022). https:\/\/doi.org\/10.1109\/TAC.2021.3062544","journal-title":"IEEE TAC"},{"key":"854_CR57","volume-title":"Proc. Of the Workshop on Applied Verification for Continuous and Hybrid Systems","author":"M. Althoff","year":"2015","unstructured":"Althoff, M.: An introduction to CORA 2015. In: Proc. Of the Workshop on Applied Verification for Continuous and Hybrid Systems (2015)"},{"key":"854_CR58","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-99154-2_7","volume-title":"Conference on Quantitative Evaluation of Systems, QEST","author":"L. Cardelli","year":"2018","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Guaranteed error bounds on approximate model abstractions through reachability analysis. In: Conference on Quantitative Evaluation of Systems, QEST, pp.\u00a0104\u2013121 (2018). https:\/\/doi.org\/10.1007\/978-3-319-99154-2_7"},{"issue":"11","key":"854_CR59","first-page":"1","volume":"83","author":"J. Kopfova","year":"2021","unstructured":"Kopfova, J., Nabelkova, P., Rachinskii, D., Rouf, S.C.: Dynamics of SIR model with vaccination and heterogeneous behavioral response of individuals modeled by the Preisach operator. J. Math. Biol. 83(11), 1 (2021)","journal-title":"J. Math. Biol."},{"issue":"2","key":"854_CR60","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1038\/nmeth.1546","volume":"8","author":"M.W. Sneddon","year":"2011","unstructured":"Sneddon, M.W., Faeder, J.R., Emonet, T.: Efficient modeling, simulation and coarse-graining of biological complexity with NFsim. Nat. Methods 8(2), 177\u2013183 (2011)","journal-title":"Nat. Methods"},{"key":"854_CR61","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-642-31424-7_35","volume-title":"Computer Aided Verification, CAV","author":"S. Bogomolov","year":"2012","unstructured":"Bogomolov, S., Frehse, G., Grosu, R., Ladan, H., Podelski, A., Wehrle, M.: A box-based distance between regions for guiding the reachability analysis of SpaceEx. In: Computer Aided Verification, CAV, pp.\u00a0479\u2013494 (2012)"},{"key":"854_CR62","first-page":"6572","volume-title":"Conference on Neural Information Processing Systems, NIPS","author":"T.Q. Chen","year":"2018","unstructured":"Chen, T.Q., Rubanova, Y., Bettencourt, J., Duvenaud, D.K.: Neural ordinary differential equations. In: Conference on Neural Information Processing Systems, NIPS, pp.\u00a06572\u20136583 (2018)"},{"key":"854_CR63","unstructured":"Hasani, R., Lechner, M., Amini, A., Liebenwein, L., Tschaikowski, M., Teschl, G., Rus, D.: Closed-form continuous-depth models (2021). arXiv preprint arXiv:2106.13898"},{"issue":"1","key":"854_CR64","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1093\/bioinformatics\/btp619","volume":"26","author":"T. Toni","year":"2009","unstructured":"Toni, T., Stumpf, M.P.H.: Simulation-based model selection for dynamical systems in systems and population biology. Bioinformatics 26(1), 104\u2013110 (2009). https:\/\/doi.org\/10.1093\/bioinformatics\/btp619","journal-title":"Bioinformatics"},{"issue":"1","key":"854_CR65","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1137\/110844192","volume":"51","author":"G. Roth","year":"2013","unstructured":"Roth, G., Sandholm, W.H.: Stochastic approximations with constant step size and differential inclusions. SIAM J. Control Optim. 51(1), 525\u2013555 (2013). https:\/\/doi.org\/10.1137\/110844192","journal-title":"SIAM J. Control Optim."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00854-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-026-00854-0","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00854-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T09:03:44Z","timestamp":1779786224000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-026-00854-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4]]},"references-count":65,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,4]]}},"alternative-id":["854"],"URL":"https:\/\/doi.org\/10.1007\/s10009-026-00854-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,4]]},"assertion":[{"value":"5 March 2026","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 May 2026","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}