Related papers: Circuit Synthesis of Electrochemical Supercapacito…
A novel strategy is proposed for the coupling of field and circuit equations when modeling power devices in the low-frequency regime. The resulting systems of differential-algebraic equations have a particular geometric structure which…
In this article we propose and numerically implement a mathematical model for the simulation of three-dimensional semiconductor devices characterized by an heterogeneous material structure. The model consists of a system of nonlinearly…
Supervisory control theory provides means to synthesize supervisors for systems with discrete-event behavior from models of the uncontrolled plant and of the control requirements. The applicability of supervisory control theory often fails…
This paper presents an optimal synthesis of material distributions in obstacles for maximal extinction, scattering, or absorption. The material synthesis is based on an explicit construction utilizing the current distribution derived from…
Ensuring constraint satisfaction in large-scale systems with hard constraints is vital in many safety critical systems. The challenge is to design controllers that are efficiently synthesized offline, easily implementable online, and…
Developing critical components, such as mission controllers or embedded systems, is a challenging task. Reactive synthesis is a technique to automatically produce correct controllers. Given a high-level specification written in LTL,…
Electrochemical capacitors are a class of energy devices in which complex mechanisms of accumulation and dissipation of electric energy take place when connected to a charging or discharging power system. Reliably modeling their…
Recent advances in learning-based perception systems have led to drastic improvements in the performance of robotic systems like autonomous vehicles and surgical robots. These perception systems, however, are hard to analyze and errors in…
A simple discrete planar dynamical model for the ideal (logical) R-S flip-flop circuit is developed with an eye toward mimicking the dynamical behavior observed for actual physical realizations of this circuit. It is shown that the model…
The ability to approach a physical phenomenon and grasp its major importance is a remarkable quality of understanding. This paper presents a rather elegant and novel way of looking at the resonance phenomenon, which among others shares a…
System level synthesis enables improved robust MPC formulations by allowing for joint optimization of the nominal trajectory and controller. This paper introduces a tailored algorithm for solving the corresponding disturbance feedback…
This paper addresses different aspects of "coupled" model descriptions in computational electromagnetics. This includes domain decomposition, multiscale problems, multiple or hybrid discrete field formulation and multi-physics problems.…
With the increasing importance of distributed systems as a computing paradigm, a systematic approach to their design is needed. Although the area of formal verification has made enormous advances towards this goal, the resulting…
We highlight a general theory to engineer arbitrary Hermitian tight-binding lattice models in electrical LC circuits, where the lattice sites are replaced by the electrical nodes, connected to its neighbors and to the ground by capacitors…
A constructive approach to theory of diffusion processes is proposed, which is based on application of both the symmetry analysis and method of modelling functions. An algorithm for construction of the modelling functions is suggested. This…
Totally self-checking (TSC) circuits are synthesised with a grid of computers running a distributed population based stochastic optimisation algorithm. The presented method is the first to automatically synthesise TSC circuits from…
The inherent uncertainty of dynamic environments poses significant challenges for modeling robot behavior, particularly in tasks such as collision avoidance. This paper presents an online controller synthesis framework tailored for robots…
A fundamental question in interpretability research is to what extent neural networks, particularly language models, implement reusable functions through subnetworks that can be composed to perform more complex tasks. Recent advances in…
Resistive-capacitive (RC) networks are used to model various processes in engineering, physics or biology. We consider the problem of recovering the network connection structure from measured input-output data. We address this problem as a…
We take a divide and conquer approach to design controllers for reachability problems given large-scale linear systems with polyhedral constraints on states, controls, and disturbances. Such systems are made of small subsystems with coupled…