English
Related papers

Related papers: Correct-by-design Control Synthesis for Multilevel…

200 papers

The renewable energy is connected to the power grid through power electronic converters, which are lack of make the inertia of synchronous generator/machine (SM) be lost. The increasing penetration of renewable energy in power system…

Systems and Control · Electrical Eng. & Systems 2020-09-15 Yuan Gao , Hai-Peng Ren , Jie Li

Controller synthesis is the process of constructing a correct system automatically from its specification. This often requires assumptions about the behaviour of the environment. It is difficult for the designer to identify the assumptions…

Logic in Computer Science · Computer Science 2016-04-13 Romain Brenguier

This paper presents, implements, and evaluates a power-regulation technique for multicore processors, based on an integral controller with adjustable gain. The gain is designed for wide stability margins, and computed in real time as part…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-09-15 X. Chen , Y. Wardi , S. Yalamanchili

This article studies the dynamics and control of a novel underactuated system, wherein a plate suspended by cables and with a freely moving mass on top, whose other ends are attached to three quadrotors, is sought to be horizontally…

Systems and Control · Computer Science 2018-01-24 Siddharth H. Nair , Ravi N. Banavar , D. H. S. Maithripala

In recent times adaptive regulation of sampling rates has gained significant attention in research community and researchers has demonstrated it's effectiveness in embedded control applications from different perspectives. In low power…

Systems and Control · Computer Science 2018-02-15 Rajorshee Raha

This paper addresses a structural design problem in control systems, and explicitly takes into consideration the possible application to large-scale systems. More precisely, we aim to determine and characterize the minimum number of…

Optimization and Control · Mathematics 2016-06-13 Sergio Pequito , George J. Pappas

We propose a top-down approach for formation control of heterogeneous multi-agent systems, based on the method of eigenstructure assignment. Given the problem of achieving scalable formations on the plane, our approach globally computes a…

Systems and Control · Computer Science 2017-08-17 Takatoshi Motoyama , Kai Cai

Modular battery integrated converters or so called dynamically reconfigurable battery packs are expanding into emerging applications, including electromobility and grid storage. Although they offer many degrees of freedom, the state of the…

Systems and Control · Electrical Eng. & Systems 2023-03-21 Nima Tashakor , Jan Kacetl , Davood Keshavarzi , Stefan Goetz

This paper addresses the problem of designing distributed controllers with state and input constraints in the System Level Synthesis (SLS) framework. Using robust optimization, we show how state and actuation constraints can be incorporated…

Systems and Control · Computer Science 2019-11-05 Yuxiao Chen , James Anderson

Optimal controller synthesis is a bilinear problem and hence difficult to solve in a computationally efficient manner. We are able to resolve this bilinearity for systems with delay by first convexifying the problem in infinite-dimensions -…

Systems and Control · Computer Science 2018-07-13 Matthew M. Peet

This paper gives an overview of the use of control systems engineering in synthetic biology, motivated by applications such as cell therapy and cell fate reprogramming for regenerative medicine. A ubiquitous problem in these and other…

Systems and Control · Electrical Eng. & Systems 2026-01-29 Domitilla Del Vecchio

We present a perspective on a new critical-current-by-design paradigm to tailor and enhance the current-carrying capacity of applied superconductors. Critical current by design is based on large-scale simulations of vortex matter pinning in…

Superconductivity · Physics 2019-11-11 Andreas Glatz , Ivan A. Sadovskyy , Ulrich Welp , Wai-Kwong Kwok , George W. Crabtree

A family of interleaved current-fed high step-up dc-dc converters are introduced and analyzed here by combining a voltage multiplier (VM) and an active clamp circuit for high-voltage high-power applications. Low input currents and output…

Systems and Control · Electrical Eng. & Systems 2023-05-30 R. Beiranvand , S. H. Sangani

This paper presents a novel modular, reconfigurable battery energy storage system. The proposed design is characterized by a tight integration of reconfigurable power switches and DC/DC converters. This characteristic enables isolation of…

Systems and Control · Electrical Eng. & Systems 2023-01-13 Amir Farakhor , Di Wu , Yebin Wang , Huazhen Fang

System level synthesis is a promising approach that formulates structured optimal controller synthesis problems as convex problems. This work solves the distributed linear-quadratic regulator problem under communication constraints directly…

Systems and Control · Electrical Eng. & Systems 2022-10-31 Olle Kjellqvist , Jing Yu

Verified controller synthesis uses world models that comprise all potential behaviours of humans, robots, further equipment, and the controller to be synthesised. A world model enables quantitative risk assessment, for example, by…

Software Engineering · Computer Science 2021-10-26 Mario Gleirscher , Jan Peleska

In this article, the formation mission design problem for commercial aircraft is studied. Given the departure times and the departure and arrival locations of several commercial flights, the relevant weather forecast, and the expected fuel…

Optimization and Control · Mathematics 2024-07-03 María Cerezo-Magaña , Alberto Olivares , Ernesto Staffetti

Distributed controller synthesis offers scalable and privacy-preserving control design, but typical state-of-the-art approaches either assume white-box models or resort to centralized synthesis. In this paper, we combine partially known…

Systems and Control · Electrical Eng. & Systems 2026-05-19 Michael C. A. Nestor , Fei Teng

Controller synthesis is a theoretical approach to the systematic design of discrete event systems. It constructs a controller to provide feedback and control to the system, ensuring it meets specified control specifications. Traditional…

Multiagent Systems · Computer Science 2025-09-03 Ruohan Huang , Zining Cao

In wind farms, wake interaction leads to losses in power capture and accelerated structural degradation when compared to freestanding turbines. One method to reduce wake losses is by misaligning the rotor with the incoming flow using its…

Systems and Control · Computer Science 2019-07-17 Bart M Doekemeijer , Paul A Fleming , Jan-Willem van Wingerden