Sciweavers

2383 search results - page 364 / 477
» Anticipatory Behavioral Control
Sort
View
76
Voted
ISCAS
2007
IEEE
141views Hardware» more  ISCAS 2007»
15 years 7 months ago
Analog Emulation of a Reconfigurable Tap Changing Transformer
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
Aaron St. Leger, Juan C. Jimenez, Agung Fu, Sanal ...
102
Voted
ROMAN
2007
IEEE
131views Robotics» more  ROMAN 2007»
15 years 7 months ago
Real-time acoustic source localization in noisy environments for human-robot multimodal interaction
— Interaction between humans involves a plethora of sensory information, both in the form of explicit communication as well as more subtle unconsciously perceived signals. In ord...
Vlad M. Trifa, Ansgar Koene, Jan Morén, Gor...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
15 years 7 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
120
Voted
SASO
2007
IEEE
15 years 7 months ago
On Scaling Multi-Agent Task Reallocation Using Market-Based Approach
Multi-agent systems (MAS) provide a promising technology for addressing problems such as search and rescue missions, mine sweeping, and surveillance. These problems are a form of ...
Rajesh K. Karmani, Timo Latvala, Gul Agha
111
Voted
SASO
2007
IEEE
15 years 7 months ago
Clustering Distributed Energy Resources for Large-Scale Demand Management
Managing demand for electrical energy allows generation facilities to be run more efficiently. Current systems allow for management between large industrial consumers. There is, ...
Elth Ogston, Astrid Zeman, Mikhail Prokopenko, Geo...