相关论文: A Tool and Methodology for AC-Stability Analysis o…
This paper investigates the stability properties and performance of super-twisting sliding-mode control loops subject to periodic perturbations. Although there exist conditions on the control gains that guarantee finite-time stability of…
This paper presents a framework grounded in the theory of describing function (DF) and incremental-input DF to theoretically analyze the nonlinear oscillatory response of automated vehicles (AVs) car-following (CF) amidst traffic…
Based on a continuum theory, we investigate the manipulation of the non-equilibrium behavior of a sheared liquid crystal via closed-loop feedback control. Our goal is to stabilize a specific dynamical state, that is, the stationary…
We propose a memory-model-aware static program analysis method for accurately analyzing the behavior of concurrent software running on processors with weak consistency models such as x86-TSO, SPARC-PSO, and SPARC-RMO. At the center of our…
Time-distributed Optimization (TDO) is an approach for reducing the computational burden of Model Predictive Control (MPC). When using TDO, optimization iterations are distributed over time by maintaining a running solution estimate and…
Static source code analysis is a powerful tool for finding and fixing bugs when deployed properly; it is, however, all too easy to deploy it in a way that looks good superficially, but which misses important defects, shows many false…
Static analysis is an essential component of many modern software development tools. Unfortunately, the ever-increasing complexity of static analyzers makes their coding error-prone. Even analysis tools based on rigorous mathematical…
This work provides a design method for achieving a specified level of stability for inverter-based interconnected distributed generation. The stability of parallel connected distributed energy resources determined from a linearized…
We consider the problem of computing equilibria (steady-states) for droop-controlled, islanded, AC microgrids that are both economic-optimal and dynamically stable. This work is motivated by the observation that classical optimal power flow…
The application of nonlinear control schemes to electro-hydraulic actuators often requires several alterations in the design of the controllers during their implementation. This is to overcome challenges that frequently arise in such…
Current data-driven predictive control (DDPC) methods heavily rely on data collected in open-loop operation with elaborate design of inputs. However, due to safety or economic concerns, systems may have to be under feedback control, where…
The integration of inverter-interfaced generators introduces new instability phenomena into modern power systems. This paper conducts a comparative analysis of two widely used droop-based grid-forming controls, namely droop control and…
This letter studies the dynamical properties of safety filters designed based on Control Barrier Functions (CBF). This mechanism, which is popular in safety-critical applications, takes a nominal controller and minimally modifies it to…
Large parameter studies of fluid dynamic instabilities can crucially be simplified, if the user does not need to specify the simulation time. For this purpose, a steady state detection is implemented in the CFD library OpenFOAM. It…
Dynamics and stability of average current-mode control of buck converters are analyzed by sampled-data and harmonic balance analyses. An exact sampled-data model is derived. A new continuous-time model "lifted" from the sampled-data model…
In this article we use analytical and numerical modeling to describe parallel viscous two-phase flows in microchannels. The focus is on idealized two-dimensional geometries, with a view to validating the various methodologies for future…
We consider the problem of optimizing the steady state of a dynamical system in closed loop. Conventionally, the design of feedback optimization control laws assumes that the system is stationary. However, in reality, the dynamics of the…
This paper develops an input-to-state stability (ISS) analysis of the Stefan problem with respect to an unknown heat loss. The Stefan problem represents a liquid-solid phase change phenomenon which describes the time evolution of a…
The stability analysis of a class of discontinuous discrete-time systems is studied in this paper. The system under study is modeled as a feedback interconnection of a linear system and a set-valued nonlinearity. An equivalent…
Static code analysis is a powerful approach to detect quality deficiencies such as performance bottlenecks, safety violations or security vulnerabilities already during a software system's implementation. Yet, as current software systems…