PyBioNetFit and the Biological Property Specification Language

  title={PyBioNetFit and the Biological Property Specification Language},
  author={Eshan D. Mitra and Ryan Suderman and Joshua Colvin and Alexander Ionkov and Andrew Hu and Herbert M. Sauro and Richard G. Posner and William S. Hlavacek},
  pages={1012 - 1036}

Figures and Tables from this paper

Programmatic modeling for biological systems

This work describes a programmatic modeling paradigm, in which modeling is augmented with best practices from software engineering, and focuses on Python - a popular, user-friendly programming language with a large scientific package ecosystem.

Atlas: automatic modeling of regulation of bacterial gene expression and metabolism using rule-based languages

Atlas, a Python software that converts genome graphs and gene regulatory, interaction and metabolic networks into dynamic models, is developed and could be applied to the dynamic modeling of natural and synthetic networks of any bacteria.

A Probabilistic Approach to Explore Signal Execution Mechanisms With Limited Experimental Data

This work demonstrates that probabilistic approaches can be used to explore the qualitative dynamic behavior of model biochemical systems even with missing or sparse data.

PEtab—Interoperable specification of parameter estimation problems in systems biology

PEtab is introduced, a format which facilitates the specification of parameter estimation problems using Systems Biology Markup Language (SBML) models and a set of tab-separated value files describing the observation model and experimental data as well as parameters to be estimated.

Programmatic modeling for biological systems.

Bayesian Uncertainty Quantification for Systems Biology Models Parameterized Using Qualitative Data

This work formulated likelihood functions suitable for performing Bayesian UQ using qualitative data or a combination of qualitative and quantitative data and analyzed a published model for IgE receptor signaling using synthetic quantitative and qualitative data.

MASSpy: Building, simulating, and visualizing dynamic biological models in Python using mass action kinetics

The Mass Action Stoichiometric Simulation Python (MASSpy) package is presented, an open-source computational framework for dynamic modeling of metabolism based on the mass action kinetics for each elementary step in an enzymatic reaction mechanism that enables the construction, simulation, and visualization of dynamic metabolic models.

Pleione: A tool for statistical and multi-objective calibration of Rule-based models

The software called Pleione is presented, which distributes stochastic simulations and calculations and incorporates equivalence tests to determine the fitness of RBMs compared with data and yielded satisfactory results regarding calculation time and error reduction for multiple simulators, models, parameter search strategies, and computing infrastructures.

Control of cell state transitions

The ability of cSTAR to identify targeted perturbations that interconvert cell fates will enable designer approaches for manipulating cellular development pathways and mechanistically underpinned therapeutic interventions.



Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway

An algorithm, called BioLab, for verifying temporal properties of rule-based models of cellular signalling networks, encoded in the BioNetGen language, and properties are expressed as formulae in probabilistic bounded linear temporal logic.

Programming biological models in Python using PySB

PySB is an approach in which models are not only created using programs, they are programs, making it possible to use a high‐level, action‐oriented vocabulary to construct detailed models.

Efficient modeling, simulation and coarse-graining of biological complexity with NFsim

The Network-Free Stochastic Simulator (NFsim) is introduced, a general- Purpose modeling platform that overcomes the combinatorial nature of molecular interactions and enables researchers to simulate many biological systems that were previously inaccessible to general-purpose software.

Rule-based modeling of biochemical systems with BioNetGen.

This work focuses on how a rule-based model is specified in the BioNetGen language (BNGL) and how a model specification is analyzed using the Bio netGen software tool.

Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking

This paper presents a new statistical model checking approach for calibrating rule-based stochastic biochemical models such that the calibrated model satisfies a given behavioral temporal logic specification.

Benchmark problems for dynamic modeling of intracellular processes

This work presents a collection of 20 ODE models developed given experimental data as benchmark problems in order to evaluate new and existing methodologies, e.g. for parameter estimation or uncertainty analysis.

Runtime Verification of Biological Systems

To demonstrate runtime verification of complex systems the authors apply statistical model checking techniques to a model of robust biological oscillations taken from the literature, which demonstrates some of the mechanisms used by biological systems to maintain reliable performance in the face of inherent stochasticity.

Parameter estimation of rule-based models using statistical model checking

  • Bing LiuJ. Faeder
  • Computer Science
    2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
  • 2016
A generic parameter estimation framework for calibrating rule-based models that scales well and efficiently obtains good parameter estimates and has tested on a p53-induced apoptosis model.

Optimization and model reduction in the high dimensional parameter space of a budding yeast cell cycle model

The approach proves to be a useful tool to help systems biologists fit complex dynamical models to large experimental datasets and to determine the parameters that are most critical for matching experimental outcomes and the most competitive strains whose correct outcome with a given parameter vector forces numerous other strains to have incorrect outcomes.