Logic-Based Multi-objective Design of Chemical Reaction Networks

  • Luca Bortolussi
  • Alberto Policriti
  • Simone Silvetti
Conference paper

DOI: 10.1007/978-3-319-47151-8_11

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9957)
Cite this paper as:
Bortolussi L., Policriti A., Silvetti S. (2016) Logic-Based Multi-objective Design of Chemical Reaction Networks. In: Cinquemani E., Donzé A. (eds) Hybrid Systems Biology. HSB 2016. Lecture Notes in Computer Science, vol 9957. Springer, Cham

Abstract

The design of genetic or protein networks that satisfy a given set of behavioural specifications is one of the main challenges of synthetic biology. Model-based design is a natural choice in this respect. Here we consider the problem of tuning parameters of a stochastic model to force one or more behavioural goals to hold. In particular, we consider several objectives specified by signal temporal logic formulae, and we look for a parameter set making their satisfaction probability as large as possible. This formalisation results in a multi-objective optimisation problem, which we solve by considering an optimisation scheme combining satisfaction probability and average robustness of STL properties, leveraging state of the art multi-objective optimisation routines.

Keywords

System design Robustness Multi-objective optimization Temporal logic 

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Luca Bortolussi
    • 1
    • 2
    • 3
  • Alberto Policriti
    • 4
    • 6
  • Simone Silvetti
    • 4
    • 5
  1. 1.DMGUniversity of TriesteTriesteItaly
  2. 2.Modelling and Simulation GroupSaarland UniversitySaarbrückenGermany
  3. 3.CNR-ISTIPisaItaly
  4. 4.DimaUniversity of UdineUdineItaly
  5. 5.Esteco SpATriesteItaly
  6. 6.Istituto di Genomica ApplicataUdineItaly

Personalised recommendations