On discrete modeling and model checking for nonlinear analog systems

DOI10.1007/3-540-45657-0_33MaRDI QIDQ4804911zbMATH OpenFDO

Authors Walter Hartong, Lars Hedrich, Erich Barke

Publication date 1 May 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2404/24040401.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Exact discrete-time modelling of linear analogue systems
• scientific article; zbMATH DE number 796449
• A model checking approach to discrete bifurcation analysis
• Algebraic model checking for discrete linear dynamical systems
• Modelling of nonlinear discrete-time systems from intput-output data
• Modeling and realization of \(n\)-dimensional linear discrete systems
• scientific article; zbMATH DE number 4141910
• On the realization of nonlinear discrete-time systems
• Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis
• scientific article; zbMATH DE number 2075810

Cited in

(8)

• Applications of polyhedral computations to the analysis and verification of hardware and software systems
• A model checking approach to discrete bifurcation analysis
• Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver
• Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces
• Analog property checkers: a DDR2 case study
• Advanced methods for equivalence checking of analog circuits with strong nonlinearities
• A bounded model checking technique for discrete-time nonlinear systems
• Hybridization methods for the analysis of nonlinear systems

Describes a project that uses

Uses Software

• GAIO

This page was built for publication: On discrete modeling and model checking for nonlinear analog systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4804911)