Sciweavers

156 search results - page 27 / 32
» micro 2008
Sort
View
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
15 years 3 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
CODES
2008
IEEE
15 years 3 months ago
Highly-cited ideas in system codesign and synthesis
We conducted a study of citations of papers published between 1996 and 2006 in the CODES and ISSS conferences, representing the hardware/software codesign and system synthesis com...
Frank Vahid, Tony Givargis
DATE
2008
IEEE
91views Hardware» more  DATE 2008»
15 years 3 months ago
Integrated approach to energy harvester mixed technology modelling and performance optimisation
This paper presents an integrated approach to energy harvester modelling and performance optimisation where the complete mixed physical-domain energy harvester system (micro gener...
Leran Wang, Tom J. Kazmierski, Bashir M. Al-Hashim...
ICRA
2008
IEEE
201views Robotics» more  ICRA 2008»
15 years 3 months ago
Hierarchical distributed control for search and tracking by heterogeneous aerial robot networks
Abstract—This paper presents a hierarchical control architecture that enables cooperative surveillance by a heterogeneous aerial robot network comprised of mothership unmanned ai...
Jack Elston, Eric W. Frew
IROS
2008
IEEE
224views Robotics» more  IROS 2008»
15 years 3 months ago
Multimodal sensor fusion for attitude estimation of micromechanical flying insects: A geometric approach
— In this paper, we study sensor fusion for the attitude estimation of Micro Aerial Vehicles (MAVs), in particular mechanical flying insects. First, following a geometric approa...
Domenico Campolo, Luca Schenato, Lijuan Pi, Xinyan...