Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics
Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics
复制标题
DOI：
10.1007/978-3-642-14509-4
复制
发表时间：
2010-09
期刊：
影响因子：
--
通讯作者：
André Platzer
中科院分区：
文献类型：
--
作者：
André Platzer
混合系统是复杂物理系统的模型，已经成为理解其行为的一个广泛使用的概念。许多应用对安全至关重要，包括汽车、铁路和空中交通管制、机器人、物理化学过程控制和生物医学设备。混合系统分析研究如何为物理系统建立计算机控制，保证满足其设计目标。作者给出了一个独特的，基于逻辑的混合系统分析的观点。这是第一本利用混合系统的逻辑力量的书。作者开发了一个连贯的逻辑方法，系统混合系统分析，涵盖其理论，实践和应用。进一步展示了如何将开发的验证技术用于研究空中交通和铁路控制系统。这本书是为研究人员，研究生，和专业人士谁感兴趣的混合系统分析，网络物理或嵌入式系统设计，逻辑和定理证明，或运输和自动化。
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals. The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems. This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.