From Reactive Systems to Cyber-Physical Systems

From Reactive Systems to Cyber-Physical Systems

This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday.
Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checking, probabilistic processes, runtime verification, and the modeling and analysis of cardiac cells, neural circuits and flocking behaviors. He is perhaps best known for the algorithm he and Paris Kanellakis invented for checking bi-simulation. The title of this volume From Reactive Systems to Cyber-Physical Systems reflects Scott’s main research focus throughout his career.
It contains the papers written by his closest friends and collaborators. The contributions cover a wide spectrum of the topics related to Scott’s research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.




This website strictly complies with DMCA Digital Copyright Laws.. Please be clear that we ( do not own copyrights of these e-books. The intention behind sharing these books and educational material is to provide easy access to students, researchers and other readers who don't have access to these books at their local libraries, "thus only for educational purpose". We highly encourage our readers to purchase this content from the respected publishers. If anyone holding copyrights wants us to remove this content, please contact us rightaway. All books and educational material on are free and NOT HOSTED ON OUR WEBSITE. If you feel that your copyrights have been violated, then please contact us immediately. You may send an email to for all DMCA / Removal Requests. doesn’t have any material hosted on the server of this page, only links to books that are taken from other sites on the web are published and these links are unrelated to the book server. server doesnot store any type of book or material. No illegal copies are made or any copyright © and / or copyright is damaged or infringed since all material is free on the internet.

Add a Comment