1317 search results - page 182 / 264 » A new delay system approach to network-based control |
WIOPT
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper presents the first analytical model for ad hoc networks equipped with multiple-input multiple-output (MIMO) radios using space-time coding (STC) that considers the ...
HYBRID
2009
Springer
14 years 3 months ago
2009
Springer
ion of discrete abstractions of arbitrary memory span for nonlinear sampled systems Gunther Reißig⋆ Technische Universit¨at Berlin, Fakult¨at Elektrotechnik und Informatik, He...
GECCO
2010
Springer
14 years 1 months ago
2010
Springer
Technology scaling has offered advantages to embedded systems, such as increased performance, more available memory and reduced energy consumption. However, scaling also brings a...
ALIFE
2002
13 years 9 months ago
2002
A new approach called bioinspired engineering of exploration systems (BEES) and its value for solving pressing NASA and DoD needs are described. Insects (for example honeybees and ...
CAV
2010
Springer
14 years 27 days ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...