arXiv subjects

Dimos V. Dimarogonas

Publications and source records attributed to Dimos V. Dimarogonas.

At least 163 records · Page 9Linked to original sources

arXiv2019

Gradient-Based STL Control with Application to Nonholonomic Systems

In this paper, we study the control of dynamical systems under temporal logic task specifications using gradient-based methods relying on quantitative measures that express the extent to which the tasks are satisfied. A class of controllers capable of providing satisfaction guarantees for simple systems and specifications is introduced and then extended for the case of unicycle-like dynamics. The possibility of combining such controllers in order to tackle more complex task specifications while retaining their computational efficiency is examined, and the practicalities related to an effective combination are demonstrated through a simulation study. The introduced framework for controller design lays ground for future work in the direction of effectively combining such elementary controllers for the purpose of aiding exploration in learning algorithms.

eess.SY↗

arXiv2019

Decentralized Control of Uncertain Multi-Agent Systems with Connectivity Maintenance and Collision Avoidance

This paper addresses the problem of navigation control of a general class of uncertain nonlinear multi-agent systems in a bounded workspace of $\mathbb{R}^n$ with static obstacles. In particular, we propose a decentralized control protocol such that each agent reaches a predefined position at the workspace, while using only local information based on a limited sensing radius. The proposed scheme guarantees that the initially connected agents remain always connected. In addition, by introducing certain distance constraints, we guarantee inter-agent collision avoidance, as well as, collision avoidance with the obstacles and the boundary of the workspace. The proposed controllers employ a class of Decentralized Nonlinear Model Predictive Controllers (DNMPC) under the presence of disturbances and uncertainties. Finally, simulation results verify the validity of the proposed framework.

eess.SY↗

arXiv2019

Decentralized Tube-based Model Predictive Control of Uncertain Nonlinear Multi-Agent Systems

This paper addresses the problem of decentralized tube-based nonlinear Model Predictive Control (NMPC) for a class of uncertain nonlinear continuous-time multi-agent systems with additive and bounded disturbance. In particular, the problem of robust navigation of a multi-agent system to predefined states of the workspace while using only local information is addressed, under certain distance and control input constraints. We propose a decentralized feedback control protocol that consists of two terms: a nominal control input, which is computed online and is the outcome of a Decentralized Finite Horizon Optimal Control Problem (DFHOCP) that each agent solves at every sampling time, for its nominal system dynamics; and an additive state feedback law which is computed offline and guarantees that the real trajectories of each agent will belong to a hyper-tube centered along the nominal trajectory, for all times. The volume of the hyper-tube depends on the upper bound of the disturbances as well as the bounds of the derivatives of the dynamics. In addition, by introducing certain distance constraints, the proposed scheme guarantees that the initially connected agents remain connected for all times. Under standard assumptions that arise in nominal NMPC schemes, controllability assumptions as well as communication capabilities between the agents, we guarantee that the multi-agent system is ISS (Input to State Stable) with respect to the disturbances, for all initial conditions satisfying the state constraints. Simulation results verify the correctness of the proposed framework.

eess.SY↗

arXiv2019

Robust Tube-based Model Predictive Control for Time-constrained Robot Navigation

This paper deals with the problem of time-constrained navigation of a robot modeled by uncertain nonlinear non-affine dynamics in a bounded workspace of $\mathbb{R}^n$. Initially, we provide a novel class of robust feedback controllers that drive the robot between Regions of Interest (RoI) of the workspace. The control laws consists of two parts: an on-line controller which is the outcome of a Finite Horizon Optimal Control Problem (FHOCP); and a backstepping feedback law which is tuned off-line and guarantees that the real trajectory always remains in a bounded hyper-tube centered along the nominal trajectory of the robot. The proposed controller falls within the so-called tube-based Nonlinear Model Predictive control (NMPC) methodology. Then, given a desired high-level specification for the robot in Metric Interval Temporal Logic (MITL), by utilizing the aforementioned controllers, a framework that provably guarantees the satisfaction of the formula is provided. The proposed framework can handle the rich expressiveness of MITL in both safety and reachability specifications. Finally, the proposed framework is validated by numerical simulations.

