Establishing Reachset Conformance for the Formal Analysis of Analog Circuits
ASP-DAC, pp. 199-204, 2020.
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
Full Text (Upload PDF)
PPT (Upload PPT)