3995 search results - page 32 / 799 » Linearization of hybrid processes |
FM
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
HYBRID
2009
Springer
14 years 4 months ago
2009
Springer
In this paper, we analyze the problem of finding a periodic schedule for the wake-up times of a set of nodes in a Wireless Sensor Network that optimizes the coverage of the region...
ENTCS
2008
13 years 9 months ago
2008
HYPE is a process algebra developed to model hybrid systems
AUTOMATICA
2002
13 years 9 months ago
2002
In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapu...
FSE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. A corrector is used to reduce or eliminate statistical weakness of a physical random number generator. A description of linear corrector generalizing post-processing desc...