eess.SY↗

arXiv2019

A Tube-based MPC Scheme for Interaction Control of Underwater Vehicle Manipulator Systems

Over the last years, the development of Autonomous Underwater Vehicles (AUV) with attached robotic manipulators, the so-called Underwater Vehicle Manipulator System (UVMS), has gained significant research attention, due to the ability of interaction with underwater environments. In such applications, force/torque controllers which guarantee that the end-effector of the UVMS applies desired forces/torques towards the environment, should be designed in a way that state and input constraints are taken into consideration. Furthermore, due to their complicated structure, unmodeled dynamics as well as external disturbances may arise. Motivated by this, we proposed a robust Model Predicted Control Methodology (NMPC) methodology which can handle the aforementioned constraints in an efficient way and it guarantees that the end-effector is exerting the desired forces/torques towards the environment. Simulation results verify the validity of the proposed framework.

math.OC↗

arXiv2019

Design and Experimental Validation of Tube-based MPC for Timed-constrained Robot Planning

This paper deals with the design and experimental validation of a state-of-the art tube-based Model Predictive Control (MPC) for achieving time-constrained tasks. Given the uncertain nonlinear dynamics of the robot as well as a high-level task written in Metric Interval Temporal Logic (MITL), the goal is to design a feedback control law that guarantees the satisfaction of the task. The workspace is divided into Regions of Interest (RoI) and contains also unsafe regions (obstacles) that the robot should not visit. The feedback control law consists of two terms: a control input which is the outcome of a Finite Horizon Optimal Control (FHOCP); and a state feedback law that guarantees that the nominal trajectories are bounded within a tube centered along the nominal trajectories. The aforementioned control law guarantees that the robot is safely navigated through the RoI within certain time bounds. The proposed framework can handle the rich expressiveness of MITL and is experimentally tested with a Nexus mobile robot in our lab facilities. The experimental results show that the proposed framework is promising for solving real-life robotic as well as industrial problems.

eess.SY↗

arXiv2019

Robust Trajectory Tracking Control for Underactuated Autonomous Underwater Vehicles

Motion control of underwater robotic vehicles is a demanding task with great challenges imposed by external disturbances, model uncertainties and constraints of the operating workspace. Thus, robust motion control is still an open issue for the underwater robotics community. In that sense, this paper addresses the tracking control problem or 3D trajectories for underactuated underwater robotic vehicles operating in a constrained workspace including obstacles. In particular, a robust Nonlinear Model Predictive Control (NMPC) scheme is presented for the case of underactuated Autonomous Underwater Vehicles (AUVs) (i.e., vehicles actuated only in surge, heave and yaw). The purpose of the controller is to steer the underactuated AUV to a desired trajectory with guaranteed input and state constraints within a partially known and dynamic environment where the knowledge of the operating workspace is constantly updated on-line via the vehicle's on-board sensors. In particular, by considering a ball that covers the volume of the system, obstacle avoidance with any of the detected obstacles is guaranteed, despite the model dynamic uncertainties and the presence of external disturbances representing ocean currents and waves. The proposed feedback control law consists of two parts: an online law which is the result of a Finite Horizon Optimal Control Problem (FHOCP) solved for the nominal dynamics; and a state feedback law which is tuned off-line and guarantees that the real trajectories remain bound in a hyper-tube centered along the nominal trajectories for all times. Finally, a simulation study verifies the performance and efficiency of the proposed approach.

cs.RO↗

arXiv2019

A symbolic approach to the self-triggered design for networked control systems

In this paper, we investigate novel self-triggered controllers for nonlinear control systems with reachability and safety specifications. To synthesize the self-triggered controller, we leverage the notion of symbolic models, or abstractions, which represent abstracted expressions of control systems. The symbolic models will be constructed through the concepts of approximate alternating simulation relations, based on which, and by employing a reachability game, the self-triggered controller is synthesized. We illustrate the effectiveness of the proposed approach through numerical simulations.

