Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits

Lee, Hyun-Sek Lukas; Althoff, Matthias; Hoelldampf, S.; Olbrich, Markus; Barke, Erich

doi:10.1109/aspdac.2015.7059096

Cited by 15 publications

(8 citation statements)

References 40 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [18] a non-linear analog model is represented as a set of previously-computed linearized versions that are picked during simulation, thus transforming a nonlinear model to a set of linear models described at circuit and behavioral level.This approach avoids any numerical integration during simulation but it works only with stepwise input. [22] extends the previous work by executing an onthe-fly reachability analysis to select only a sub-set of the linearized models. Simulation of non-linear analog circuits is also addressed in [20] by applying a state-space exploration technique.…”

Section: High Level Analog Modeling and Simulationmentioning

confidence: 75%

Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms

Lora

Vinco

Fraccaroli

et al. 2018

IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.

View full text Add to dashboard Cite

Analog components are fundamental blocks of smart systems, as they allow a tight interaction with the environment, in terms of both sensing/actuation and communication. This impacts on the design of the overall system, and mainly on the validation phase, that thus requires the joint simulation of digital and analog aspects. In this scenario, this paper proposes the automatic conversion of analog models to C++-based languages, to remove the overhead of co-simulation with traditional virtual platform tools. The proposed methodology allows to convert a given analog description to either (1) a fully equivalent description, or (2) an abstract representation for faster simulation which models only the aspects of interest. Effectiveness and correctness have been proved on a number of case studies, that highlight the effectiveness and potentiality of the proposed methodology.

show abstract

Section: High Level Analog Modeling and Simulationmentioning

confidence: 75%

Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms

Lora

Vinco

Fraccaroli

et al. 2018

IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.

View full text Add to dashboard Cite

show abstract

“…One disadvantage of static regions is that the number of required regions scales exponentially with the system dimension. This can be alleviated by only computing reachable regions on-the-fly [86]. Another disadvantage is that static regions require two expensive operations: intersections with guards and unifications of sets to avoid computing too many instances of reachable sets; this is addressed in Sec.…”

Section: Time-invariant Regionsmentioning

confidence: 99%

Set Propagation Techniques for Reachability Analysis

Althoff

Frehse

Girard

2021

Annu. Rev. Control Robot. Auton. Syst.

Self Cite

159

View full text Add to dashboard Cite

Reachability analysis consists in computing the set of states that are reachable by a dynamical system from all initial states and for all admissible inputs and parameters. It is a fundamental problem motivated by many applications in formal verification, controller synthesis, and estimation, to name only a few. This article focuses on a class of methods for computing a guaranteed overapproximation of the reachable set of continuous and hybrid systems, relying predominantly on set propagation; starting from the set of initial states, these techniques iteratively propagate a sequence of sets according to the system dynamics. After a review of set representation and computation, the article presents the state of the art of set propagation techniques for reachability analysis of linear, nonlinear, and hybrid systems. It ends with a discussion of successful applications of reachability analysis to real-world problems. Expected final online publication date for the Annual Review of Control, Robotics, and Autonomous Systems, Volume 4 is May 3, 2021. Please see http://www.annualreviews.org/page/journal/pubdates for revised estimates.

show abstract

“…In contrast to eigenvalue clustering, local linearization [8] utilizes a white box model. Based on the original circuit topology, the behavioral model is composed of static non-linear PWL device models and linear dynamic device models.…”

Section: Numerical Examplementioning

confidence: 99%

“…The nominal models used in this work are generated from [16] based on eigenvalue clustering and the local linearization-based approach from [8].…”

Section: Introductionmentioning

confidence: 99%

Establishing Reachset Conformance for the Formal Analysis of Analog Circuits

Kochdumper

Tarraf

Rechmal

et al. 2020

2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC)

Self Cite

View full text Add to dashboard Cite

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 our approach is demonstrated on a real analog circuit. Since the resulting models enclose all measurements, they can be used for formal verification.

show abstract

Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits

Cited by 15 publications

References 40 publications

Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms

Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms

Set Propagation Techniques for Reachability Analysis

Establishing Reachset Conformance for the Formal Analysis of Analog Circuits

Contact Info

Product

Resources

About