3995 search results - page 32 / 799 » Linearization of hybrid processes |
150
click to vote
FM
1999
Springer
15 years 7 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...
151
click to vote
HYBRID
2009
Springer
15 years 10 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
15 years 3 months ago
2008
HYPE is a process algebra developed to model hybrid systems
136
Voted
AUTOMATICA
2002
15 years 3 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...
116
click to vote
FSE
2008
Springer
15 years 4 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...