English
Related papers

Related papers: Optimal Scheduling for Linear-Rate Multi-Mode Syst…

200 papers

This paper studies optimal time-bounded control in multi-mode systems with discrete costs. Multi-mode systems are an important subclass of linear hybrid systems, in which there are no guards on transitions and all invariants are global.…

Logic in Computer Science · Computer Science 2017-06-30 Mahmoud A. A. Mousa , Sven Schewe , Dominik Wojtczak

This paper considers the problem of real-time mode scheduling in linear time-varying switched systems subject to a quadratic cost functional. The execution time of hybrid control algorithms is often prohibitive for real-time applications…

Optimization and Control · Mathematics 2017-09-04 Anastasia Mavrommati , Jarvis A. Schultz , Todd D. Murphey

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…

Logic in Computer Science · Computer Science 2014-12-12 Devendra Bhave , Sagar Jha , Shankara Narayanan Krishna , Sven Schewe , Ashutosh Trivedi

Autonomous control systems use various sensors to decrease the amount of uncertainty under which they operate. While providing partial observation of the current state of the system, sensors require resources such as energy, time and…

Logic in Computer Science · Computer Science 2016-02-29 Eva Tesarova , Maria Svorenova , Jiri Barnat , Ivana Cerna

We consider the design of an optimal collision-free sensor schedule for a number of sensors which monitor different linear dynamical systems correspondingly. At each time, only one of all the sensors can send its local estimate to the…

Systems and Control · Computer Science 2016-04-15 Han Duo , Wu Junfeng , Zhang Huanshui , Shi Ling

In this paper, we address the scheduling problem of multi-mode real-time systems upon uniform multiprocessor platforms. We propose two transition protocols, specified together with their schedulability test, and provide the reader with two…

Operating Systems · Computer Science 2010-04-22 Patrick Meumeu Yomsi , Vincent Nelis , Joël Goossens

Bounded-rate multi-mode systems (BMMS) are hybrid systems that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued variables with mode-dependent rates that can vary within given…

Logic in Computer Science · Computer Science 2013-02-05 Rajeev Alur , Vojtech Forejt , Salar Moarref , Ashutosh Trivedi

Multi-mode real-time systems are those which support applications with different modes of operation, where each mode is characterized by a specific set of tasks. At run-time, such systems can, at any time, be requested to switch from its…

Operating Systems · Computer Science 2015-03-18 Vincent Nelis , Patrick Meumeu Yomsi , Björn Andersson , Joël Goossens

Safety concerns during the operation of legged robots must be addressed to enable their widespread use. Machine learning-based control methods that use model-based constraints provide promising means to improve robot safety. This study…

Robotics · Computer Science 2023-03-07 Berk Tosun , Evren Samur

In this paper we present a hierarchical multi-rate control architecture for nonlinear autonomous systems operating in partially observable environments. Control objectives are expressed using syntactically co-safe Linear Temporal Logic…

Systems and Control · Electrical Eng. & Systems 2022-07-04 Ugo Rosolia , Andrew Singletary , Aaron D. Ames

Recently, safe reinforcement learning (RL) with the actor-critic structure for continuous control tasks has received increasing attention. It is still challenging to learn a near-optimal control policy with safety and convergence…

Machine Learning · Computer Science 2024-02-06 Xinglong Zhang , Yaoqian Peng , Biao Luo , Wei Pan , Xin Xu , Haibin Xie

Modern control systems must operate in increasingly complex environments subject to safety constraints and input limits, and are often implemented in a hierarchical fashion with different controllers running at multiple time scales. Yet…

Systems and Control · Electrical Eng. & Systems 2022-04-04 Noel Csomay-Shanklin , Andrew J. Taylor , Ugo Rosolia , Aaron D. Ames

Combining efficient and safe control for safety-critical systems is challenging. Robust methods may be overly conservative, whereas probabilistic controllers require a trade-off between efficiency and safety. In this work, we propose a…

Systems and Control · Electrical Eng. & Systems 2022-09-16 Tim Brüdigam , Robert Jacumet , Dirk Wollherr , Marion Leibold

In this paper, a modified robust model predictive control scheme is proposed for linear parametric variable (LPV) and hybrid systems based on a quasi-min-max algorithm. Using a new cost function resulted in reduced unwanted disturbances…

Systems and Control · Electrical Eng. & Systems 2023-11-30 Soroush Sadeghnejad , Farshad Khadivar , Mojtaba Esfandiari , Golchehr Amirkhani , Hamed Moradi , Farzam Farahmand , Gholamreza Vossoughi

We study the adaptive control of an unknown linear system with a quadratic cost function subject to safety constraints on both the states and actions. The challenges of this problem arise from the tension among safety, exploration,…

Systems and Control · Electrical Eng. & Systems 2021-11-02 Yingying Li , Subhro Das , Jeff Shamma , Na Li

This paper solves the robust hybrid output regulation problem for arbitrary uncertain hybrid MIMO linear systems with periodic jumps without the restrictive assumptions used in all previous works on the subject. A necessary condition for…

Systems and Control · Computer Science 2019-03-04 Giovanni de Carolis , Sergio Galeani , Mario Sassano

While artificial-intelligence-based methods suffer from lack of transparency, rule-based methods dominate in safety-critical systems. Yet, the latter cannot compete with the first ones in robustness to multiple requirements, for instance,…

Artificial Intelligence · Computer Science 2022-02-01 Andrei Aksjonov , Ville Kyrki

This paper deals with sliding mode control for multivariable polytopic uncertain systems. We provide systematic procedures to design variable structure controllers (VSCs) and unit-vector controllers (UVCs). Based on suitable representations…

Optimization and Control · Mathematics 2024-11-21 Pedro Henrique Silva Coutinho , Iury Bessa , Victor Hugo Pereira Rodrigues , Tiago Roux Oliveira

Layered control architectures have been a standard paradigm for efficiently managing complex constrained systems. A typical architecture consists of: i) a higher layer, where a low-frequency planner controls a simple model of the system,…

Systems and Control · Electrical Eng. & Systems 2025-04-15 Charis Stamouli , Anastasios Tsiamis , Manfred Morari , George J. Pappas

We present a method for optimal control with respect to a linear cost function for positive linear systems with coupled input constraints. We show that the optimal cost function and resulting sparse state feedback for these systems can be…

Optimization and Control · Mathematics 2023-11-07 David Ohlin , Emma Tegling , Anders Rantzer
‹ Prev 1 2 3 10 Next ›