保罗·塔布阿达 混合系统的验证和控制。一种象征性的方法。Rajeev Alur的前言。 （英语） Zbl 1195.93001号 纽约州纽约市：施普林格出版社（ISBN 978-1-4419-0223-8/hbk；978-1-44109-0224-5/电子书）。xv，202页。(2009). 快速增长的跨学科研究要求研究人员必须理解计算机科学和控制理论中的概念和工具。这无疑是一项艰巨的任务，而这正是本书可以拯救的地方。它涵盖了混合系统验证和控制中的广泛基础主题。更令人印象深刻的是，它使用反复出现的模拟关系主题将它们编织在一起。一个系统的两个描述之间的仿真或互仿真关系的概念，可能在不同的详细程度上，已被证明是离散系统建模和验证的一个重要概念，无论在理论上还是在实践中。本书使用更丰富的概念，如交替关系和近似关系，为混合控制系统奠定了基础。这本书分为四个部分。第一部分介绍了以系统概念为中心的基本概念，该概念足够通用，可以描述有限状态机、微分方程和混合系统。然而，系统本身并不是很有趣。更有趣的是系统与其他系统的关联方式。第二部分介绍了两种这样的关系：行为包含/等效和模拟/互模拟。然后将这些关系用于研究有限状态系统的验证和控制综合问题。由于本书的重点是第三部分和第四部分中讨论的无限状态（混合）系统，因此只提供了现有结果的一点风味。通过从时间自动机中获得灵感，几类具有更丰富连续动力学的混合系统被证明与第三部分中的有限状态符号系统有关建立了仿真关系，借助于第二部分描述的有限状态系统技术，验证和控制综合问题可以立即得到解决。第四部分遵循相同的策略，将（bi）仿真关系推广为可用于更广泛类型的混合系统的近似（bi”）仿真关系。这本书对研究人员、工程师、计算机科学家和研究生在形式方法、验证、模型检查和控制领域都很有用。审核人：亚历山大·伊格纳提耶夫（顿涅茨克） 引用于2评论引用于122文件 MSC公司： 93-01 与系统和控制理论相关的介绍性说明（教科书、教程论文等） 93C83号 涉及计算机的控制/观察系统（过程控制等） 68-01 与计算机科学有关的介绍性阐述（教科书、辅导论文等） 关键词：混合系统;验证;控制 软件：Sostools公司 PDF格式BibTeX公司 XML格式引用 \textit{P.Tabuada}，混合系统的验证和控制。象征性的方法。Rajeev Alur的前言。纽约州纽约市：施普林格（2009；Zbl 1195.93001） 全文： 内政部