Sciweavers

649 search results - page 24 / 130
» State estimation of the three-tank system using a multiple m...
Sort
View
ICCAD
2008
IEEE
127views Hardware» more  ICCAD 2008»
14 years 5 months ago
System-level power estimation using an on-chip bus performance monitoring unit
In this paper we propose an on-chip bus PMU which makes accurate estimates of system power consumption from a first-order linear power model by utilizing system-level activity in...
Youngjin Cho, Younghyun Kim, Sangyoung Park, Naehy...
ICRA
2010
IEEE
179views Robotics» more  ICRA 2010»
13 years 6 months ago
Accelerometer-based tilt estimation of a rigid body with only rotational degrees of freedom
Abstract— An estimation algorithm is developed for determining pitch and roll angles (tilt) of a rigid body fixed at a pivot using multiple accelerometers. The estimate is globa...
Sebastian Trimpe, Raffaello D'Andrea
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
14 years 1 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
JOT
2007
94views more  JOT 2007»
13 years 8 months ago
A Typing Scheme for Behavioural Models
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
Ashley T. McNeile, Nicholas Simons
ICASSP
2011
IEEE
12 years 12 months ago
Cooperative Maximum Likelihood estimation for fluid flow dynamics in biosensor arrays
Abstract—This paper deals with estimation of the concentration of target molecules in a fluid when it flows past multiple biosensors. The fluid flow is modelled as an advecti...
Maryam Abolfath Beygi, Vikram Krishnamurthy