Sciweavers

212 search results - page 10 / 43
» Hybrid Analysis and Control of Malware
Sort
View
HYBRID
2010
Springer
14 years 3 months ago
Stabilization of planar switched linear systems using polar coordinates
Analysis of stability and stabilizability of switched linear systems is a well-researched topic. This article pursues a polar coordinate approach which offers a convenient framew...
Andrew B. Godbehere, Shankar S. Sastry
HYBRID
1998
Springer
14 years 1 months ago
Reachability Analysis via Face Lifting
Abstract. In this paper we discuss the problem of calculating the reachable states of a dynamical system de ned by ordinary di erential equations or inclusions. We present a protot...
Thao Dang, Oded Maler
ICRA
2002
IEEE
100views Robotics» more  ICRA 2002»
14 years 2 months ago
Back Flips with a Hexapedal Robot
We report on the design and analysis of a controller which can achieve dynamical self-righting of our hexapedal robot, RHex. We present an empirically developed control procedure ...
Uluc Saranli, Daniel E. Koditschek
HYBRID
2009
Springer
14 years 28 days ago
Specification and Analysis of Network Resource Requirements of Control Systems
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
Gera Weiss, Sebastian Fischmeister, Madhukar Anand...
WCRE
2009
IEEE
14 years 3 months ago
NTrace: Function Boundary Tracing for Windows on IA-32
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...
Johannes Passing, Alexander Schmidt, Martin von L&...