Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced lectures

M. Bernardo (Redacteur), E.P. Vink, de (Redacteur), A. Di Pierro (Redacteur), H. Wiklicky (Redacteur)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1 Citaat (Scopus)

Samenvatting

Preface. This volume presents a set of papers accompanying the lectures of the 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM). This series of schools addresses the use of formal methods in computer science as a prominent approach to the rigorous design of the above-mentioned systems. The main aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the field. SFM 2013 was devoted to dynamicalsystems and covered several topics including chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, and automata-based models and model checking. The five papers collected in this volume represent the broad range of topics of the school. The paper by Köpf and Rybalchenko addresses the automation of the analysis of quantitative information-theoretic confidentiality properties through approximation and randomization techniques. Gratie, Iancu, and Petre introduce some of the basics of modeling with ODEs in biology by focussing on computational, numerical techniques for reaction-based models. The paper by Brim, Ceska, and Safranek presents a selection of approaches used for modeling biological systems and formalizing their interesting properties in temporal logics, together with high-performance model-checking techniques. Bortolussi and Hillston describe recent work on the use of fluid approximation techniques in the context of stochastic model checking for population models in which a large number of individual agents interact. Finally, Pachos’s paper is an introduction to topological quantum computation. We believe that this book offers a useful view of what has been done and what is going on worldwide in the field of formal methods for dynamical systems. We wish to thank all the speakers and all the participants for a lively and fruitful school.We also wish to thank the entire staff of the University Residential Center of Bertinoro for the organizational and administrative support. June 2013 Marco Bernardo Erik de Vink Alessandra Di Pierro Herbert Wiklicky
Originele taal-2Engels
Plaats van productieBerlin
UitgeverijSpringer
Aantal pagina's181
ISBN van elektronische versie9783642388743
ISBN van geprinte versie978-3-642-38873-6
DOI's
StatusGepubliceerd - 2013

Publicatie series

NaamLecture notes in computer science
Volume7938
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced lectures'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit