Related papers: Circuit Synthesis of Electrochemical Supercapacito…
In this paper, we propose a compositional approach to construct opacity-preserving finite abstractions (a.k.a symbolic models) for networks of discrete-time nonlinear control systems. Particularly, we introduce new notions of simulation…
The dissipativity concept sits at the intersection of physics, systems theory, and control engineering, as a natural generalisation of passive systems that dissipate energy. It relates the external behavior of systems to their internal…
The precise engineering of electromagnetic couplings is paramount for constructing scalable and highfidelity superconducting quantum processors. While essential for orchestrating qubit operations, these couplings also present significant…
Reactive synthesis supports designers by automatically constructing correct hardware from declarative specifications. Synthesis algorithms usually compute a strategy, and then construct a circuit that implements it. In this work, we study…
The purpose of this paper is to present a network realization theory for a class of mixed quantum-classical linear stochastic systems. Two forms, the standard form and the general form, of this class of linear mixed quantum-classical…
A model of superconductivity is proposed taking into account repulsive particle interaction, mesoscopic phase separation and softening of crystalline lattice. These features are typical of many high-temperature superconductors. The main…
Reactive synthesis is a paradigm for automatically building correct-by-construction systems that interact with an unknown or adversarial environment. We study how to do reactive synthesis when part of the specification of the system is that…
We propose a technique to detect and generate patterns in a network of locally interacting dynamical systems. Central to our approach is a novel spatial superposition logic, whose semantics is defined over the quad-tree of a partitioned…
The purpose of this paper is to develop a synthesis theory for linear dynamical quantum stochastic systems that are encountered in linear quantum optics and in phenomenological models of linear quantum circuits. In particular, such a theory…
The problem of electromagnetic scattering by cylinders is an old problem that has been studied in many configurations. The present publication provides a theoretical study on a not yet investigated general case: the set of finite metallic…
Electrical circuits offer a unique platform to explore physical phenomena, from topology to non-Hermitian effects. Investigations of the fundamental properties of this metamaterial platform are crucial to distinguish observed/measured…
We derive the nonequilibrium conductance matrix for open stationary Chemical Reaction Networks (CRNs) described by a deterministic mass action kinetic equation. As an illustration, we determine the nonequilibrium conductance matrix of a CRN…
We show that a common language can be used to unify the description of parametrically-coupled circuits--parametric amplifiers, frequency converters, and parametric nonreciprocal devices--with that of band-pass filter and impedance matching…
While Josephson junctions can be viewed as highly non-linear impedances for superconducting quantum technologies, they also possess internal dynamics that may strongly affect their behavior. Here, we construct a computational framework that…
We consider the basic features of complex dynamic and control systems, including systems having hierarchical structure. Special attention is paid to the problems of design and synthesis of complex systems and control models, and to the…
Generating synthetic ECG data has numerous applications in healthcare, from educational purposes to simulating scenarios and forecasting trends. While recent diffusion models excel at generating short ECG segments, they struggle with longer…
Rapid Single Flux Quantum (RSFQ) logic is a promising technology to supersede Complementary metal-oxide-semiconductor (CMOS) logic in some specialized areas due to providing ultra-fast and energy-efficient circuits. To realize a large-scale…
This paper introduces a novel method for synthesizing digital circuits derived from Binary Decision Diagrams (BDDs) that can yield to reduction in power dissipation. The power reduction is achieved by decreasing the switching activity in a…
To provide robustness of distributed model predictive control (DMPC), this work proposes a robust DMPC formulation for discrete-time linear systems subject to unknown-but-bounded disturbances. Taking advantage of the structure of certain…
Sequencing by synthesis is the underlying technology for many next-generation DNA sequencing platforms. We developed a new model, the fixed flow cycle model, to derive the distributions of sequence length for a given number of flow cycles…