Sciweavers

3823 search results - page 390 / 765
» Stability of Hybrid Systems
Sort
View
GLVLSI
2008
IEEE
169views VLSI» more  GLVLSI 2008»
15 years 7 months ago
Simultaneous optimization of memory configuration and code allocation for low power embedded systems
This paper proposes a hybrid memory architecture which consists of the following two regions; 1) a dynamic power conscious region which uses low Vdd and Vth and 2) a static power ...
Tadayuki Matsumura, Tohru Ishihara, Hiroto Yasuura
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
15 years 8 months ago
Real-time estimation for switched linear systems
We extend previous works on real-time estimation, via algebraic techniques, to the recovering of the switching signal and of the state for switching linear systems. We characterize...
Michel Fliess, Cédric Join, Wilfrid Perruqu...
HYBRID
2007
Springer
16 years 29 days ago
Symbolic Analysis for GSMP Models with One Stateful Clock
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
Mikhail Bernadsky, Rajeev Alur
MICCAI
2006
Springer
16 years 7 months ago
"Virtual Touch": An Efficient Registration Method for Catheter Navigation in Left Atrium
In this paper, we present a left atrium registration system which utilizes a 3D intra-cardiac ultrasound catheter for faster (more than 700 times) and higher quality surface regist...
Hua Zhong, Takeo Kanade, David Schwartzman
SOFTCOMP
2010
15 years 5 months ago
Approaching Real-Time Intrusion Detection through MOVICAB-IDS
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...
Martí Navarro, Álvaro Herrero, Emili...