Sciweavers

412 search results - page 38 / 83
» Observability of Switched Linear Systems in Continuous Time
Sort
View
ICML
2004
IEEE
14 years 8 months ago
Learning and discovery of predictive state representations in dynamical systems with reset
Predictive state representations (PSRs) are a recently proposed way of modeling controlled dynamical systems. PSR-based models use predictions of observable outcomes of tests that...
Michael R. James, Satinder P. Singh
PTS
1998
81views Hardware» more  PTS 1998»
13 years 9 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
HICSS
2009
IEEE
88views Biometrics» more  HICSS 2009»
14 years 2 months ago
Automatic Voltage Controllers for South Korean Power System
The paper proposes two automatic voltage controllers for the South Korean power system. Simulation results from detailed Korean power-flow models show that the controllers can pro...
Xing Liu, Vaithianathan Venkatasubramanian, Tae-Ky...
ICAD
2004
13 years 9 months ago
The Interaction Between Head-Tracker Latency, Source Duration, and Response Time in the Localization of Virtual Sound Sources
One of the fundamental limitations on the fidelity of interactive virtual audio display systems is the delay that occurs between the time a listener changes his or her head positi...
Douglas Brungart, Brian D. Simpson, Richard L. McK...
ANSS
2000
IEEE
14 years 1 days ago
Flow Control and Dynamic Load Balancing in Time Warp
We present, in this paper, an algorithm which integrates flow control and dynamic load balancing in Time Warp. The algorithm is intended for use in a distributed memory environme...
Myongsu Choe, Carl Tropper