212 search results - page 9 / 43 » Hybrid Analysis and Control of Malware |
HYBRID
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
HYBRID
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
FORMATS
2006
Springer
14 years 22 days ago
2006
Springer
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
ENGL
2007
13 years 9 months ago
2007
—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...
HYBRID
2005
Springer
14 years 2 months ago
2005
Springer
— Analyses of position and force control laws in the case of perfectly rigid bodies have been made so far with strong assumptions on the state of the contacts such as supposing t...