复合信息物理系统理论
Compositional Cyber-Physical Systems Theory
摘要：
本论文建立了一个组成的网络物理系统理论，以开发具体的语义相关的安全和安全保证所需的上述不同的观点。在这个意义上，组合可以采取两种形式。第一种是在需求、行为和体系结构的每一个单独的形式体系中，将较小的模型组合成较大的模型，这可以被认为是水平组合--这是一个很大程度上已经解决的问题。该理论的第二个也是主要贡献是垂直组合，这意味着在需求、行为和架构模型及其相关的代数中关联或以其他方式提供经过验证的组合。在这篇论文中，我们展示了一个可能的解决方案，垂直组合是使用工具，从范畴理论。范畴论是使水平和垂直组合形式上明确的自然候选者，因为它可以联系，比较和/或统一不同的代数。
英文摘要：
This dissertation builds a compositional cyber-physical systems theory to develop concrete semantics relating the above diverse views necessary for safety and security assurance. In this sense, composition can take two forms. The first is composing larger models from smaller ones within each individual formalism of requirements, behaviors, and architectures which can be thought of as horizontal composition -- a problem which is largely solved. The second and main contribution of this theory is vertical composition, meaning relating or otherwise providing verified composition across requirement, behavioral, and architecture models and their associated algebras. In this dissertation, we show that one possible solution to vertical composition is to use tools from category theory. Category theory is a natural candidate for making both horizontal and vertical composition formally explicit because it can relate, compare, and/or unify different algebras.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
