@article(1098900,
author = {M. Aoki},
year = {1968},
title = {Control of large-scale dynamic systems by aggregation},
journal = {IEEE Trans. Autom. Control},
volume = {13},
number = {3},
pages = {246--253},
doi = {10.1109/TAC.1968.1098900},
)
@incollection(AugerSurvey2008,
author = {P. Auger and R. de la Parra and J. Poggiale and E. S{\'a}nchez and Nguyen-Huu, T.},
year = {2008},
title = {Aggregation of Variables and Applications to Population Dynamics},
editor = {Pierre Magal and Shigui Ruan},
booktitle = {Structured Population Models in Biology and Epidemiology},
series = {Lecture Notes in Mathematics},
volume = {1936},
publisher = {Springer},
pages = {209--263},
doi = {10.1007/978-3-540-78273-5\_5},
)
@article(DBLP:journals/jcss/BaierEM00,
author = {C. Baier and B. Engelen and Majster-Cederbaum, M. E.},
year = {2000},
title = {Deciding Bisimilarity and Similarity for Probabilistic Processes},
journal = {J. Comput. Syst. Sci.},
volume = {60},
number = {1},
pages = {187--231},
doi = {10.1006/jcss.1999.1683},
)
@inbook(Biere:2009:HSV:1550723,
author = {C.W. Barrett and R. Sebastiani and S.A. Seshia and C. Tinelli},
year = {2009},
title = {Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications},
chapter = {Satisfiability Modulo Theories},
publisher = {IOS Press},
)
@article(Borisov2005951,
author = {N.M. Borisov and N.I. Markevich and J.B. Hoek and B.N. Kholodenko},
year = {2005},
title = {Signaling through Receptors and Scaffolds: Independent Interactions Reduce Combinatorial Complexity},
journal = {Biophysical Journal},
volume = {89},
number = {2},
pages = {951--966},
doi = {10.1529/biophysj.105.060533},
)
@article(worrell:approximating,
author = {F. van Breugel and J. Worrell},
year = {2006},
title = {Approximating and computing behavioural distances in probabilistic transition systems},
journal = {Theoretical Computer Science},
volume = {360},
number = {1--3},
pages = {373--385},
doi = {10.1016/j.tcs.2006.05.021},
)
@inproceedings(concur15,
author = {L. Cardelli and M. Tribastone and M. Tschaikowski and A. Vandin},
year = {2015},
title = {Forward and Backward Bisimulations for Chemical Reaction Networks},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR}},
pages = {226--239},
doi = {10.4230/LIPIcs.CONCUR.2015.226},
)
@inproceedings(tacas16,
author = {L. Cardelli and M. Tribastone and M. Tschaikowski and A. Vandin},
year = {2016},
title = {Efficient Syntax-driven Lumping of Differential Equations},
booktitle = {Proceedings of Tools and Algorithms for the Construction and Analysis of Systems --- 21st International Conference (TACAS)},
doi = {10.1007/978-3-662-49674-9\_6},
)
@inproceedings(popl16,
author = {L. Cardelli and M. Tribastone and M. Tschaikowski and A. Vandin},
year = {2016},
title = {Symbolic computation of differential equivalences},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL}},
pages = {137--150},
doi = {10.1145/2837614.2837649},
)
@inproceedings(DeMoura:2008:ZES:1792734.1792766,
author = {De Moura, L. and Bj\o{}rner, N.},
year = {2008},
title = {{Z3}: An Efficient {SMT} Solver},
booktitle = {TACAS},
pages = {337--340},
doi = {10.1007/978-3-540-78800-3\_24},
)
@inproceedings(DKP13,
author = {C. Dehnert and J.-P. Katoen and D. Parker},
year = {2013},
title = {{SMT}-Based Bisimulation Minimisation of {Markov} Models},
editor = {R. Giacobazzi and J. Berdine and I. Mastroeni},
booktitle = {Proc. 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'13)},
series = {LNCS},
volume = {7737},
publisher = {Springer},
pages = {28--47},
doi = {10.1007/978-3-642-35873-9\_5},
)
@article(Derisavi2003309,
author = {S. Derisavi and H. Hermanns and W.H. Sanders},
year = {2003},
title = {Optimal state-space lumping in {M}arkov chains},
journal = {Information Processing Letters},
volume = {87},
number = {6},
pages = {309--315},
doi = {10.1016/S0020-0190(03)00343-0},
)
@article(DBLP:journals/tcs/DesharnaisGJP04,
author = {J. Desharnais and V. Gupta and R. Jagadeesan and P. Panangaden},
year = {2004},
title = {Metrics for labelled Markov processes},
journal = {Theor. Comput. Sci.},
volume = {318},
number = {3},
pages = {323--354},
doi = {10.1016/j.tcs.2003.09.013},
)
@article(Feret21042009,
author = {J. Feret and V. Danos and J. Krivine and R. Harmer and W. Fontana},
year = {2009},
title = {Internal coarse-graining of molecular systems},
journal = {Proceedings of the National Academy of Sciences},
volume = {106},
number = {16},
pages = {6453--6458},
doi = {10.1073/pnas.0809908106},
)
@article(Feret2012137,
author = {J. Feret and T. Henzinger and H. Koeppl and T. Petrov},
year = {2012},
title = {Lumpability abstractions of rule-based systems},
journal = {Theoretical Computer Science},
volume = {431},
pages = {137--164},
doi = {10.1016/j.tcs.2011.12.059},
)
@inproceedings(dsn13,
author = {G. Iacobelli and M. Tribastone},
year = {2013},
title = {Lumpability of fluid models with heterogeneous agent types},
booktitle = {DSN},
pages = {1--11},
doi = {10.1109/DSN.2013.6575346},
)
@article(PhysRevE.73.026203,
author = {N. Israeli and N. Goldenfeld},
year = {2006},
title = {Coarse-graining of cellular automata, emergence, and the predictability of complex systems},
journal = {Phys. Rev. E},
volume = {73},
pages = {026203},
doi = {10.1103/PhysRevE.73.026203},
)
@article(Iwasa1987287,
author = {Y. Iwasa and V. Andreasen and S. Levin},
year = {1987},
title = {{Aggregation in model ecosystems. I. Perfect aggregation}},
journal = {Ecological Modelling},
volume = {37},
number = {3-4},
pages = {287--302},
doi = {10.1016/0304-3800(87)90030-5},
)
@inproceedings(DBLP:conf/cav/KwiatkowskaNP11,
author = {M.Z. Kwiatkowska and G. Norman and D. Parker},
year = {2011},
title = {PRISM 4.0: Verification of Probabilistic Real-Time Systems},
booktitle = {CAV},
pages = {585--591},
doi = {10.1007/978-3-642-22110-1\_47},
)
@inproceedings(DBLP:conf/mfcs/LarsenMP12,
author = {K.G. Larsen and R. Mardare and P. Panangaden},
year = {2012},
title = {Taking It to the Limit: Approximate Reasoning for Markov Processes},
booktitle = {MFCS},
pages = {681--692},
doi = {10.1007/978-3-642-32589-2\_59},
)
@article(Larsen19911,
author = {K.G. Larsen and A. Skou},
year = {1991},
title = {Bisimulation through probabilistic testing},
journal = {Information and Computation},
volume = {94},
number = {1},
pages = {1--28},
doi = {10.1016/0890-5401(91)90030-6},
)
@article(Li19891413,
author = {G. Li and H. Rabitz},
year = {1989},
title = {A general analysis of exact lumping in chemical kinetics},
journal = {Chemical Engineering Science},
volume = {44},
number = {6},
pages = {1413--1430},
doi = {10.1016/0009-2509(89)85014-6},
)
@book(murray:i,
author = {J.D. Murray},
year = {2002},
title = {Mathematical Biology I: An Introduction},
edition = {3rd},
publisher = {Springer},
doi = {10.1007/b98868},
)
@article(okino1998,
author = {M.S. Okino and M.L. Mavrovouniotis},
year = {1998},
title = {Simplification of Mathematical Models of Chemical Reaction Systems},
journal = {Chemical Reviews},
volume = {2},
number = {98},
pages = {391--408},
doi = {10.1021/cr950223l},
)
@article(partitionref,
author = {R. Paige and R. Tarjan},
year = {1987},
title = {Three Partition Refinement Algorithms},
journal = {SIAM Journal on Computing},
volume = {16},
number = {6},
pages = {973--989},
doi = {10.1137/0216062},
)
@article(bisimulation_lin_sys_Pappas,
author = {G.J. Pappas},
year = {2003},
title = {Bisimilar linear systems},
journal = {Automatica},
volume = {39},
number = {12},
pages = {2035--2047},
doi = {10.1016/j.automatica.2003.07.003},
)
@article(LiRabitz1997,
author = {J. Toth and G. Li and H. Rabitz and A.S. Tomlin},
year = {1997},
title = {The Effect of Lumping and Expanding on Kinetic Differential Equations},
journal = {SIAM Journal on Applied Mathematics},
volume = {57},
number = {6},
pages = {1531--1556},
doi = {10.1137/S0036139995293294},
)
@article(10.1109/TSE.2012.66,
author = {M. Tribastone},
year = {2013},
title = {A Fluid Model for Layered Queueing Networks},
journal = {IEEE Transactions on Software Engineering},
volume = {39},
number = {6},
pages = {744--756},
doi = {10.1109/TSE.2012.66},
)
@article(DBLP:journals/tse/TribastoneGH12,
author = {M. Tribastone and S. Gilmore and J. Hillston},
year = {2012},
title = {Scalable Differential Analysis of Process Algebra Models},
journal = {IEEE Transactions on Software Engineering},
volume = {38},
number = {1},
pages = {205--219},
doi = {10.1109/TSE.2010.82},
)
@article(tac15,
author = {M. Tschaikowski and M. Tribastone},
year = {2015},
title = {Approximate reduction of heterogeneous nonlinear models with differential hulls},
journal = {IEEE Transactions on Automatic Control},
doi = {10.1109/TAC.2015.2457172},
)
@book(Turanyi14,
author = {T. Turanyi and A. Tomlin},
year = {2014},
title = {Analysis of Kinetic Reaction Mechanisms},
publisher = {Springer},
doi = {10.1007/978-3-662-44562-4},
)
@inproceedings(DBLP:conf/tacas/ValmariF10,
author = {A. Valmari and G. Franceschinis},
year = {2010},
title = {Simple \emph{O}(\emph{m} log\emph{n}) Time Markov Chain Lumping},
booktitle = {TACAS},
pages = {38--52},
doi = {10.1007/978-3-642-12002-2\_4},
)
@article(Voit:2013aa,
author = {Eberhard O. Voit},
year = {2013},
title = {Biochemical Systems Theory: A Review},
journal = {ISRN Biomathematics},
volume = {2013},
pages = {53},
doi = {10.1155/2013/897658},
)