Sciweavers

18090 search results - page 36 / 3618
» Computing by Only Observing
Sort
View
WOLLIC
2009
Springer
14 years 4 months ago
Observational Completeness on Abstract Interpretation
Gianluca Amato, Francesca Scozzari
EXPERT
2010
105views more  EXPERT 2010»
13 years 7 months ago
Contextual Activity Visualization from Long-Term Video Observations
Brendan Tran Morris, Mohan M. Trivedi
CDC
2010
IEEE
122views Control Systems» more  CDC 2010»
13 years 4 months ago
Synchronous motor observability study and an improved zero-speed position estimation design
This paper deals with the Permanent Magnet Synchronous Motor (PMSM) observability analysis for sensorless control design. The problem of loss of observability at low frequency rang...
Dalila Zaltni, Malek Ghanes, Jean-Pierre Barbot, M...
CAV
2003
Springer
122views Hardware» more  CAV 2003»
14 years 3 months ago
Timed Control with Partial Observability
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...
Patricia Bouyer, Deepak D'Souza, P. Madhusudan, An...
DATE
2007
IEEE
133views Hardware» more  DATE 2007»
14 years 4 months ago
Stochastic modeling and optimization for robust power management in a partially observable system
As the hardware and software complexity grows, it is unlikely for the power management hardware/software to have a full observation of the entire system status. In this paper, we ...
Qinru Qiu, Ying Tan, Qing Wu