Sciweavers

1033 search results - page 12 / 207
» hybrid 2007
Sort
View
CADE
2007
Springer
14 years 7 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»
13 years 7 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