Sciweavers

5757 search results - page 489 / 1152
» Dynamic Policy Programming
Sort
View
167
Voted
TSMC
2008
79views more  TSMC 2008»
15 years 7 months ago
Issues on Stability of ADP Feedback Controllers for Dynamical Systems
Abstract--This paper traces the development of neuralnetwork (NN)-based feedback controllers that are derived from the principle of adaptive/approximate dynamic programming (ADP) a...
S. N. Balakrishnan, Jie Ding, Frank L. Lewis
165
Voted
JUCS
2010
134views more  JUCS 2010»
15 years 6 months ago
Newton Method for Nonlinear Dynamic Systems with Adaptive Time Stepping
Abstract: This paper presents a nonlinear solver based on the Newton-Krylov methods, where the Newton equations are solved by Krylov-subspace type approaches. We focus on the solut...
Wensheng Shen, Changjiang Zhang, Jun Zhang, Xiaoqi...
242
Voted
IANDC
2010
125views more  IANDC 2010»
15 years 5 months ago
A thread calculus with molecular dynamics
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
Jan A. Bergstra, C. A. Middelburg
245
Voted
ICLA
2011
Springer
14 years 11 months ago
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
Ernst-Erich Doberkat
197
Voted
ESOP
2010
Springer
16 years 23 days ago
On the Expressive Power of Primitives for Compensation Handling
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
Ivan Lanese, Cátia Vaz, Carla Ferreira