Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.36423

Discrete-time polynomial systems with inputs and outputs: structure, reachability, observability, and minimal realizations

Eduardo D. Sontag
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the realization problem for discrete-time input/output polynomial systems. These are formalized using tools from commutative algebra and algebraic geometry as systems whose state spaces are algebraic varieties, or more abstractly the set of k-points of an affine k-scheme, where k is an arbitrary infinite field. The input/output behaviors of such systems are described by "polynomial response maps" in which outputs are polynomial functions of past inputs. The main results show that every polynomial response map admits a canonical (quasi-reachable and algebraically observable) realization, which is unique up to isomorphism. The key to the approach is to linearize dynamics by considering a "dual" system in which states are functions defined on states. Finite dimensionality of the canonical realization, and its polynomiality, are characterized in terms of the space, algebra, and field of observables of the map, as well as in terms of algebraic input/output difference equations, and by a Jacobian rank criterion. A particular subclass consists of the maps that we call "bounded," defined by the property that their degree in the past inputs is uniformly bounded. Bounded maps are shown to be finitely realizable if and only if they are realizable by finite-dimensional state-affine systems, whose theory in turn reduces to that of rational formal power series. We also study the lattice of quasi-reachable realizations of a given map, including normal realizations. This work is an update of the PhD thesis written by the author in 1976; connections to recent work are briefly discussed in the last section.

Explore related subjects

eess.SYcs.SYmath.OC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Eduardo D. Sontag. 2026-09-29. Discrete-time polynomial systems with inputs and outputs: structure, reachability, observability, and minimal realizations. https://arxiv.org/abs/2609.36423

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Beyond Tomorrow -- Electrification of Hard-to-Abate Sectors

Reaching net-zero greenhouse-gas (GHG) emissions requires deep electrification beyond ground transportation, buildings, and conventional industry automation. This article discusses direct electrification pathways for hard-to-abate sectors, which today account for 30% of global GHG emissions and include steel, cement, chemicals, aviation, and shipping. Whereas indirect electrification via hydrogen and synthetic fuels will remain indispensable for some applications, direct use of electricity is generally preferable from an efficiency perspective. We review selected emerging opportunities for power electronics in industrial process electrification, including steelmaking through hydrogen plasma smelting reduction or molten-oxide electrolysis, electrified cement production, high-temperature process heat, plasma-assisted chemistry, and electrochemical synthesis. Across these examples, power converters must interface with highly application-specific loads, ranging from low-voltage high-current electrolysis cells to dynamic plasma reactors and megawatt-scale induction heating systems. In addition, high-power grid interfaces and in-plant energy management/buffering solutions must be clarified. Thus, future electrified industrial processes open new "beyond-tomorrow" research challenges for power electronics in close interdisciplinary collaboration with scientists from neighboring disciplines.

eess.SY↗
arXiv2026

On the NP-Hardness of Unconstrained Static Output Feedback Stabilization

In this paper we give a polynomial-time reduction from the Subset Sum Problem to unconstrained static output feedback stabilization, establishing its NP-hardness. The construction uses two scalar building blocks to impose approximate discrete choices and a weighted-sum constraint. Once the problem is encoded, we relate the stability of the $N+1$ decoupled loops encoding the problem to that of a coupled plant. This is accomplished by leveraging frequency separation via a band-pass transformation, and comparing the root counts of the true characteristic polynomial with that of the different blocks in different regions of the right half-plane. The construction then naturally bounds every stabilizing gain and gives explicit modulus-margin estimates, ensuring that the plant data have polynomial binary encoding length.

eess.SY↗
arXiv2026

A Goal-Oriented Approach for Active Object Detection with Exploration-Exploitation Balance

Active object detection, which aims to identify objects of interest through controlled camera movements, plays a pivotal role in real-world visual perception for autonomous robotic applications, such as manufacturing tasks (e.g., assembly operations) performed in unknown environments. A dual control for exploration and exploitation (DCEE) algorithm is presented within goal-oriented control systems to achieve efficient active object detection, leveraging active learning by incorporating variance-based uncertainty estimation in the cost function. This novel method employs an exploration-exploitation balanced cost function to actively guide the selection of the next viewpoint. Specifically, active object detection is achieved through the development of a reward function that encodes knowledge about the confidence variation of objects as a function of viewpoint position within a given domain. By identifying the unknown parameters of this function, the system generates an optimal viewpoint planning strategy. DCEE integrates parameter estimation of the reward function and view planning, ensuring a balanced trade-off between the exploitation of learned knowledge and active exploration during the planning process. Moreover, it demonstrates remarkable adaptability across diverse scenarios, effectively handling LEGO brick detection at varying locations. Importantly, the algorithm maintains consistent configuration settings and a fixed number of parameters across various scenarios, underscoring its efficiency and robustness. To validate the proposed approach, extensive numerical studies, high-fidelity virtual simulations, and real-world experiments under various scenarios were conducted. The results confirm the effectiveness of DCEE in active object detection, showcasing superior performance compared to existing methods, including model predictive control (MPC) and entropy approaches.

eess.SY↗