7512 search results - page 11 / 1503 » Robust Computations with Dynamical Systems |
113
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
SPAA
2010
ACM
15 years 5 months ago
2010
ACM
When a program uses Software Transactional Memory (STM) to synchronize accesses to shared memory, the performance often depends on which STM implementation is used. Implementation...
104
Voted
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
— We explore the use of computational optimal control techniques for automated construction of policies in complex dynamic environments. Our implementation of dynamic programming...
95
Voted
IPTPS
2004
Springer
15 years 5 months ago
2004
Springer
— Mutual exclusion is one of the well-studied fundamental primitives in distributed systems. However, the emerging P2P systems bring forward several challenges that can’t be co...
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
In this multi-university collaborative research, we will develop a framework for the dynamic data-driven fault diagnosis of wind turbines which aims at making the wind energy a com...