相关论文: Correct-by-construction control synthesis for buck…
Study of current controlled systems and scientific publications has shown that the architecture of controlled systems, related to the products conversion is based on the principle of austerity and, in general, does not provide the…
The popular single-input single-output control structures and classic design methods (e.g., root locus analysis) for the power control of grid-forming converters have limitations in applying to different line characteristics and providing…
In this paper, we propose a formal controller synthesis approach for integrating a population of plug-in electric vehicles in frequency regulation of power systems. This approach is the first application of formal methods to the smart grids…
This paper presents a novel control structure and control synthesis method for regulating the output voltage/frequency and power injection of DC-AC inverters. The traditional droop method offers attractive solution to achieve compromise…
This paper employs correct-by-construction control synthesis, in particular controlled invariant set computations, for falsification. Our hypothesis is that if it is possible to compute a "large enough" controlled invariant set either for…
In this paper we propose a PI passivity-based controller, applicable to a large class of switched power converters, that ensures global state regulation to a desired equilibrium point. A solution to this problem was reported in…
In this paper, we consider the problem of synthesizing low-complexity controllers for incrementally stable switched systems. For that purpose, we establish a new approximation result for the computation of symbolic models that are…
This paper studies an online algorithm for an energy harvesting transmitter, where the transmission (completion) time is considered as the system performance. Unlike the existing online algorithms which more or less require the knowledge on…
This paper is concerned with the design of an augmented state feedback controller for finite-dimensional linear systems with nonlinear observation dynamics. Most of the theoretical results in the area of (optimal) feedback design are based…
Period doubling bifurcation leading to subharmonic oscillations are undesired phenomena in switching converters. In past studies, their prediction has been mainly tackled by explicitly deriving a discrete time model and then linearizing it…
Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches…
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…
In the current control design of safety-critical autonomous systems, formal verification techniques are typically applied after the controller is designed to evaluate whether the required properties (e.g., safety) are satisfied. However,…
The management of distributed and heterogeneous modern power networks necessitates the deployment of communication links, often characterized by limited bandwidth. This paper presents an event detection mechanism that significantly reduces…
This article addresses the problem of state observer design for continuous-time linear positive networked systems. Considering the bandwidth constraint in the communication network, an event-measurement-based positive observer design is…
This paper addresses the stability and $\ell^2$-gain analysis of adaptive control systems with event-triggered try-once-discard protocols. At every sampling time, an event trigger evaluates an error between the current value and the last…
A rapid deployment of renewable generation has led to significant reduction in the rotational system inertia and damping, thus making frequency control in power systems more challenging. This paper proposes a novel control scheme based on…
We present an abstraction and refinement methodology for the automated controller synthesis to enforce general predefined specifications. The designed controllers require quantized (or symbolic) state information only and can be interfaced…
This paper presents a compositional approach to specification-guided abstraction refinement for control synthesis of a nonlinear system associated with a method to over-approximate its reachable sets. Given an initial coarse partition of…
In inverse optimal control, the optimality of a given feedback stabilizing controller is a byproduct of the choice of a meaningful, a posteriori defined, cost functional. This allows for a simple tuning comparable to linear quadratic…