Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Multi-rate control design leveraging control barrier functions and model predictive control policies
In this letter we present a multi-rate control architecture for safety critical systems. We
consider a high level planner and a low level controller which operate at different …
consider a high level planner and a low level controller which operate at different …
Computationally efficient safe reinforcement learning for power systems
We propose a computationally efficient approach to safe reinforcement learning (RL) for
frequency regulation in power systems with high levels of variable renewable energy …
frequency regulation in power systems with high levels of variable renewable energy …
Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts
In this paper, we focus on the problem of compositional synthesis of controllers enforcing
signal temporal logic (STL) tasks over a class of continuous-time nonlinear interconnected …
signal temporal logic (STL) tasks over a class of continuous-time nonlinear interconnected …
Generalization of safe optimal control actions on networked multiagent systems
In this article, we propose a unified framework to instantly generate a safe optimal control
action for a new task from existing controllers on multiagent systems. The control action …
action for a new task from existing controllers on multiagent systems. The control action …
Towards a theory of control architecture: A quantitative framework for layered multi-rate control
This paper focuses on the need for a rigorous theory of layered control architectures (LCAs)
for complex engineered and natural systems, such as power systems, communication …
for complex engineered and natural systems, such as power systems, communication …
High‐order control barrier functions‐based optimization control for time‐varying nonlinear systems with full‐state constraints: A dynamic sub‐safe set approach
This study focuses on the problems of safety control and stabilization for time‐varying
nonlinear systems in the presence of time‐varying full‐state constraints. High‐order control …
nonlinear systems in the presence of time‐varying full‐state constraints. High‐order control …
Composition of behavioural assume–guarantee contracts
The growing complexity of modern engineering systems necessitates a method for design
and analysis that is inherently modular. Methods based on using contracts for system design …
and analysis that is inherently modular. Methods based on using contracts for system design …
Invariant sets for assume-guarantee contracts
Contract theory is a powerful tool to reason on systems that are interacting with an external
environment, possibly made of other systems. Formally, a contract is usually given by …
environment, possibly made of other systems. Formally, a contract is usually given by …
Formally verified self-adaptation of an incubator digital twin
The performance and reliability of Cyber-Physical Systems are increasingly aided through
the use of digital twins, which mirror the static and dynamic behaviour of a Cyber-Physical …
the use of digital twins, which mirror the static and dynamic behaviour of a Cyber-Physical …
A unified framework for online data-driven predictive control with robust safety guarantees
Despite great successes, model predictive control (MPC) relies on an accurate dynamical
model and requires high onboard computational power, impeding its wider adoption in …
model and requires high onboard computational power, impeding its wider adoption in …