Functional Methods in Stochastic Systems

Field-theoretic construction of functional representations of solutions of stochastic differential equations and master equations is reviewed. A generic expression for the generating function of Green functions of stochastic systems is put forward. Relation of ambiguities in stochastic differential equations and in the functional representations is discussed. Ordinary differential equations for expectation values and correlation functions are inferred with the aid of a variational approach.Comment: Plenary talk presented at Mathematical Modeling and Computational Science. International Conference, MMCP 2011, Star\'a Lesn\'a, Slovakia, July 4-8, 201

Functional Verification of Power Electronic Systems

This project is the final work of the degree in Industrial Electronics and Automatic Engineering. It has global concepts of electronics but it focuses in power electronic systems. There is a need for reliable testing systems to ensure the good functionality of power electronic systems. The constant evolution of this products requires the development of new testing techniques. This project aims to develop a new testing system to accomplish the functional verification of a new power electronic system manufactured on a company that is in the power electronic sector . This test system consists on two test bed platforms, one to test the control part of the systems and the other one to test their functionality. A software to perform the test is also designed. Finally, the testing protocol is presented. This design is validated and then implemented on a buck converter and an inverter that are manufactured at the company. The results show that the test system is reliable and is capable of testing the functional verification of the two power electronic system successfully. In summary, this design can be introduced in the power electronic production process to test the two products ensuring their reliability in the market

Current-density functional for disordered systems

The effective action for the current and density is shown to satisfy an evolution equation, the functional generalization of Callan-Symanzik equation. The solution describes the dependence of the one-particle irreducible vertex functions on the strength of the quenched disorder and the annealed Coulomb interaction. The result is non-perturbative, no small parameter is assumed. The a.c. conductivity is obtained by the numerical solution of the evolution equation on finite lattices in the absence of the Coulomb interaction. The static limit is performed and the conductivity is found to be vanishing beyond a certain threshold of the impurity strength.Comment: final version, 28 pages, 17 figures, to appear in Phys. Rev.

Distributed Functional Observers for LTI Systems

We study the problem of designing distributed functional observers for LTI systems. Specifically, we consider a setting consisting of a state vector that evolves over time according to a dynamical process. A set of nodes distributed over a communication network wish to collaboratively estimate certain functions of the state. We first show that classical existence conditions for the design of centralized functional observers do not directly translate to the distributed setting, due to the coupling that exists between the dynamics of the functions of interest and the diverse measurements at the various nodes. Accordingly, we design transformations that reveal such couplings and identify portions of the corresponding dynamics that are locally detectable at each sensor node. We provide sufficient conditions on the network, along with state estimate update and exchange rules for each node, that guarantee asymptotic reconstruction of the functions at each sensor node

Solving Functional Constraints by Variable Substitution

Functional constraints and bi-functional constraints are an important constraint class in Constraint Programming (CP) systems, in particular for Constraint Logic Programming (CLP) systems. CP systems with finite domain constraints usually employ CSP-based solvers which use local consistency, for example, arc consistency. We introduce a new approach which is based instead on variable substitution. We obtain efficient algorithms for reducing systems involving functional and bi-functional constraints together with other non-functional constraints. It also solves globally any CSP where there exists a variable such that any other variable is reachable from it through a sequence of functional constraints. Our experiments on random problems show that variable elimination can significantly improve the efficiency of solving problems with functional constraints

Functional integral for non-Lagrangian systems

A novel functional integral formulation of quantum mechanics for non-Lagrangian systems is presented. The new approach, which we call "stringy quantization," is based solely on classical equations of motion and is free of any ambiguity arising from Lagrangian and/or Hamiltonian formulation of the theory. The functionality of the proposed method is demonstrated on several examples. Special attention is paid to the stringy quantization of systems with a general A-power friction force $-\kappa[\dot{q}]^A$. Results for $A = 1$ are compared with those obtained in the approaches by Caldirola-Kanai, Bateman and Kostin. Relations to the Caldeira-Leggett model and to the Feynman-Vernon approach are discussed as well.Comment: 14 pages, 7 figures, corrected typo

Gutzwiller density functional theory for correlated electron systems

We develop a new density functional theory (DFT) and formalism for correlated electron systems by taking as reference an interacting electron system that has a ground state wavefunction which obeys exactly the Gutzwiller approximation for all one particle operators. The solution of the many electron problem is mapped onto the self-consistent solution of a set of single particle Schroedinger equations analogous to standard DFT-LDA calculations.Comment: 4 page

Dynamic Dependency Pairs for Algebraic Functional Systems

We extend the higher-order termination method of dynamic dependency pairs to Algebraic Functional Systems (AFSs). In this setting, simply typed lambda-terms with algebraic reduction and separate {\beta}-steps are considered. For left-linear AFSs, the method is shown to be complete. For so-called local AFSs we define a variation of usable rules and an extension of argument filterings. All these techniques have been implemented in the higher-order termination tool WANDA