Hybrid systems biology : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014 : revised selected papers

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Hybrid Systems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina, Italy, in September 2013; and the Third International Workshop on Hybrid Systems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, in July 2014. This volume presents 8 full papers together with 2 invited tutorials/surveys from 21 submissions. The HSB 2013 workshop aims at collecting scientists working in the area of hybrid modeling applied to systems biology, in order to discuss about current achieved goals, current challenges and future possible developments. The scope of the HSB 2014 workshop is the general area of dynamical models in biology with an emphasis on hybrid approaches, which are not restricted to a narrow class of mathematical models, and which take advantage of techniques developed separately in different sub-fields. < Front Matter....Pages I-XI Immune Response Enhancement Strategy via Hybrid Control Perspective....Pages 1-26 Fluorescent Reporter Genes and the Analysis of Bacterial Regulatory Networks....Pages 27-50 Modeling and Analysis of Qualitative Behavior of Gene Regulatory Networks....Pages 51-66 Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models....Pages 67-82 Optimal Observation Time Points in Stochastic Chemical Kinetics....Pages 83-96 Exploring Synthetic Mass Action Models....Pages 97-110 Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations....Pages 111-127 RKappa: Statistical Sampling Suite for Kappa Models....Pages 128-142 Integration of Rule-Based Models and Compartmental Models of Neurons....Pages 143-158 FM-Sim: A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference....Pages 159-174 Back Matter....Pages 175-175