math.OC↗

arXiv2019

A Framework for Depth Estimation and Relative Localization of Ground Robots using Computer Vision

The 3D depth estimation and relative pose estimation problem within a decentralized architecture is a challenging problem that arises in missions that require coordination among multiple vision-controlled robots. The depth estimation problem aims at recovering the 3D information of the environment. The relative localization problem consists of estimating the relative pose between two robots, by sensing each other's pose or sharing information about the perceived environment. Most solutions for these problems use a set of discrete data without taking into account the chronological order of the events. This paper builds on recent results on continuous estimation to propose a framework that estimates the depth and relative pose between two non-holonomic vehicles. The basic idea consists in estimating the depth of the points by explicitly considering the dynamics of the camera mounted on a ground robot, and feeding the estimates of 3D points observed by both cameras in a filter that computes the relative pose between the robots. We evaluate the convergence for a set of simulated scenarios and show experimental results validating the proposed framework.

cs.RO↗

arXiv2019

Motion Feasibility Conditions for Multi-Agent Control Systems on Lie Groups

We study the problem of motion feasibility for multiagent control systems on Lie groups with collision avoidance constraints. We first consider the problem for kinematic left invariant control systems and next, for dynamical control systems given by a left-trivialized Lagrangian function. Solutions of the kinematic problem give rise to linear combinations of the control inputs in a linear subspace annihilating the collision avoidance constraints. In the dynamical problem, motion feasibility conditions are obtained by using techniques from variational calculus on manifolds, given by a set of equations in a vector space, and Lagrange multipliers annihilating the constraint force that prevents deviation of solutions from a constraint submanifold.

eess.SY↗

arXiv2019

Consensus Control for Leader-follower Multi-agent Systems under Prescribed Performance Guarantees

This paper addresses the problem of distributed control for leader-follower multi-agent systems under prescribed performance guarantees. Leader-follower is meant in the sense that a group of agents with external inputs are selected as leaders in order to drive the group of followers in a way that the entire system can achieve consensus within certain prescribed performance transient bounds. Under the assumption of tree graphs, a distributed control law is proposed when the decay rate of the performance functions is within a sufficient bound. Then, two classes of tree graphs that can have additional followers are investigated. Finally, several simulation examples are given to illustrate the results.

cs.MA↗

arXiv2019

Distributed L1-state-and-fault estimation for Multi-agent systems

In this paper, we propose a distributed state-and-fault estimation scheme for multi-agent systems. The proposed estimator is based on an $\ell_1$-norm optimization problem, which is inspired by sparse signal recovery in the field of compressive sampling. Two theoretical results are given to analyze the correctness of the proposed approach. First, we provide a necessary and sufficient condition such that state and fault signals are correctly estimated. The result presents a fundamental limitation of the algorithm, which shows how many faulty nodes are allowed to ensure a correct estimation. Second, we provide a sufficient condition for the estimation error of fault signals when numerical errors of solving the optimization problem are present. An illustrative example is given to validate the effectiveness of the proposed approach.

math.OC↗

arXiv2019

Prescribed Performance Control Guided Policy Improvement for Satisfying Signal Temporal Logic Tasks

Signal temporal logic (STL) provides a user-friendly interface for defining complex tasks for robotic systems. Recent efforts aim at designing control laws or using reinforcement learning methods to find policies which guarantee satisfaction of these tasks. While the former suffer from the trade-off between task specification and computational complexity, the latter encounter difficulties in exploration as the tasks become more complex and challenging to satisfy. This paper proposes to combine the benefits of the two approaches and use an efficient prescribed performance control (PPC) base law to guide exploration within the reinforcement learning algorithm. The potential of the method is demonstrated in a simulated environment through two sample navigational tasks.

eess.SY↗

arXiv2019

A Hybrid Controller for Obstacle Avoidance in an n-dimensional Euclidean Space

