English
Related papers

Related papers: Anytime Control using Input Sequences with Markovi…

200 papers

We show that for several variations of partially observable Markov decision processes, polynomial-time algorithms for finding control policies are unlikely to or simply don't have guarantees of finding policies within a constant factor or a…

Artificial Intelligence · Computer Science 2011-06-02 J. Goldsmith , C. Lusena , M. Mundhenk

This paper concerns the risk-aware control of stochastic systems with temporal logic specifications dynamically assigned during runtime. Conventional risk-aware control typically assumes that all specifications are predefined and remain…

Systems and Control · Electrical Eng. & Systems 2024-05-01 Maico H. W. Engelaar , Zengjie Zhang , Mircea Lazar , Sofie Haesaert

We consider a stochastic, dynamic job scheduling problem, formulated as a queueing control problem, in which a single server processes jobs of different types that arrive according to independent Poisson processes. The problem is defined on…

Optimization and Control · Mathematics 2025-09-09 Dongnuan Tian , Rob Shone

We consider the synthesis of control policies for probabilistic systems, modeled by Markov decision processes, operating in partially known environments with temporal logic specifications. The environment is modeled by a set of Markov…

Logic in Computer Science · Computer Science 2012-03-07 Tichakorn Wongpiromsarn , Emilio Frazzoli

Solving optimal control problems to determine a stabilizing controller involves a significant computational effort. Time-varying optimal control provides a remedy by designing a tracking system, given as an ordinary differential equation,…

Systems and Control · Electrical Eng. & Systems 2026-04-16 Patrick Schmidt , Stefan Streif

We study risk-sensitive control of continuous time Markov chains taking values in discrete state space. We study both finite and infinite horizon problems. In the finite horizon problem we characterise the value function via HJB equation…

Optimization and Control · Mathematics 2014-09-16 Mrinal K. Ghosh , Subhamay Saha

The maximization of reach-avoid probabilities for stochastic systems is a central topic in the control literature. Yet, the available methods are either restricted to low-dimensional systems or suffer from conservative approximations. To…

Optimization and Control · Mathematics 2026-01-26 Niklas Schmid , Jaeyoun Choi , Oswin So , Chuchu Fan

It is an interesting open problem to achieve adaptive prescribed-time control for strict-feedback systems with unknown and fast or even abrupt time-varying parameters. In this paper we present a solution with the aid of several design and…

Systems and Control · Electrical Eng. & Systems 2022-10-25 Hefu Ye , Yongduan Song

Consumption Markov Decision Processes (CMDPs) are probabilistic decision-making models of resource-constrained systems. In a CMDP, the controller possesses a certain amount of a critical resource, such as electric power. Each action of the…

Formal Languages and Automata Theory · Computer Science 2020-05-18 František Blahoudek , Tomáš Brázdil , Petr Novotný , Melkior Ornik , Pranay Thangeda , Ufuk Topcu

In this paper, we propose a new policy iteration algorithm to compute the value function and the optimal controls of continuous time stochastic control problems. The algorithm relies on successive approximations using linear-quadratic…

Optimization and Control · Mathematics 2024-09-09 Dylan Possamaï , Ludovic Tangpi

In this article, we investigate a dynamic control problem of a production-inventory system. Here, demands arrive at the production unit according to a Poisson process and are processed in an FCFS manner. The processing time of the…

Optimization and Control · Mathematics 2024-08-06 Subrata Golui , Chandan Pal , Manikandan R. , Abhay Sobhanan

We present an algorithm for controlling and scheduling multiple linear time-invariant processes on a shared bandwidth limited communication network using adaptive sampling intervals. The controller is centralized and computes at every…

Systems and Control · Computer Science 2015-06-25 Erik Henriksson , Daniel E. Quevedo , Edwin G. W. Peters , Henrik Sandberg , Karl Henrik Johansson

Integrated task and motion planning has emerged as a challenging problem in sequential decision making, where a robot needs to compute high-level strategy and low-level motion plans for solving complex tasks. While high-level strategies…

Artificial Intelligence · Computer Science 2018-02-19 Siddharth Srivastava , Nishant Desai , Richard Freedman , Shlomo Zilberstein

A novel perspective on the design of robust model predictive control (MPC) methods is presented, whereby closed-loop constraint satisfaction is ensured using recursive feasibility of the MPC optimization. Necessary and sufficient conditions…

Systems and Control · Electrical Eng. & Systems 2023-03-21 Anilkumar Parsi , Marcell Bartos , Amber Srivastava , Sebastien Gros , Roy S. Smith

We investigate the conditions under which an uncontrollable background processes may be harnessed by an agent to perform a task that would otherwise be impossible within their operational framework. This situation can be understood from the…

Quantum Physics · Physics 2021-04-21 Graeme D. Berk , Andrew J. P. Garner , Benjamin Yadin , Kavan Modi , Felix A. Pollock

We present the conditions under which the time-optimal control problem for a nonlinear non-autonomous linearizable system can be solved by the method of successive approximations, at each step of which a power Markov moment min-problem is…

Optimization and Control · Mathematics 2022-03-17 Katerina V. Sklyar , Svetlana Yu. Ignatovich

The robust tracking and model following problem of linear discrete-time systems is investigated in this paper. An approach to design robust tracking controllers is proposed. The system is controlled to track dynamic inputs generated from a…

Systems and Control · Computer Science 2016-07-12 Omar Zakary , Mostafa Rachik

Consider the following multi-phase project management problem. Each project is divided into several phases. All projects enter the next phase at the same point chosen by the decision maker based on observations up to that point. Within each…

Statistics Theory · Mathematics 2007-06-13 Hock Peng Chan , Cheng-Der Fuh , Inchi Hu

A robust model predictive control scheme for a class of constrained norm-bounded uncertain discrete-time linear systems is developed under the hypothesis that only partial state measurements are available for feedback. Off-line calculations…

Systems and Control · Computer Science 2018-07-23 Giuseppe Franzè , Massimiliano Mattei , Luciano Ollio , Valerio Scordamaglia

As the digital world enters further into everyday life, questions are raised about the increasing challenges brought by the interaction of real-time software with physical devices. Many accidents and incidents encountered in areas as…

Software Engineering · Computer Science 2008-09-30 Eric Feron , Fernando Alegre