@unpublished{GrapentinHeidlerKorschetal.2014,
  author    = {Grapentin, Andreas and Heidler, Kirstin and Korsch, Dimitri and Kumar Sah, Rakesh and Kunzmann, Nicco and Henning, Johannes and Mattis, Toni and Rein, Patrick and Seckler, Eric and Groneberg, Bj{\"o}rn and Zimmermann, Florian},
  title     = {Embedded operating system projects},
  number    = {90},
  editor    = {Hentschel, Uwe and Richter, Daniel and Polze, Andreas},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-296-4},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-69154},
  pages     = {xi, 87},
  year      = {2014},
  abstract  = {In today's life, embedded systems are ubiquitous. But they differ from traditional desktop systems in many aspects - these include predictable timing behavior (real-time), the management of scarce resources (memory, network), reliable communication protocols, energy management, special purpose user-interfaces (headless operation), system configuration, programming languages (to support software/hardware co-design), and modeling techniques. Within this technical report, authors present results from the lecture "Operating Systems for Embedded Computing" that has been offered by the "Operating Systems and Middleware" group at HPI in Winter term 2013/14. Focus of the lecture and accompanying projects was on principles of real-time computing. Students had the chance to gather practical experience with a number of different OSes and applications and present experiences with near-hardware programming. Projects address the entire spectrum, from bare-metal programming to harnessing a real-time OS to exercising the full software/hardware co-design cycle. Three outstanding projects are at the heart of this technical report. Project 1 focuses on the development of a bare-metal operating system for LEGO Mindstorms EV3. While still a toy, it comes with a powerful ARM processor, 64 MB of main memory, standard interfaces, such as Bluetooth and network protocol stacks. EV3 runs a version of 1 1 Introduction Linux. Sources are available from Lego's web site. However, many devices and their driver software are proprietary and not well documented. Developing a new, bare-metal OS for the EV3 requires an understanding of the EV3 boot process. Since no standard input/output devices are available, initial debugging steps are tedious. After managing these initial steps, the project was able to adapt device drivers for a few Lego devices to an extent that a demonstrator (the Segway application) could be successfully run on the new OS. Project 2 looks at the EV3 from a different angle. The EV3 is running a pretty decent version of Linux- in principle, the RT_PREEMPT patch can turn any Linux system into a real-time OS by modifying the behavior of a number of synchronization constructs at the heart of the OS. Priority inversion is a problem that is solved by protocols such as priority inheritance or priority ceiling. Real-time OSes implement at least one of the protocols. The central idea of the project was the comparison of non-real-time and real-time variants of Linux on the EV3 hardware. A task set that showed effects of priority inversion on standard EV3 Linux would operate flawlessly on the Linux version with the RT_PREEMPT-patch applied. If only patching Lego's version of Linux was that easy... Project 3 takes the notion of real-time computing more seriously. The application scenario was centered around our Carrera Digital 132 racetrack. Obtaining position information from the track, controlling individual cars, detecting and modifying the Carrera Digital protocol required design and implementation of custom controller hardware. What to implement in hardware, firmware, and what to implement in application software - this was the central question addressed by the project.},
  language  = {en}
}
@unpublished{FedchenkoTarkhanov2014,
  author    = {Fedchenko, Dmitry and Tarkhanov, Nikolai Nikolaevich},
  title     = {An index formula for Toeplitz operators},
  volume    = {3},
  number    = {12},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {2193-6943},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-72499},
  pages     = {24},
  year      = {2014},
  abstract  = {We prove a Fedosov index formula for the index of Toeplitz operators connected with the Hardy space of solutions to an elliptic system of first order partial differential equations in a bounded domain of Euclidean space with infinitely differentiable boundary.},
  language  = {en}
}
@unpublished{DereudreRoelly2014,
  author    = {Dereudre, David and Roelly, Sylvie},
  title     = {Path-dependent infinite-dimensional SDE with non-regular drift : an existence result},
  volume    = {3},
  number    = {11},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {2193-6943},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-72084},
  pages     = {27},
  year      = {2014},
  abstract  = {We establish in this paper the existence of weak solutions of infinite-dimensional shift invariant stochastic differential equations driven by a Brownian term. The drift function is very general, in the sense that it is supposed to be neither small or continuous, nor Markov. On the initial law we only assume that it admits a finite specific entropy. Our result strongly improves the previous ones obtained for free dynamics with a small perturbative drift. The originality of our method leads in the use of the specific entropy as a tightness tool and on a description of such stochastic differential equation as solution of a variational problem on the path space.},
  language  = {en}
}
@unpublished{MakhmudovTarkhanov2014,
  author    = {Makhmudov, Olimdjan and Tarkhanov, Nikolai Nikolaevich},
  title     = {The first mixed problem for the nonstationary Lam{\´e} system},
  volume    = {3},
  number    = {10},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {2193-6943},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-71923},
  pages     = {19},
  year      = {2014},
  abstract  = {We find an adequate interpretation of the Lam{\´e} operator within the framework of elliptic complexes and study the first mixed problem for the nonstationary Lam{\´e} system.},
  language  = {en}
}
@unpublished{ConfortiLeonardMurretal.2014,
  author    = {Conforti, Giovanni and L{\´e}onard, Christian and Murr, R{\"u}diger and Roelly, Sylvie},
  title     = {Bridges of Markov counting processes : reciprocal classes and duality formulas},
  volume    = {3},
  number    = {9},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {2193-6943},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-71855},
  pages     = {12},
  year      = {2014},
  abstract  = {Processes having the same bridges are said to belong to the same reciprocal class. In this article we analyze reciprocal classes of Markov counting processes by identifying their reciprocal invariants and we characterize them as the set of counting processes satisfying some duality formula.},
  language  = {en}
}
@unpublished{FlandoliHoegele2014,
  author    = {Flandoli, Franco and H{\"o}gele, Michael},
  title     = {A solution selection problem with small stable perturbations},
  volume    = {3},
  number    = {8},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {2193-6943},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-71205},
  pages     = {43},
  year      = {2014},
  abstract  = {The zero-noise limit of differential equations with singular coefficients is investigated for the first time in the case when the noise is a general alpha-stable process. It is proved that extremal solutions are selected and the probability of selection is computed. Detailed analysis of the characteristic function of an exit time form on the half-line is performed, with a suitable decomposition in small and large jumps adapted to the singular drift.},
  language  = {en}
}
@unpublished{PornsawadBoeckmann2014,
  author    = {Pornsawad, Pornsarp and B{\"o}ckmann, Christine},
  title     = {Modified iterative Runge-Kutta-type methods for nonlinear ill-posed problems},
  volume    = {3},
  number    = {7},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {2193-6943},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-70834},
  pages     = {30},
  year      = {2014},
  abstract  = {This work is devoted to the convergence analysis of a modified Runge-Kutta-type iterative regularization method for solving nonlinear ill-posed problems under a priori and a posteriori stopping rules. The convergence rate results of the proposed method can be obtained under H{\"o}lder-type source-wise condition if the Fr{\´e}chet derivative is properly scaled and locally Lipschitz continuous. Numerical results are achieved by using the Levenberg-Marquardt and Radau methods.},
  language  = {en}
}
@unpublished{ConfortiDaiPraRoelly2014,
  author    = {Conforti, Giovanni and Dai Pra, Paolo and Roelly, Sylvie},
  title     = {Reciprocal class of jump processes},
  volume    = {3},
  number    = {6},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {2193-6943},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-70776},
  pages     = {30},
  year      = {2014},
  abstract  = {Processes having the same bridges as a given reference Markov process constitute its reciprocal class. In this paper we study the reciprocal class of compound Poisson processes whose jumps belong to a finite set A in R^d. We propose a characterization of the reciprocal class as the unique set of probability measures on which a family of time and space transformations induces the same density, expressed in terms of the reciprocal invariants. The geometry of A plays a crucial role in the design of the transformations, and we use tools from discrete geometry to obtain an optimal characterization. We deduce explicit conditions for two Markov jump processes to belong to the same class. Finally, we provide a natural interpretation of the invariants as short-time asymptotics for the probability that the reference process makes a cycle around its current state.},
  language  = {en}
}
@unpublished{HoegelePavlyukevich2014,
  author    = {H{\"o}gele, Michael and Pavlyukevich, Ilya},
  title     = {Metastability of Morse-Smale dynamical systems perturbed by heavy-tailed L{\´e}vy type noise},
  volume    = {3},
  number    = {5},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {2193-6943},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-70639},
  pages     = {27},
  year      = {2014},
  abstract  = {We consider a general class of finite dimensional deterministic dynamical systems with finitely many local attractors each of which supports a unique ergodic probability measure, which includes in particular the class of Morse-Smale systems in any finite dimension. The dynamical system is perturbed by a multiplicative non-Gaussian heavytailed L{\´e}vy type noise of small intensity ε > 0. Specifically we consider perturbations leading to a It{\^o}, Stratonovich and canonical (Marcus) stochastic differential equation. The respective asymptotic first exit time and location problem from each of the domains of attractions in case of inward pointing vector fields in the limit of ε-> 0 has been investigated by the authors. We extend these results to domains with characteristic boundaries and show that the perturbed system exhibits a metastable behavior in the sense that there exits a unique ε-dependent time scale on which the random system converges to a continuous time Markov chain switching between the invariant measures. As examples we consider α-stable perturbations of the Duffing equation and a chemical system exhibiting a birhythmic behavior.},
  language  = {en}
}
@unpublished{SultanovKalyakinTarkhanov2014,
  author    = {Sultanov, Oskar and Kalyakin, Leonid and Tarkhanov, Nikolai Nikolaevich},
  title     = {Elliptic perturbations of dynamical systems with a proper node},
  volume    = {3},
  number    = {4},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {2193-6943},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-70460},
  pages     = {12},
  year      = {2014},
  abstract  = {The paper is devoted to asymptotic analysis of the Dirichlet problem for a second order partial differential equation containing a small parameter multiplying the highest order derivatives. It corresponds to a small perturbation of a dynamical system having a stationary solution in the domain. We focus on the case where the trajectories of the system go into the domain and the stationary solution is a proper node.},
  language  = {en}
}
@unpublished{AizenbergTarkhanov2014,
  author    = {Aizenberg, Lev A. and Tarkhanov, Nikolai Nikolaevich},
  title     = {An integral formula for the number of lattice points in a domain},
  volume    = {3},
  number    = {3},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {2193-6943},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-70453},
  pages     = {7},
  year      = {2014},
  abstract  = {Using the multidimensional logarithmic residue we show a simple formula for the difference between the number of integer points in a bounded domain of R^n and the volume of this domain. The difference proves to be the integral of an explicit differential form over the boundary of the domain.},
  language  = {en}
}
@unpublished{GairingHoegeleKosenkovaetal.2014,
  author    = {Gairing, Jan and H{\"o}gele, Michael and Kosenkova, Tetiana and Kulik, Alexei Michajlovič},
  title     = {On the calibration of L{\´e}vy driven time series with coupling distances : an application in paleoclimate},
  volume    = {3},
  number    = {2},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {2193-6943},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-69781},
  pages     = {18},
  year      = {2014},
  abstract  = {This article aims at the statistical assessment of time series with large fluctuations in short time, which are assumed to stem from a continuous process perturbed by a L{\´e}vy process exhibiting a heavy tail behavior. We propose an easily implementable procedure to estimate efficiently the statistical difference between the noisy behavior of the data and a given reference jump measure in terms of so-called coupling distances. After a short introduction to L{\´e}vy processes and coupling distances we recall basic statistical approximation results and derive rates of convergence. In the sequel the procedure is elaborated in detail in an abstract setting and eventually applied in a case study to simulated and paleoclimate data. It indicates the dominant presence of a non-stable heavy-tailed jump L{\´e}vy component for some tail index greater than 2.},
  language  = {en}
}
@unpublished{DyachenkoTarkhanov2014,
  author    = {Dyachenko, Evgueniya and Tarkhanov, Nikolai Nikolaevich},
  title     = {Singular perturbations of elliptic operators},
  volume    = {3},
  number    = {1},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {2193-6943},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-69502},
  pages     = {21},
  year      = {2014},
  abstract  = {We develop a new approach to the analysis of pseudodifferential operators with small parameter 'epsilon' in (0,1] on a compact smooth manifold X. The standard approach assumes action of operators in Sobolev spaces whose norms depend on 'epsilon'. Instead we consider the cylinder [0,1] x X over X and study pseudodifferential operators on the cylinder which act, by the very nature, on functions depending on 'epsilon' as well. The action in 'epsilon' reduces to multiplication by functions of this variable and does not include any differentiation. As but one result we mention asymptotic of solutions to singular perturbation problems for small values of 'epsilon'.},
  language  = {en}
}