TY - GEN N2 - This book constitutes the thoroughly refereed proceedings of the 6th International Workshop on Hybrid Systems Biology, HSB 2019, held in Prague, Czech Republic, in April 2019. The 8 full papers presented in this book together with 1 short paper and 3 invited papers were carefully reviewed and selected from 13 submissions. They cover topics such as: modeling and analysis of metabolic, signaling, and genetic regulatory networks in living cells; models of tissues, organs, physiological models; models and methods coping with incomplete, uncertain and heterogeneous information including learning for biological systems, parametric synthesis and inference; stochastic and hybrid models in biology; hierarchical systems for multi-scale, multi-domain analysis; abstraction, approximation, discretization, and model reduction techniques; modeling, analysis and design for synthetic biology, cyber-biological systems and biomedical studies (e.g. therapies, teleoperation); game-theoretical frameworks and population models in biology (e.g. mixed-effects and Bayesian modeling); biological applications of quantitative and formal analysis techniques (e.g. reachability computation, model checking, abstract interpretation, bifurcation theory, stability and sensitivity analysis); efficient techniques for combined and heterogeneous (stochastic/deterministic, spatial/non-spatial) simulations for biological models; modeling languages and logics for biological systems with related analysis and simulation tools; and control architectures of biological systems including biology-in-the-loop systems and bio-robotics. DO - 10.1007/978-3-030-28042-0 DO - 10.1007/978-3-030-28 DO - doi AB - This book constitutes the thoroughly refereed proceedings of the 6th International Workshop on Hybrid Systems Biology, HSB 2019, held in Prague, Czech Republic, in April 2019. The 8 full papers presented in this book together with 1 short paper and 3 invited papers were carefully reviewed and selected from 13 submissions. They cover topics such as: modeling and analysis of metabolic, signaling, and genetic regulatory networks in living cells; models of tissues, organs, physiological models; models and methods coping with incomplete, uncertain and heterogeneous information including learning for biological systems, parametric synthesis and inference; stochastic and hybrid models in biology; hierarchical systems for multi-scale, multi-domain analysis; abstraction, approximation, discretization, and model reduction techniques; modeling, analysis and design for synthetic biology, cyber-biological systems and biomedical studies (e.g. therapies, teleoperation); game-theoretical frameworks and population models in biology (e.g. mixed-effects and Bayesian modeling); biological applications of quantitative and formal analysis techniques (e.g. reachability computation, model checking, abstract interpretation, bifurcation theory, stability and sensitivity analysis); efficient techniques for combined and heterogeneous (stochastic/deterministic, spatial/non-spatial) simulations for biological models; modeling languages and logics for biological systems with related analysis and simulation tools; and control architectures of biological systems including biology-in-the-loop systems and bio-robotics. T1 - Hybrid systems biology :6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019 : revised selected papers / AU - Češka, M. AU - Paoletti, Nicola, VL - 11705 CN - QA76.9.L63 ID - 913409 KW - Systems biology KW - Hybrid systems SN - 9783030280420 SN - 303028042X SN - 3030280411 SN - 9783030280413 TI - Hybrid systems biology :6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019 : revised selected papers / LK - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-28042-0 UR - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-28042-0 ER -