Published: 15th August 2012
DOI: 10.4204/EPTCS.92
ISSN: 2075-2180

EPTCS 92

Proceedings First International Workshop on
Hybrid Systems and Biology
Newcastle Upon Tyne, 3rd September 2012

Edited by: Ezio Bartocci and Luca Bortolussi

Preface
Modelling the effect of gap junctions on tissue-level cardiac electrophysiology
Doug Bruce, Pras Pathmanathan and Jonathan P. Whiteley
1
Analysis of parametric biological models with non-linear dynamics
Romain Testylier and Thao Dang
16
A subsystems approach for parameter estimation of ODE models of hybrid systems
Anastasis Georgoulas, Allan Clark, Andrea Ocone, Stephen Gilmore and Guido Sanguinetti
30
A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration
Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis and Éric Fanchon
42
Hybrid Automata and ε-Analysis on a Neural Oscillator
Alberto Casagrande, Tommaso Dreossi and Carla Piazza
58
On Expressing and Monitoring Oscillatory Dynamics
Petr Dluhoš, Luboš Brim and David Šafránek
73
Hybrid models of the cell cycle molecular machinery
Vincent Noel, Dima Grigoriev, Sergei Vakulenko and Ovidiu Radulescu
88
Effects of delayed immune-response in tumor immune-system interplay
Giulio Caravagna, Alex Graudenzi, Marco Antoniotti, Giancarlo Mauri and Alberto d'Onofrio
106
Statistical Model Checking for Stochastic Hybrid Systems
Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen and Sean Sedwards
122
Towards Cancer Hybrid Automata
Loes Olde Loohuis, Andreas Witzel and Bud Mishra
137
Disease processes as hybrid dynamical systems
Pietro Liò, Emanuela Merelli and Nicola Paoletti
152

Preface

This volume contains the proceedings of the First International Workshop on Hybrid Systems and Biology (HSB 2012), that will be held in Newcastle upon Tyne, UK, on the 3rd September, 2012. HSB 2012 is a satellite event of the 23rd International Conference on Concurrency Theory (CONCUR 2012).

This 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.

In particular, the workshop focused on:

The workshop programme included the keynote presentation of Radu Grosu (Vienna University of Technology, Austria).  Furthermore, 11 regular papers were selected out of 20 submissions by the Program Committee of HSB 2012, which comprised of:

All regular papers were reviewed by at least three reviewers. After the workshop, the authors of regular papers were asked to submit a revised version, incorporating the comments made during the discussion at the workshop, which are included in this volume.

We would like to thank the CONCUR organisers and furthermore all the authors, the invited speaker, the programme committee and the external referees for their valuable contributions.


August 2012


Ezio Bartocci and Luca Bortolussi

Program Co-chairs