Results 11 to 20 of about 32,246 (268)
Integrable systems and their recursion operators [PDF]
Nonlinear Analysis, 2001 In this paper we discuss the structure of recursion operators. We show that recursion operators of evolution equations have a nonlocal part that is determined by symmetries and cosymmetries. This enables us to compute recursion operators more systematically. Under certain conditions (which hold for all examples known to us) Nijenhuis operators are well
Sanders, Jan A., Wang, Jing Ping
openaire +2 more sources
Recursive Generation of Isochronous Hamiltonian Systems [PDF]
Journal of Nonlinear Mathematical Physics, 2021 We propose a simple procedure to identify the collective coordinate $Q$ which is used to generate the isochronous Hamiltonian. The new isochronous Hamiltonian generates more and more isochronous oscillators, recursively.
Chandrasekar, V. K. +2 more
openaire +2 more sources
Systems Science & Control Engineering, 2023 In this paper, a recursive filtering problem is analyzed for nonlinear systems with sensor saturation under duty cycle scheduling (DCS). The sensor saturation is taken into account to describe practical engineering better.
Hongyu Gao +3 more
doaj +1 more source
Robust Recursive Regulator for Systems Subject to Polytopic Uncertainties
IEEE Access, 2021 We present a robust recursive framework for the regulation of discrete-time linear systems subject to polytopic uncertainties. Based on regularized least-squares with a penalty parameter, we formulate a convex optimization problem and weight the polytope
Jose Nuno A. D. Bueno +2 more
doaj +1 more source
A Transformation System for Developing Recursive Programs [PDF]
Journal of the ACM, 1977 A system of rules for transforming programs is described, with the programs in the form of recursion equations. An initially very simple, lucid, and hopefully correct program is transformed into a more efficient one by altering the recursion structure.
Rod M. Burstall, John Darlington
openaire +2 more sources
Unscented Recursive Filtering for Inequality Constrained Systems
IEEE Access, 2019 For nonlinear systems with state inequality constraints, the existing unscented recursive filtering methods utilize the constraint information in the sampling and update steps, rather than the prediction step.
Chongyang Hu +3 more
doaj +1 more source
Robust Recursive Estimation for Uncertain Systems With Delayed Measurements and Noises
IEEE Access, 2020 In this article, the problem of robust recursive estimation is studied for a class of uncertain systems with delayed measurements and delayed noises. The system model is subject to stochastic uncertainties which can be described by multiplicative noises.
Jianxin Feng +3 more
doaj +1 more source
Unraveling Recursion: Compiling an IR with Recursion to System F [PDF]
, 2019 Lambda calculi are often used as intermediate representations for compilers. However, they require extensions to handle higher-level features of programming languages. In this paper we show how to construct an IR based on \(\text {System}\ F_{\omega }^\mu \) which supports recursive functions and datatypes, and describe how to compile it to \(\text ...
Michael Peyton Jones +5 more
openaire +1 more source
Recursive Algorithms for Multivariable Output-Error-Like ARMA Systems
Mathematics, 2019 This paper studies the parameter identification problems for multivariable output-error-like systems with colored noises. Based on the hierarchical identification principle, the original system is decomposed into several subsystems.
Hao Ma +6 more
doaj +1 more source
Abstract GSOS Rules and a Modular Treatment of Recursive Definitions [PDF]
Logical Methods in Computer Science, 2013 Terminal coalgebras for a functor serve as semantic domains for state-based systems of various types. For example, behaviors of CCS processes, streams, infinite trees, formal languages and non-well-founded sets form terminal coalgebras.
Stefan Milius +2 more
doaj +1 more source