中文
相关论文

相关论文: Bounded-Time Nonblocking Supervisory Control of Ti…

200 篇论文

This paper proposes a supervisory control structure for networked systems with time-varying delays. The control structure, in which a supervisor triggers the most appropriate controller from a multi-controller unit, aims at improving the…

系统与控制 · 计算机科学 2013-03-28 Burak Demirel , Corentin Briat , Mikael Johansson

We extend the work in New J. Phys. 19, 103015 (2017) by deriving a lower bound for the minimum time necessary to implement a unitary transformation on a generic, closed quantum system with an arbitrary number of classical control fields.…

量子物理 · 物理学 2018-07-04 Juneseo Lee , Christian Arenz , Herschel Rabitz , Benjamin Russell

A multi-class single-server queueing model with finite buffers, in which scheduling and admission of customers are subject to control, is studied in the moderate deviation heavy traffic regime. A risk-sensitive cost set over a finite time…

概率论 · 数学 2018-05-02 Rami Atar , Asaf Cohen

In this paper, a method to synthesize controllers using finite time convergence control barrier functions guided by linear temporal logic specifications for continuous time multi-agent dynamical systems is proposed. Finite time convergence…

系统与控制 · 计算机科学 2018-08-08 Mohit Srinivasan , Samuel Coogan , Magnus Egerstedt

This paper studies an optimal control problem for a string of vehicles with safety requirements and finite-time specifications on the approach time to a target region. Our problem formulation is motivated by scenarios involving autonomous…

最优化与控制 · 数学 2017-07-14 Pavankumar Tallapragada , Jorge Cortes

We propose a quantum-assisted framework for solving constrained finite-horizon nonlinear optimal control problems using a barrier Sequential Quadratic Programming (SQP) approach. Within this framework, a quantum subroutine is incorporated…

量子物理 · 物理学 2025-10-22 Nahid Binandeh Dehaghani , Rafal Wisniewski , A. Pedro Aguiar

This paper addresses the balanced control between performance and saturation for a class of constrained nonlinear systems, including the branches: balanced command filtered backstepping (BCFB) and balanced performance control (BPC). To…

系统与控制 · 电气工程与系统科学 2022-05-11 Peng Wang , Haibin Wang , Shuzhi Sam Ge , Xiaobing Zhang

We consider an infinite horizon discounted optimal control problem for piecewise deterministic Markov processes, where a piecewise open-loop control acts continuously on the jump dynamics and on the deterministic flow. For this class of…

最优化与控制 · 数学 2015-12-08 Elena Bandini

This paper introduces the notion of quantitative resilience of a control system. Following prior work, we study systems enduring a loss of control authority over some of their actuators. Such a malfunction results in actuators producing…

系统与控制 · 电气工程与系统科学 2022-01-03 Jean-Baptiste Bouvier , Kathleen Xu , Melkior Ornik

We present a Pontryagin maximum principle for discrete time optimal control problems with (a) pointwise constraints on the control actions and the states, (b) frequency constraints on the control and the state trajectories, and (c)…

系统与控制 · 电气工程与系统科学 2024-12-20 Shruti Kotpalliwar , Pradyumna Paruchuri , Debasish Chatterjee , Ravi Banavar

For a broad class of nonlinear systems, we formulate the problem of guaranteeing safety with optimality under constraints. Specifically, we define controlled safety for differential inclusions with constraints on the states and the inputs.…

最优化与控制 · 数学 2022-11-24 Masoumeh Ghanbarpour , Axton Isaly , Ricardo G. Sanfelice , Warren E. Dixon

This paper considers the relaxed version of the transport problem for general nonlinear control systems, where the objective is to design time-varying feedback laws that transport a given initial probability measure to a target probability…

系统与控制 · 计算机科学 2018-07-27 Karthik Elamvazhuthi , Piyush Grover , Spring Berman

We consider networks of processes that all execute the same finite-state protocol and communicate via a rendez-vous mechanism. When a process requests a rendez-vous, another process can respond to it and they both change their control…

计算机科学中的逻辑 · 计算机科学 2023-07-11 Lucie Guillou , Arnaud Sangnier , Nathalie Sznajder

This paper studies a Coded Event-triggered Control (CEC) for a class of nonlinear systems under any initial condition. To reduce communication burden, the CEC is designed from the encoding-decoding viewpoint by which only $m$-length string…

系统与控制 · 电气工程与系统科学 2024-05-14 Ruihang Ji , Shuzhi Sam Ge , Kai Zhao

In this article, we investigate the problem of simultaneously steering an uncountable family of finite dimensional time-varying linear systems. We call this class of control problems Ensemble Control, a notion coming from the study of spin…

动力系统 · 数学 2008-10-29 Jr-Shin Li

We study the temporal robustness of temporal logic specifications and show how to design temporally robust control laws for time-critical control systems. This topic is of particular interest in connected systems and interleaving processes…

系统与控制 · 电气工程与系统科学 2022-07-26 Alëna Rodionova , Lars Lindemann , Manfred Morari , George J. Pappas

This paper proposes a finitely terminating algorithm to solve reach-and-stay control problems for nonlinear systems. The algorithm is guaranteed to return a control strategy if the specification is robustly realizable. Such a feature is…

最优化与控制 · 数学 2020-04-17 Yinan Li , Jun Liu

We propose an {\em implementable} numerical scheme for the discretization of linear-quadratic optimal control problems involving SDEs in higher dimensions with {\em control constraint}. For time discretization, we employ the implicit Euler…

偏微分方程分析 · 数学 2024-12-12 Abhishek Chaudhary

Bounded-rate multi-mode systems are hybrid systems that can switch among a finite set of modes. Its dynamics is specified by a finite number of real-valued variables with mode-dependent rates that can vary within given bounded sets. Given…

计算机科学中的逻辑 · 计算机科学 2014-12-12 Devendra Bhave , Sagar Jha , Shankara Narayanan Krishna , Sven Schewe , Ashutosh Trivedi

This work is concerned with developing a data-driven approach for learning control barrier certificates (CBCs) and associated safety controllers for discrete-time nonlinear polynomial systems with unknown mathematical models, guaranteeing…

系统与控制 · 电气工程与系统科学 2024-09-17 Behrad Samari , Omid Akbarzadeh , Mahdieh Zaker , Abolfazl Lavaei