Related papers: Circuit Synthesis of Electrochemical Supercapacito…
Equations system constructors of hierarchical circuits play a central role in device modeling, nonlinear equations solving, and circuit design automation. However, existing constructors present limitations in applications to different…
The thesis presents the subject of synthetic topology, especially with relation to metric spaces. A model of synthetic topology is a categorical model in which objects possess an intrinsic topology in a suitable sense, and all morphisms are…
Transformers generate valid and diverse chemical structures, but little is known about the mechanisms that enable these models to capture the rules of molecular representation. We present a mechanistic analysis of autoregressive…
This work focuses the tracking control problem for nonlinear systems subjected to unknown external disturbances. Inspired by contraction theory, a neural network-dirven CCM synthesis is adopted to obtain a feedback controller that could…
In this paper, we provide a compositional methodology for constructing symbolic models for networks of discrete-time switched systems. We first define a notion of so-called augmented-storage functions to relate switched subsystems and their…
We present a novel diffusion-based framework for synthesizing 2D vector fields from sparse, coherent inputs (i.e., streamlines) while maintaining physical plausibility. Our method employs a conditional denoising diffusion probabilistic…
A central problem in systems biology is to identify parameter values such that a biological model satisfies some behavioral constraints (\eg, time series). In this paper we focus on parameter synthesis for hybrid (continuous/discrete)…
The electromagnetic scattering from interconnections of high-permittivity dielectric thin wires with sizes smaller than (or almost equal to) the operating wavelength is investigated. A simple lumped element model for the polarization…
We use first-order perturbation theory to provide a local linear relation between the circuit parameters and the poles of an RLC network. The sensitivity matrix, which defines this relationship, is obtained from the systems eigenvectors and…
This paper presents a comprehensive approach to generating and utilizing accurate equivalent circuits for structures commonly found in the particle accelerator domain. After a discussion of equivalent circuits in general, a systematic…
We investigate the formation of cluster crystals with multiply occupied lattice sites on a spherical surface in systems of ultra-soft particles interacting via repulsive, bounded pair potentials. Not all interactions of this kind lead to…
Probabilistic relational models provide a well-established formalism to combine first-order logic and probabilistic models, thereby allowing to represent relationships between objects in a relational domain. At the same time, the field of…
We explore the use of cylindrical metasurfaces in providing several illusion mechanisms including scattering cancellation and creating fictitious line sources. We present the general synthesis approach that leads to such phenomena by…
The differential capacitance comprises the most relevant thermodynamic information about an electrochemical system. Classical approaches to describe electrochemical capacitance have difficulties to combine the treatment of the ionic…
In this paper, we propose an approach to controller synthesis for a class of constrained nonlinear systems. It is based on the use of a hybridization, that is a hybrid abstraction of the nonlinear dynamics. This abstraction is defined on a…
The generation of high-fidelity synthetic data is a cornerstone of modern machine learning, yet Large Language Models (LLMs) frequently suffer from hallucinations, logical inconsistencies, and mode collapse when tasked with structured…
Through a redefinition of patterns in an Hopfield-like model, we introduce and develop an approach to model discrete systems made up of many, interacting components with inner degrees of freedom. Our approach clarifies the intrinsic…
This paper reviews the design of regulation loops for power converters. Power converter control being a vast domain, it does not aim to be exhaustive. The objective is to give a rapid overview of the main synthesis methods in both…
We provide a simple semi-classical formalism to describe the coupling between one or several quantum emitters and a structured environment. Describing the emitter by an electric polarizability, and the surrounding medium by a Green…
The recent advancement in vehicular networking technology provides novel solutions for designing intelligent and sustainable vehicle motion controllers. This work addresses a car-following task, where the feedback linearisation method is…