5,839 research outputs found
Decentralized Abstractions and Timed Constrained Planning of a General Class of Coupled Multi-Agent Systems
This paper presents a fully automated procedure for controller synthesis for
a general class of multi-agent systems under coupling constraints. Each agent
is modeled with dynamics consisting of two terms: the first one models the
coupling constraints and the other one is an additional bounded control input.
We aim to design these inputs so that each agent meets an individual high-level
specification given as a Metric Interval Temporal Logic (MITL). Furthermore,
the connectivity of the initially connected agents, is required to be
maintained. First, assuming a polyhedral partition of the workspace, a novel
decentralized abstraction that provides controllers for each agent that
guarantee the transition between different regions is designed. The controllers
are the solution of a Robust Optimal Control Problem (ROCP) for each agent.
Second, by utilizing techniques from formal verification, an algorithm that
computes the individual runs which provably satisfy the high-level tasks is
provided. Finally, simulation results conducted in MATLAB environment verify
the performance of the proposed framework
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
We address the problem of diagnosing and repairing specifications for hybrid
systems formalized in signal temporal logic (STL). Our focus is on the setting
of automatic synthesis of controllers in a model predictive control (MPC)
framework. We build on recent approaches that reduce the controller synthesis
problem to solving one or more mixed integer linear programs (MILPs), where
infeasibility of a MILP usually indicates unrealizability of the controller
synthesis problem. Given an infeasible STL synthesis problem, we present
algorithms that provide feedback on the reasons for unrealizability, and
suggestions for making it realizable. Our algorithms are sound and complete,
i.e., they provide a correct diagnosis, and always terminate with a non-trivial
specification that is feasible using the chosen synthesis method, when such a
solution exists. We demonstrate the effectiveness of our approach on the
synthesis of controllers for various cyber-physical systems, including an
autonomous driving application and an aircraft electric power system
Robust Temporal Logic Model Predictive Control
Control synthesis from temporal logic specifications has gained popularity in
recent years. In this paper, we use a model predictive approach to control
discrete time linear systems with additive bounded disturbances subject to
constraints given as formulas of signal temporal logic (STL). We introduce a
(conservative) computationally efficient framework to synthesize control
strategies based on mixed integer programs. The designed controllers satisfy
the temporal logic requirements, are robust to all possible realizations of the
disturbances, and optimal with respect to a cost function. In case the temporal
logic constraint is infeasible, the controller satisfies a relaxed, minimally
violating constraint. An illustrative case study is included.Comment: This work has been accepted to appear in the proceedings of 53rd
Annual Allerton Conference on Communication, Control and Computing,
Urbana-Champaign, IL (2015
- …