Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking

Jens Schönherr; Martin Freibothe; Bernd Straube; Jörg Bormann

doi:10.1016/j.tcs.2008.03.032

Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking

Theoretical Computer Science ◽

10.1016/j.tcs.2008.03.032 ◽

2008 ◽

Vol 404 (3) ◽

pp. 293-307

Author(s):

Jens Schönherr ◽

Martin Freibothe ◽

Bernd Straube ◽

Jörg Bormann

Keyword(s):

Steady State ◽

Formal Verification ◽

State Behavior ◽

Mixed Signal ◽

Mixed Signal Circuits ◽

Steady State Behavior

Download Full-text

Extremum Seeking With Enhanced Convergence Speed for Optimization of Time-Varying Steady-State Behavior of Industrial Motion Stages

IEEE Transactions on Control Systems Technology ◽

10.1109/tcst.2021.3059748 ◽

2021 ◽

pp. 1-17

Author(s):

Leroy Hazeleger ◽

Jeroen van de Wijdeven ◽

Mark Haring ◽

Nathan van de Wouw

Keyword(s):

Steady State ◽

Convergence Speed ◽

Extremum Seeking ◽

Time Varying ◽

State Behavior ◽

Steady State Behavior

Download Full-text

Steady state behavior of normalized frequency domain adaptive filter in noncausal circumstances

2013 IEEE International Conference of IEEE Region 10 (TENCON 2013) ◽

10.1109/tencon.2013.6718929 ◽

2013 ◽

Author(s):

Jing Lu ◽

Haishan Zou

Keyword(s):

Steady State ◽

Frequency Domain ◽

Adaptive Filter ◽

State Behavior ◽

Normalized Frequency ◽

Steady State Behavior

Download Full-text

Cyclic Steady-State Behavior of a Fixed-Bed Adsorptive Reactor for Reverse Water-Gas Shift Reaction

Chemical Engineering & Technology ◽

10.1002/ceat.201600611 ◽

2017 ◽

Vol 40 (5) ◽

pp. 915-926 ◽

Cited By ~ 6

Author(s):

Alejandro A. Munera Parra ◽

Carsten Asmanoglo ◽

David W. Agar

Keyword(s):

Steady State ◽

Fixed Bed ◽

Water Gas Shift ◽

Water Gas Shift Reaction ◽

State Behavior ◽

Reverse Water Gas Shift ◽

Shift Reaction ◽

Water Gas ◽

Steady State Behavior

Download Full-text

On the steady-state behavior of a nonlinear power network model**This research is supported by ETH funds and the SNF Assistant Professor Energy Grant #160573.

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2016.10.373 ◽

2016 ◽

Vol 49 (22) ◽

pp. 61-66 ◽

Cited By ~ 2

Author(s):

Catalin Arghir ◽

Dominic Groß ◽

Florian Dörfler

Keyword(s):

Steady State ◽

Network Model ◽

Assistant Professor ◽

Power Network ◽

State Behavior ◽

Steady State Behavior

Download Full-text

Steady-State Behavior of General Complex-Valued Diffusion LMS Strategies

IEEE Signal Processing Letters ◽

10.1109/lsp.2016.2547219 ◽

2016 ◽

Vol 23 (5) ◽

pp. 722-726 ◽

Cited By ~ 6

Author(s):

Sithan Kanna ◽

Danilo P. Mandic

Keyword(s):

Steady State ◽

State Behavior ◽

General Complex ◽

Complex Valued ◽

Steady State Behavior

Download Full-text

Transient and steady-state behavior of auto-igniting propane and dimethyl ether fuel jets in high-temperature vitiated coflows

Proceedings of the Combustion Institute ◽

10.1016/j.proci.2018.09.022 ◽

2019 ◽

Vol 37 (2) ◽

pp. 2133-2141

Author(s):

Rajat Saksena ◽

Jeffrey A. Sutton

Keyword(s):

Steady State ◽

High Temperature ◽

Dimethyl Ether ◽

State Behavior ◽

Steady State Behavior ◽

Transient And Steady State

Download Full-text

The Steady-State Behavior of a Nonlinear System

The Control Systems Handbook ◽

10.1201/b10384-106 ◽

2018 ◽

pp. 1107-1112

Keyword(s):

Steady State ◽

Nonlinear System ◽

State Behavior ◽

Steady State Behavior

Download Full-text

Steady-State Behavior of Nonparametric Synthetic Control Chart Using Signed-Rank Statistic

Pakistan Journal of Statistics and Operation Research ◽

10.18187/pjsor.v14i1.2029 ◽

2018 ◽

Vol 14 (1) ◽

pp. 185 ◽

Cited By ~ 2

Author(s):

Vilas Y Pawar ◽

Digambar Tukaram Shirke ◽

Shashikant Kuber Khilare

Keyword(s):

Steady State ◽

Control Chart ◽

Rank Statistic ◽

Synthetic Control ◽

State Behavior ◽

Signed Rank ◽

Steady State Behavior

Download Full-text

Some Compartmental Models of the Root: Steady-state Behavior

Journal of Theoretical Biology ◽

10.1006/jtbi.2000.2194 ◽

2000 ◽

Vol 207 (4) ◽

pp. 557-576 ◽

Cited By ~ 3

Author(s):

RICARDO MURPHY

Keyword(s):

Steady State ◽

Compartmental Models ◽

State Behavior ◽

Steady State Behavior

Download Full-text

Transient and Steady-State Behavior of Wiped-Film Reactors for Reversible Condensation Polymerization

Industrial & Engineering Chemistry Research ◽

10.1021/ie940351k ◽

1996 ◽

Vol 35 (5) ◽

pp. 1550-1555 ◽

Cited By ~ 4

Author(s):

B. R. Choi ◽

H. H. Lee

Keyword(s):

Steady State ◽

Condensation Polymerization ◽

State Behavior ◽

Steady State Behavior ◽

Transient And Steady State

Download Full-text