3 papers
cs.LO2019
Unification and combination of iterative insertion strategies with rudimentary traversals and failure
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen Michel Lenczner
We introduce a new class of extensions of terms that consists in navigation strategies and insertion of contexts. We introduce an operation of combination on this class which is as…
cs.LO2019
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen +1
Motivated by an ongoing project on computer aided derivation of asymptotic models governed by partial differential equations, we introduce a class of term transformations that cons…
math.NA2013
Semi-Decentralized Approximation of Optimal Control of Distributed Systems Based on a Functional Calculus
Youssef Yakoubi, Michel Lenczner
This paper discusses a new approximation method for operators which are solution to an operational Riccati equation (ORE). The latter is derived from the theory of optimal control…