Oded Maler - Böcker

This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on HybridSystems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina,Italy, in September 2013; and the Third International Workshop on HybridSystems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, inJuly 2014.This volume presents 8 full papers together with 2invited tutorials/surveys from 21 submissions.The HSB 2013 workshop aims at collecting scientistsworking in the area of hybrid modeling applied to systems biology, in order todiscuss about current achieved goals, current challenges and future possibledevelopments.The scope of the HSB 2014 workshop is the general areaof dynamical models in biology with an emphasis on hybrid approaches, which arenot restricted to a narrow class of mathematical models, and which takeadvantage of techniques developed separately in different sub-fields.<

This book constitues the refereed proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control, HSCC 2003, held in Prague, Czech Republic, in April 2003. The 36 revised full papers presented were carefully reviewed and selected from 75 submissions. All current issues in hybrid systems are addressed including formal methods for analysis and control, computational tools, as well as innovative applications in various fields such as automotive control, the immune system, electrical circuits, operating systems, and human brains.

This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997.The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials.Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.