Sciweavers

212 search results - page 10 / 43
» Hybrid Analysis and Control of Malware
Sort
View
HYBRID
2010
Springer
15 years 4 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
15 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»
15 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
71
Voted
HYBRID
2009
Springer
15 years 1 months 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
15 years 4 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&...