From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
暫譯: 從反應式系統到網路物理系統:獻給斯科特·A·斯莫卡65歲生日的論文集
Bartocci, Ezio, Cleaveland, Rance, Grosu, Radu
- 出版商: Springer
- 出版日期: 2019-09-21
- 售價: $2,410
- 貴賓價: 9.5 折 $2,290
- 語言: 英文
- 頁數: 301
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030315134
- ISBN-13: 9783030315139
海外代購書籍(需單獨結帳)
商品描述
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.
商品描述(中文翻譯)
這本 Festschrift 是為了紀念美國史東布魯克大學的斯科特·A·斯莫卡(Scott A. Smolka)教授而編寫的,慶祝他65歲的生日。斯科特·A·斯莫卡在多個領域做出了根本性的研究貢獻,包括過程代數、模型檢查、隨機過程、運行時驗證,以及心臟細胞、神經電路和群聚行為的建模與分析。他或許最為人所知的是他與巴黎·卡內拉基斯(Paris Kanellakis)共同發明的檢查雙模擬的算法。本卷的標題《從反應系統到網絡物理系統》(From Reactive Systems to Cyber-Physical Systems)反映了斯科特在其職業生涯中的主要研究重點。本書包含了他最親密的朋友和合作者撰寫的論文。這些貢獻涵蓋了與斯科特的研究科學興趣相關的廣泛主題,包括隨機系統的模型修復、運行時驗證、模型檢查、心臟動力學模擬和機器學習。