WSS
2001
14 years 28 days ago
2001
We investigate a new property of computing systems called weak stabilization. Although this property is strictly weaker than the well-known property of stabilization, weak stabiliz...
WSS
2001
14 years 28 days ago
2001
WSS
2001
14 years 28 days ago
2001
WSS
2001
14 years 28 days ago
2001
Abstract. We study a special type of self-stabilizing algorithms composition : the cross-over composition (A B). The cross-over composition is the generalization of the algorithm c...
FLAIRS
2001
14 years 29 days ago
2001
This paper presents preliminary work on the design of control systems for pedestrian mobility aids for the elderly. The elderly are often restricted in their mobility and must rel...
LWA
2007
14 years 1 months ago
2007
Modern buildings are equipped with high-tech systems that take care of several fundamental aspects, e.g., air-conditioning, heating and water supply. The requirements posed on fac...
ARCSF
2008
14 years 1 months ago
2008
This paper presents a study on nonlinear control systems
ARCSF
2008
14 years 1 months ago
2008
Abstract-- Affective information is vital for effective human-tohuman communication. Likewise, human-to-computer communication could be potentiated by an "affective barometer&...
HASE
2007
IEEE
14 years 1 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
We generalize several recent works on nonlinear observers for aided attitude heading reference systems: we propose a symmetry-preserving nonlinear observer which merges the most co...