AI帮你理解科学

AI 生成解读视频

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


pub
生成解读视频

AI 溯源

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


Master Reading Tree
生成 溯源树

Establishing Reachset Conformance for the Formal Analysis of Analog Circuits.

ASP-DAC, pp.199-204, (2020)

被引用1|浏览5
EI
24小时获取PDF
引用

摘要

We present the first work on the automated generation of reachset conformant models for analog circuits. Our approach applies reachset conformant synthesis to add nondeterminism to piecewise-linear circuit models so that they enclose all recorded behaviors of the real system. To achieve this, we present a novel technique to compute the re...更多

代码

数据

作者
Niklas Kochdumper
Niklas Kochdumper
Ahmad Tarraf
Ahmad Tarraf
Malgorzata Rechmal
Malgorzata Rechmal
您的评分 :
0

 

标签
评论
小科