Sciweavers

4689 search results - page 227 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
CDC
2008
IEEE
101views Control Systems» more  CDC 2008»
16 years 1 months ago
Modeling and control of the heart left ventricle supported with a rotary assist device
—A Rotary Left Ventricular Assist Device (RLVAD) is a mechanical pump implanted in patients with congestive heart failure to assist their left ventricle in pumping blood through ...
Marwan A. Simaan
IEEEARES
2006
IEEE
16 years 20 days ago
Diagnosis of Complex Systems Using Ant Colony Decision Petri Nets
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...
Calin Ciufudean, Adrian Graur, Constantin Filote, ...
HYBRID
2000
Springer
15 years 10 months ago
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
Thomas A. Henzinger, Benjamin Horowitz, Rupak Maju...
WSC
2001
15 years 8 months ago
Improving simulation model adaptability with a production control framework
Simulation models provide a powerful tool for the analysis of manufacturing systems, but their utility beyond the design stage of the system life cycle is hampered by the high cos...
Sean M. Gahagan, Jeffrey W. Herrmann
ISLPED
2006
ACM
109views Hardware» more  ISLPED 2006»
16 years 17 days ago
Power reduction of multiple disks using dynamic cache resizing and speed control
This paper presents an energy-conservation method for multiple disks and their cache memory. Our method periodically resizes the cache memory and controls the rotation speeds unde...
Le Cai, Yung-Hsiang Lu