activity
20152024
most citedControl Design for Risk-Based Signal Temporal Logic Specifications

21 citations · 105 across the 31 of their papers we have counts for

collaborators

52 papers

eess.SY20221 cited

Planning and Control of Multi-Robot-Object Systems under Temporal Logic Tasks and Uncertain Dynamics

Christos K. Verginis, Yiannis Kantaros, Dimos V. Dimarogonas

We develop an algorithm for the motion and task planning of a system comprised of multiple robots and unactuated objects under tasks expressed as Linear Temporal Logic (LTL) constr…

eess.SY20224 cited

Distributed Consensus of Stochastic Multi-agent Systems with Prescribed Performance Constraints

Pushpak Jagtap, Dimos V. Dimarogonas

This paper focuses on the problem of distributed consensus control of multi-agent systems while considering two main practical concerns (i) stochastic noise in the agent dynamics a…

eess.SY2021

Event-Triggered Tracking Control of Networked and Quantized Control Systems

Wei Ren, Dimos V. Dimarogonas, Raphael Jungers

This paper studies the tracking control problem of networked and quantized control systems under both multiple networks and event-triggered mechanisms. Multiple networks are to con…

eess.SY2021

Reactive and Risk-Aware Control for Signal Temporal Logic

Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas

The deployment of autonomous systems in uncertain and dynamic environments has raised fundamental questions. Addressing these is pivotal to build fully autonomous systems and requi…

cs.RO2021

KDF: Kinodynamic Motion Planning via Geometric Sampling-based Algorithms and Funnel Control

Christos K. Verginis, Dimos V. Dimarogonas, Lydia E. Kavraki

We integrate sampling-based planning techniques with funnel-based feedback control to develop KDF, a new framework for solving the kinodynamic motion-planning problem via funnel co…

eess.SY2021

High-order Barrier Functions: Robustness, Safety and Performance-Critical Control

Xiao Tan, Wenceslao Shaw Cortez, Dimos V. Dimarogonas

In this paper, we propose a notion of high-order (zeroing) barrier functions that generalizes the concept of zeroing barrier functions and guarantees set forward invariance by chec…