2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC) 2020
DOI: 10.1109/asp-dac47756.2020.9045120
|View full text |Cite
|
Sign up to set email alerts
|

Establishing Reachset Conformance for the Formal Analysis of Analog Circuits

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 non-determinism to piecewiselinear circuit models so that they then enclose all possible behaviors of the real system. Since piecewiselinear models are hybrid, we introduce the first reachset conformant synthesis algorithm for hybrid system models. Furthermore we present a novel technique to compute the required non-determinism. The effectiveness of … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
5

Citation Types

0
17
0

Year Published

2020
2020
2023
2023

Publication Types

Select...
3
2
1

Relationship

1
5

Authors

Journals

citations
Cited by 15 publications
(17 citation statements)
references
References 18 publications
0
17
0
Order By: Relevance
“…where ∆ denotes the time step; ⊕ denotes the Minkowski addition. In (26), the first term computes the reachset propagation resulting from the NMs states, i.e., J (X − X * ). The second term computes the reachset propagation resulting from the inputs W F = J w (W − W * ) + F * , which composes both the uncertainty impact J w (W − W * ) and the linearization point impact F * .…”
Section: A Reachset For Nmsmentioning
confidence: 99%
See 4 more Smart Citations
“…where ∆ denotes the time step; ⊕ denotes the Minkowski addition. In (26), the first term computes the reachset propagation resulting from the NMs states, i.e., J (X − X * ). The second term computes the reachset propagation resulting from the inputs W F = J w (W − W * ) + F * , which composes both the uncertainty impact J w (W − W * ) and the linearization point impact F * .…”
Section: A Reachset For Nmsmentioning
confidence: 99%
“…The second term computes the reachset propagation resulting from the inputs W F = J w (W − W * ) + F * , which composes both the uncertainty impact J w (W − W * ) and the linearization point impact F * . And the third term in (26) computes the set of linearization error [24] to ensure an provable overapproximation of the nonlinear NMs dynamics. Further, the reachset during time interval [t − ∆, t] can be calculated as the union of the time-point reachable sets during the interval as R(…”
Section: A Reachset For Nmsmentioning
confidence: 99%
See 3 more Smart Citations