Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9957)
Part of the book sub series: Lecture Notes in Bioinformatics (LNBI)
Conference series link(s): HSB: International Workshop on Hybrid Systems Biology
Conference proceedings info: HSB 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (11 papers)
-
Front Matter
-
Back Matter
About this book
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
-
INRIA Grenoble - Rhone-Alpes , Saint-Ismier, France
Eugenio Cinquemani
-
Electrical Engineering/Computer Science, University of California at Berkeley , Berkeley, USA
Alexandre Donzé
Bibliographic Information
Book Title: Hybrid Systems Biology
Book Subtitle: 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
Editors: Eugenio Cinquemani, Alexandre Donzé
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-47151-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2016
Softcover ISBN: 978-3-319-47150-1Published: 27 September 2016
eBook ISBN: 978-3-319-47151-8Published: 05 October 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 179
Number of Illustrations: 43 b/w illustrations
Topics: Logics and Meanings of Programs, Simulation and Modeling, Computational Biology/Bioinformatics, Data Mining and Knowledge Discovery, Artificial Intelligence, Software Engineering