选择用于导出引文的格式。
由 卢卡·卡洛尼，美国哥伦比亚大学计算机科学系，luca@cs.columbia.edu|罗伯托·帕塞罗内地址：Cadence Berkeley Laboratories，1995 University Ave Suite 460，USA，robp@cadence.com|亚历山德罗·平托美国加州大学伯克利分校EECS系，pinto@eecs.berkeley.edu公司|阿尔贝托·桑吉奥瓦尼·文森特利美国加州大学伯克利分校EECS系，alberto@eecs.berkeley.edu
嵌入式电子产品的爆炸式增长给我们生活的各个方面带来了越来越复杂的信息和控制系统。最具挑战性的设计是安全关键系统，例如运输系统（例如飞机、汽车和火车）、工业工厂和医疗监测。困难在于适应功能和实施方面的限制。必须保证在各种环境状态和潜在故障下的正确行为；实施必须满足成本、规模和功耗要求。因此，该设计需要进行广泛的数学分析和模拟。然而，传统的信息系统模型并不能很好地与这些设备运行环境的不断演变的性质相结合。因此，在实践中，必须混合不同的数学表示来分析系统的整体行为。混合动力系统是一类特殊的混合模型，侧重于离散和连续子系统的组合。多年来，人们提出了大量工具和语言来处理混合系统。然而，每个工具对环境做出不同的假设，导致混合系统的概念有些不同。这使得很难在工具之间共享信息。因此，社区无法最大限度地利用针对这一重要主题的大量工作。在本文中，我们回顾并比较了混合系统工具，强调了它们在底层语义、表达能力和数学机制方面的差异。我们以比较总结来结束我们的审查，这表明需要对混合系统设计采用统一的方法。作为朝这个方向迈出的一步，我们为语义感知的交换格式，这将使联合技术的使用成为可能，使不同方法之间的正式比较成为可能，并有助于导出和导入设计表示。
混合系统设计语言和工具是对混合系统设计和验证语言和工具的调查。这本书回顾并比较了混合系统工具，突出了它们在底层语义、表达能力和数学机制方面的差异。该综述以比较总结结束，这表明需要一种统一的混合系统设计方法。作为这一方向的一个步骤，我们提出了一种语义感知的交换格式，它可以使用联合技术，使不同方法之间的形式比较成为可能，并有助于导出和导入设计表示。混合系统设计语言和工具还旨在为研究人员、应用程序开发人员和管理人员提供成功开发混合系统所需的关键参考资料和资源材料。
