21 citations · 200 across the 126 of their papers we have counts for
25 papers · 1 filter
Symbolic Abstractions for Nonlinear Control Systems via Feedback Refinement Relation
Wei Ren, Dimos V. Dimarogonas
This paper studies the construction of symbolic abstractions for nonlinear control systems via feedback refinement relation. Both the delay-free and time-delay cases are addressed.…
Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems
Wei Ren, Dimos V. Dimarogonas
This paper studies the construction of dynamic symbolic abstractions for nonlinear control systems via dynamic quantization. Since computational complexity is a fundamental problem…
Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems
Wei Ren, Dimos V. Dimarogonas
This paper studies symbolic abstractions for nonlinear control systems using logarithmic quantization. With a logarithmic quantizer, we approximate the state and input sets, and th…
Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks
Lars Lindemann, Dimos V. Dimarogonas
We study the problem of controlling multi-agent systems under a set of signal temporal logic tasks. Signal temporal logic is a formalism that is used to express time and space cons…
Event-triggered Feedback Control for Signal Temporal Logic Tasks
Lars Lindemann, Dipankar Maity, John S. Baras +1
A framework for the event-triggered control synthesis under signal temporal logic (STL) tasks is proposed. In our previous work, a continuous-time feedback control law was designed…
Symmetry Reduction in Optimal Control of Multiagent Systems on Lie Groups
Leonardo Colombo, Dimos V. Dimarogonas
We study the reduction of degrees of freedom for the equations that determine necessary optimality conditions for extrema in an optimal control problem for a multiagent system by e…