Sciweavers

1930 search results - page 151 / 386
» Decentralised Control of Complex Systems
Sort
View
ICRA
2005
IEEE
121views Robotics» more  ICRA 2005»
15 years 12 months ago
Modeling and Analysis of Beaconless and Beacon-Based Policies for a Swarm-Intelligent Inspection System
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...
Nikolaus Correll, Alcherio Martinoli
FMCAD
2004
Springer
15 years 10 months ago
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
Thao Dang, Alexandre Donzé, Oded Maler
SJ
2010
158views more  SJ 2010»
15 years 1 months ago
Efficient Utilization of Renewable Energy Sources by Gridable Vehicles in Cyber-Physical Energy Systems
The main sources of emission today are from the electric power and transportation sectors. One of the main goals of a cyber-physical energy system (CPES) is the integration of rene...
A. Y. Saber, Ganesh K. Venayagamoorthy
SASO
2007
IEEE
16 years 18 days ago
Root Cause Isolation for Self Healing in J2EE Environments
— The increasing complexity of distributed enterprise systems has made the task of managing these systems difficult and time consuming. The only way to simplify the management p...
Umesh Bellur, Amar Agrawal
DATE
2008
IEEE
77views Hardware» more  DATE 2008»
16 years 25 days ago
Re-Examining the Use of Network-on-Chip as Test Access Mechanism
Existing work on testing NoC-based systems advocates to reuse the on-chip network itself as test access mechanism (TAM) to transport test data to/from embedded cores. While this m...
Feng Yuan, Lin Huang, Qiang Xu