Sciweavers

212 search results - page 22 / 43
» Hybrid Analysis and Control of Malware
Sort
View
ICRA
2006
IEEE
215views Robotics» more  ICRA 2006»
14 years 4 months ago
A Hybrid Vision + Ladar Rural Road Follower
— We present a vision- and ladar-based approach to autonomous driving on rural and desert roads that has been tested extensively in a closed-loop system. The vision component use...
Christopher Rasmussen
ADAEUROPE
2005
Springer
14 years 3 months ago
Non-intrusive System Level Fault-Tolerance
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
Kristina Lundqvist, Jayakanth Srinivasan, Sé...
CDC
2009
IEEE
120views Control Systems» more  CDC 2009»
14 years 2 months ago
Networked and quantized control systems with communication delays
— There are many communication imperfections in networked control systems (NCSs) such as varying sampling/transmission intervals, varying delays, possible packet loss, communicat...
W. P. M. H. Heemels, Dragan Nesic, Andrew R. Teel,...
HYBRID
1994
Springer
14 years 2 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
HYBRID
2000
Springer
14 years 1 months ago
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
Peter Niebert, Sergio Yovine