Related papers: Derived control theorems for reductive groups

We present a comprehensive study of the behavioral theory of an untyped $\lambda$-calculus extended with the delimited-control operators shift and reset. To that end, we define a contextual equivalence for this calculus, that we then aim to…

Data-driven control offers a powerful alternative to traditional model-based methods, particularly when accurate system models are unavailable or prohibitively complex. While existing data-driven control methods primarily aim to construct…

We develop the Lie theory of Lie-admissible algebras whose product is enriched with higher operations modeled on directed graphs with a view to apply it to the deformation theories controlled by this kind of Lie algebras. We produce…

By resolving an arbitrary perfect derived object over a Deligne-Mumford stack, we define its Euler class. We then apply it to define the Euler numbers for a smooth Calabi-Yau threefold in the 4-dimensional projective space. These numbers…

We approach higher-order variational problems of Herglotz type from an optimal control point of view. Using optimal control theory, we derive a generalized Euler-Lagrange equation, transversality conditions, a DuBois-Reymond necessary…

We discuss smooth nonlinear control systems with symmetry. For a free and proper action of the symmetry group, the reduction of symmetry gives rise to a reduced smooth nonlinear control system. If the action of the symmetry group is only…

We prove a quantitative openness theorem for $C^1$ submersions under suitable assumptions on the differential. We then apply our result to a class of exponential maps appearing in Carnot-Carath\'eodory spaces and we improve a classical…

The paper is devoted to a design of a common bounded feedback control steering a system of an arbitrary number of linear oscillators to the equilibrium. At high energies, the control is based on the asymptotic theory of reachable sets of…

For controller design for systems on manifolds embedded in Euclidean space, it is convenient to utilize a theory that requires a single global coordinate system on the ambient Euclidean space rather than multiple local charts on the…

We propose an extension of minimal intuitionistic predicate logic, based on delimited control operators, that can derive the predicate-logic version of the Double-negation Shift schema, while preserving the disjunction and existence…

This paper generalizes the classical Hautus Test to systems described by partial differential equations.

The Helmholtz conditions are necessary and sufficient conditions for a system of second order differential equations to be variational, that is, equivalent to a system of Euler-Lagrange equations for a regular Lagrangian. On the other hand,…

This paper concerns the adaptive control of a class of discrete-time nonlinear systems with all states accessible. Recently, a high-order tuner algorithm was developed for the minimization of convex loss functions with time-varying…

This paper is devoted to discrete mechanical systems subject to external forces. We introduce a discrete version of systems with Rayleigh-type forces, obtain the equations of motion and characterize the equivalence for these systems.…

We have considered a Boolean control network where the state evolution equations depend on past states, controls and first derivatives of a function with respect to controls. Total approach has been the efficient use of matrix semi tensor…

In this paper, we consider a class of fractional integro-differential inclusions in Hilbert spaces. This paper deals with the approximate controllability for a class of fractional integro-differential control systems. First, we establishes…

In this article we show how Gr\"un's results in group theory can be used for studying the structure of class groups in normal extensions.

An overview and synthesis of results and criteria for open-loop controllability of Hamiltonian quantum systems obtained using Lie group and Lie algebra techniques is presented. Negative results for open-loop controllability of dissipative…

We investigate exact enlarged controllability for time fractional diffusion systems of Riemann-Liouville type. The Hilbert uniqueness method is used to prove exact enlarged controllability for both cases of zone and pointwise actuators. A…

We extend Noether's theorem to dynamical optimal control systems being under the action of nonconservative forces. A systematic way of calculating conservation laws for nonconservative optimal control problems is given. As a corollary, the…