Sciweavers

1033 search results - page 12 / 207
» hybrid 2007
Sort
View
ANOR
2004
62views more  ANOR 2004»
15 years 5 months ago
Locating Hybrid Fuel Cell-Turbine Power Generation Units under Uncertainty
Laura A. Schaefer, Andrew J. Schaefer
CADE
2007
Springer
16 years 6 months ago
Combining Deduction and Algebraic Constraints for Hybrid System Analysis
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
André Platzer
ENGL
2007
83views more  ENGL 2007»
15 years 6 months ago
Analysis of Hybrid Translinear Circuit and Its Application
—A hybrid translinear (TL) circuit constituted by two kinds of transistors, bipolar and CMOS transistors, was proposed to control its quiescent current. And a new method was intr...
Cheng Yuhua, Wu Xiaobo, Yan Xiaolang