AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频


pub
生成解读视频

AI 溯源

AI解析本论文相关学术脉络


Master Reading Tree
生成 溯源树

Compositional Refinement for Hierarchical Hybrid Systems

HSCC, pp.33-48, (2001)

被引用107|浏览6
EI
下载 PDF 全文
引用

摘要

In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language Charon that allows modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports building complex...更多

代码

数据

您的评分 :
0

 

标签
评论
小科