Hybrid Systems Biology

5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

  • Eugenio Cinquemani
  • Alexandre Donzé
Conference proceedings HSB 2016
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9957)

Table of contents

  1. Front Matter
    Pages I-X
  2. Model Simulation

    1. Front Matter
      Pages 1-1
    2. Sucheendra K. Palaniappan, Matthieu Pichené, Grégory Batt, Eric Fabre, Blaise Genest
      Pages 3-19
  3. Model Analysis

    1. Front Matter
      Pages 55-55
    2. Matej Hajnal, David Šafránek, Martin Demko, Samuel Pastva, Pavel Krejčí, Luboš Brim
      Pages 57-66
    3. Alexandre Rocca, Thao Dang, Eric Fanchon, Jean-Marc Moulis
      Pages 67-84
    4. Andreea Beica, Vincent Danos
      Pages 85-94
  4. Discrete and Network Modelling

    1. Front Matter
      Pages 95-95
    2. Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont
      Pages 97-112
    3. Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang et al.
      Pages 128-144
  5. Stochastic Modelling

    1. Front Matter
      Pages 145-145
    2. Luca Bortolussi, Alberto Policriti, Simone Silvetti
      Pages 164-178
  6. Back Matter
    Pages 179-179

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems Biology, HSB 2016, held in Grenoble, France, in October 2016.

The 11 full papers presented in this book were carefully reviewed and selected from 26 submissions. They were organized and presented in 4 thematic sessions also reflected in this book: model simulation; model analysis; discrete and network modelling; stochastic modelling for biological systems.


Keywords

biochemical networks dynamical systems hybrid systems model checking simulation abstraction automata biological systems computational modeling control theory discrete abstraction gene regulation gröbner basis multi-objective optimization rule-based modeling system design system identification systems biology temporal logics verification

Editors and affiliations

  • Eugenio Cinquemani
    • 1
  • Alexandre Donzé
    • 2
  1. 1.INRIA Grenoble - Rhone-Alpes Saint-IsmierFrance
  2. 2.Electrical Engineering/Computer ScienceUniversity of California at Berkeley BerkeleyUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-47151-8
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-47150-1
  • Online ISBN 978-3-319-47151-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349