4000 search results - page 373 / 800 » Simulation down under |
176
click to vote
WASA
2009
Springer
16 years 1 months ago
2009
Springer
Information collection in the disaster area is an important application of pigeon networks - a special type of delay tolerant networks (DTN). The aim of this paper is to explore hi...
163
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
168
click to vote
CPM
2009
Springer
16 years 1 months ago
2009
Springer
Evolution is usually described as a phylogenetic tree, but due to some exchange of genetic material, it can be represented as a phylogenetic network which has an underlying tree st...
168
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper deals with real-time control under computational constraints. A robust control approach to control/real-time scheduling co-design is proposed using the H∞ framewor...
184
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— State estimation is addressed for a class of discrete-time systems that may switch among different modes taken from a finite set. The system and measurement equations of each ...