For a vehicle moving in an $n$-dimensional Euclidean space, we present a construction of a hybrid feedback that guarantees both global asymptotic stabilization of a reference position and avoidance of an obstacle corresponding to a bounded spherical region. The proposed hybrid control algorithm switches between two modes of operation: stabilization (motion-to-goal) and avoidance (boundary-following). The geometric construction of the flow and jump sets of the hybrid controller, exploiting a hysteresis region, guarantees robust switching (chattering-free) between the stabilization and avoidance modes. Simulation results illustrate the performance of the proposed hybrid control approach for a 3-dimensional scenario.

eess.SY↗

arXiv2019

Hierarchical decomposition of LTL synthesis problem for nonlinear control systems

This paper deals with the control synthesis problem for a continuous nonlinear dynamical system under a Linear Temporal Logic (LTL) formula. The proposed solution is a top-down hierarchical decomposition of the control problem involving three abstraction layers of the problem, iteratively solved from the coarsest to the finest. The LTL planning is first solved on a small transition system only describing the regions of interest involved in the LTL formula. For each pair of consecutive regions of interest in the resulting accepting path satisfying the LTL formula, a discrete plan is then constructed in the partitioned workspace to connect these two regions while avoiding unsafe regions. Finally, an abstraction refinement approach is applied to synthesize a controller for the dynamical system to follow each discrete plan. The second main contribution, used in the third abstraction layer, is a new monotonicity-based method to over-approximate the finite-time reachable set of any continuously differentiable system. The proposed framework is demonstrated in simulation for a motion planning problem of a mobile robot modeled as a disturbed unicycle.

eess.SY↗

arXiv2019

Synthesizing communication plans for reachability and safety specifications

We propose control and communication strategies for nonlinear networked control systems subject to state and input constraints. The objective is to steer the state of the system towards a prescribed target set in finite time (\textit{reachability}), while at the same time remaining inside a safety set for all time (\textit{safety}). By leveraging the notion of $δ$-ISS control Lyapunov function, we derive a sufficient condition to generate a communication scheduling, such that the resulting state trajectory guarantees reachability and safety. Moreover, in order to alleviate computational burden we present a way to find a suitable communication scheduling by implementing abstraction schemes and standard graph search methodologies. Simulation examples validate the effectiveness of the proposed approach.

math.OC↗

arXiv2019

Robust Control for Signal Temporal Logic Specifications using Average Space Robustness

Control systems that satisfy temporal logic specifications have become increasingly popular due to their applicability to robotic systems. Existing control methods, however, are computationally demanding, especially when the problem size becomes too large. In this paper, a robust and computationally efficient model predictive control framework for signal temporal logic specifications is proposed. We introduce discrete average space robustness, a novel quantitative semantic for signal temporal logic, that is directly incorporated into the cost function of the model predictive controller. The optimization problem entailed in this framework can be written as a convex quadratic program when no disjunctions are considered and results in a robust satisfaction of the specification. Furthermore, we define the predicate robustness degree as a new robustness notion. Simulations of a multi-agent system subject to complex specifications demonstrate the efficacy of the proposed method.

eess.SY↗

arXiv2019

Robust Cooperative Manipulation without Force/Torque Measurements: Control Design and Experiments

This paper presents two novel control methodologies for the cooperative manipulation of an object by N robotic agents. Firstly, we design an adaptive control protocol which employs quaternion feedback for the object orientation to avoid potential representation singularities. Secondly, we propose a control protocol that guarantees predefined transient and steady-state performance for the object trajectory. Both methodologies are decentralized, since the agents calculate their own signals without communicating with each other, as well as robust to external disturbances and model uncertainties. Moreover, we consider that the grasping points are rigid, and avoid the need for force/torque measurements. Load distribution is also included via a grasp matrix pseudo-inverse to account for potential differences in the agents' power capabilities. Finally, simulation and experimental results with two robotic arms verify the theoretical findings.

cs.RO↗