Establishing Reachset Conformance for the Formal Analysis of Analog Circuits

Niklas Kochdumper
Niklas Kochdumper
Ahmad Tarraf
Ahmad Tarraf
Malgorzata Rechmal
Malgorzata Rechmal

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

Cited by: 1|Bibtex|Views0|Links
EI

Abstract:

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...More

Code:

Data:

Your rating :
0

 

Tags
Comments