Sciweavers

2 search results - page 1 / 1
» A Tool and Methodology for AC-Stability Analysis of Continuo...
Sort
View
DATE
2005
IEEE
118views Hardware» more  DATE 2005»
13 years 10 months ago
A Tool and Methodology for AC-Stability Analysis of Continuous-Time Closed-Loop Systems
—Presented are a methodology and a DFII-based tool for AC-stability analysis of a wide variety of closed-loop continuous-time (operational amplifiers and other linear circuits). ...
Momchil Milev, Rod Burt
ATVA
2007
Springer
115views Hardware» more  ATVA 2007»
13 years 10 months ago
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...