Quantitative abstractions for collective adaptive systems
From MaRDI portal
Publication:2822665
Recommendations
- A logical framework for reasoning about local and global properties of collective systems
- A calculus for collective-adaptive systems and its behavioural theory
- Automatic moment-closure approximation of spatially distributed collective adaptive systems
- On Modeling and Analyzing Sparsely Networked Large-Scale Multi-agent Systems with Cellular and Graph Automata
- Studying complex adaptive systems
Cites work
- scientific article; zbMATH DE number 4079233 (Why is no real title available?)
- A Compositional Approach to Performance Modelling
- A fluid analysis framework for a Markovian process algebra
- A unified framework for differential aggregations in Markovian process algebra
- Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
- Approximate reasoning for real-time probabilistic processes
- Approximating and computing behavioural distances in probabilistic transition systems
- Automatic moment-closure approximation of spatially distributed collective adaptive systems
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Bisimilar linear systems.
- Bisimulation through probabilistic testing
- Combining model reductions
- Computing All Implied Equalities via SMT-Based Partition Refinement
- Deciding bisimilarity and similarity for probabilistic processes.
- Differential bisimulation for a Markovian process algebra
- Equivalence of Dynamical Systems by Bisimulation
- Exact and ordinary lumpability in finite Markov chains
- Exact fluid lumpability for Markovian process algebra
- Formal reduction for rule-based models
- Forward and backward bisimulations for chemical reaction networks
- Fragments-based model reduction: some case studies
- Lumpability abstractions of rule-based systems
- Optimal state-space lumping in Markov chains
- Quantitative relations and approximate process equivalences.
- Rate-Based Transition Systems for Stochastic Process Calculi
- SMT-based bisimulation minimisation of Markov models
- Simple \(O(m \log n)\) time Markov chain lumping
- Simulating the effect of quarantine on the spread of the 1918--19 flu in Central Canada
- Solving non-linear arithmetic
- Symbolic computation of differential equivalences
- Symbolic optimization with SMT solvers
- The Effect of Lumping and Expanding on Kinetic Differential Equations
- The interplay of double phosphorylation and scaffolding in MAPK pathways
- Three Partition Refinement Algorithms
Cited in
(7)- Simulation-Based Engineering Of Complex Adaptive Systems
- A large-scale assessment of exact lumping of quantitative models in the biomodels repository
- Design and verification of trusted collective adaptive systems
- A calculus for collective-adaptive systems and its behavioural theory
- Comparing chemical reaction networks: a categorical and algorithmic perspective
- Automatic moment-closure approximation of spatially distributed collective adaptive systems
- A logical framework for reasoning about local and global properties of collective systems
This page was built for publication: Quantitative abstractions for collective adaptive systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2822665)
