1079 search results - page 139 / 216 » Model Driven Prediction and Control |
HYBRID
2001
Springer
15 years 2 months ago
2001
Springer
Efficient algorithms exist for fault detection and isolation of physical systems based on functional redundancy. In a qualitative approach, this redundancy can be captured by a tem...
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
CIDM
2007
IEEE
15 years 4 months ago
2007
IEEE
— Nowadays power distribution systems typically operate with nonsinusoidal voltages and currents. Harmonic currents from nonlinear loads propagate through the system and cause ha...
164
click to vote
GLOBECOM
2010
IEEE
14 years 7 months ago
2010
IEEE
IEEE 802.15.4 multi-hop wireless networks are an important communication infrastructure for many applications, including industrial control, home automation, and smart grids. Exist...
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...