Sciweavers

12438 search results - page 213 / 2488
» The Magic of a Number System
Sort
View
HYBRID
1995
Springer
15 years 8 months ago
Deciding Reachability for Planar Multi-polynomial Systems
Abstract. In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state spa...
Karlis Cerans, Juris Viksna
IJCAI
2001
15 years 5 months ago
Distributed Monitoring of Hybrid Systems: A model-directed approach
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
Feng Zhao, Xenofon D. Koutsoukos, Horst W. Haussec...
AUTOMATICA
2007
113views more  AUTOMATICA 2007»
15 years 4 months ago
Asymptotic rejection of unknown sinusoidal disturbances in nonlinear systems
This paper deals with global disturbance rejection of nonlinear systems. The disturbance is assumed to be sinusoidal with completely unknown phases, amplitude, and frequencies, bu...
Zhengtao Ding
CORR
2010
Springer
94views Education» more  CORR 2010»
15 years 4 months ago
Unidirectional Error Correcting Codes for Memory Systems: A Comparative Study
In order to achieve fault tolerance, highly reliable system often require the ability to detect errors as soon as they occur and prevent the speared of erroneous information throu...
Muzhir Al-Ani, Qeethara Al-Shayea
ICCAD
2010
IEEE
119views Hardware» more  ICCAD 2010»
15 years 2 months ago
Symbolic system level reliability analysis
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
Michael Glaß, Martin Lukasiewycz, Felix Reim...