Dimarogonas, Dimos V.
- Learning Control Barrier Functions from Expert Demonstrations
2020/04/07 by Robey, Alexander, Hu, Haimin, Lindemann, Lars +4 · 19 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- High-order Barrier Functions: Robustness, Safety and Performance-Critical Control
2021/03/31 by Xiao Tan, Wenceslao Shaw Cortez, Tan, Xiao +3 · 16 citations
Engineering · #Adaptive Control of Nonlinear Systems #Advanced Control Systems Optimization #FOS: Electrical engineering #Real-time simulation and control systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- On Robustness Metrics for Learning STL Tasks
2020/03/12 by Varnai, Peter, Dimarogonas, Dimos V. · 4 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Barrier Function-based Collaborative Control of Multiple Robots under\n Signal Temporal Logic Tasks
2021/02/04 by Lars Lindemann, Lindemann, Lars, Dimos V. Dimarogonas +1 · 4 citations
Computer Science · Engineering · #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Modular Robots and Swarm Intelligence #Optimization and Control (math.OC) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- On the Undesired Equilibria Induced by Control Barrier Function Based Quadratic Programs
2021/04/30 by Xiao Tan, Dimos V. Dimarogonas, Tan, Xiao +1 · 4 citations
Engineering · #Advanced Control Systems Optimization #Stability and Control of Uncertain Systems #Adaptive Control of Nonlinear Systems
- Prescribed Performance Control for Signal Temporal Logic Specifications
2017/03/21 by Lars Lindemann, Christos K. Verginis, Lindemann, Lars +3 · 3 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Mathematics #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Optimization and Control (math.OC)
- KDF: Kinodynamic Motion Planning via Geometric Sampling-based Algorithms and Funnel Control
2021/04/24 by Christos K. Verginis, Dimos V. Dimarogonas, Verginis, Christos K. +3 · 4 citations
Computer Science · Engineering · #Computational Geometry and Mesh Generation #Evacuation and Crowd Dynamics #FOS: Computer and information sciences #Robotic Path Planning Algorithms #Robotics (cs.RO)
- Learning Hybrid Control Barrier Functions from Data
2020/11/08 by Lars Lindemann, Haimin Hu, Lindemann, Lars +11 · 4 citations
Engineering · #Advanced Control Systems Optimization #Fault Detection and Control Systems #Smart Grid Security and Resilience
- Compatibility checking of multiple control barrier functions for input constrained systems
2022/09/06 by Xiao Tan, Tan, Xiao, Dimos V. Dimarogonas +1 · 4 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Online Control Synthesis for Uncertain Systems under Signal Temporal Logic Specifications
2021/03/16 by Pian Yu, Yu, Pian, Yulong Gao +7 · 3 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safe-by-Design Control for Euler-Lagrange Systems
2020/09/08 by Cortez, Wenceslao Shaw, Dimarogonas, Dimos V. · 3 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Fuel-Efficient En Route Formation of Truck Platoons
2017/04/28 by Sebastian van de Hoef, Karl Henrik Johansson, van de Hoef, Sebastian +3 · 2 citations
Engineering · Social Sciences · #FOS: Electrical engineering #Systems and Control (eess.SY) #Traffic control and management #Transportation Planning and Optimization #Urban and Freight Transport Logistics #electronic engineering #information engineering
- Consensus Control for Leader-follower Multi-agent Systems under Prescribed Performance Guarantees
2019/04/29 by Fei Chen, Chen, Fei, Dimos V. Dimarogonas +1 · 2 citations
Computer Science · Engineering · #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Electrical engineering #Multiagent Systems (cs.MA) #Smart Grid Security and Resilience #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Continuous-time control synthesis under nested signal temporal logic specifications
2023/09/17 by Yu, Pian, Tan, Xiao, Dimarogonas, Dimos V. · 4 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safe, Passive Control for Mechanical Systems with Application to Physical Human-Robot Interactions
2020/11/03 by Cortez, Wenceslao Shaw, Verginis, Christos, Dimarogonas, Dimos V. · 2 citations
#FOS: Computer and information sciences #Robotics (cs.RO)
- Robust Formation Control in SE(3) for Tree-Graph Structures with Prescribed Transient and Steady State Performance
2018/03/20 by Christos K. Verginis, Verginis, Christos K., Alexandros Nikou +3 · 2 citations
Computer Science · Engineering · #Distributed Control Multi-Agent Systems #FOS: Electrical engineering #Modular Robots and Swarm Intelligence #Robotic Locomotion and Control #Systems and Control (eess.SY) #electronic engineering #information engineering
- Meta-Learning Augmented MPC for Disturbance-Aware Motion Planning and Control of Quadrotors
2024/10/08 by Dženan Lapandić, Lapandić, Dženan, Fengze Xie +9 · 5 citations
Engineering · Physics and Astronomy · #Advanced Control Systems Optimization #Real-time simulation and control systems #Model Reduction and Neural Networks
- Robust Distributed Control Protocols for Large Vehicular Platoons with\n Prescribed Transient and Steady State Performance
2017/01/23 by Christos K. Verginis, Charalampos P. Bechlioulis, Verginis, Christos K. +5 · 2 citations
Engineering · #Traffic control and management #Vehicular Ad Hoc Networks (VANETs) #Vehicle Dynamics and Control Systems
- State Estimation for a Class of Linear Systems with Quadratic Output
2020/06/04 by Theodosis, Dionysis, Berkane, Soulaimane, Dimarogonas, Dimos V. · 2 citations
#FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Razumikhin and Krasovskii Approaches for Safe Stabilization
2022/04/26 by Wei Ren, Ren, Wei, Raphaël M. Jungers +3 · 2 citations
Engineering · Computer Science · #Traffic control and management #Distributed Control Multi-Agent Systems #Stability and Control of Uncertain Systems
- Adaptive Fault Tolerant Execution of Multi-Robot Missions using Behavior\n Trees
2015/02/10 by Michele Colledanchise, Colledanchise, Michele, Alejandro Marzinotto +5 · 2 citations
Computer Science · #Evolutionary Algorithms and Applications #Computability, Logic, AI Algorithms #Reinforcement Learning in Robotics
- Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization
2016/10/26 by Tumova, Jana, Dimarogonas, Dimos V. · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- A Nonlinear Model Predictive Control Scheme for Cooperative Manipulation\n with Singularity and Collision Avoidance
2017/05/03 by Alexandros Nikou, Nikou, Alexandros, Christos K. Verginis +5 · 1 citation
Computer Science · Engineering · #Advanced Control Systems Optimization #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Electrical engineering #Robotic Path Planning Algorithms #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Efficient Dynamic Programming Solution to a Platoon Coordination Merge Problem With Stochastic Travel Times
2017/05/11 by Sebastian van de Hoef, van de Hoef, Sebastian, Karl Henrik Johansson +3 · 1 citation
Engineering · Social Sciences · #FOS: Electrical engineering #Systems and Control (eess.SY) #Traffic control and management #Transportation Planning and Optimization #Transportation and Mobility Innovations #electronic engineering #information engineering
- Synthesizing communication plans for reachability and safety specifications
2019/02/20 by Hashimoto, Kazumune, Dimarogonas, Dimos V. · 1 citation
#FOS: Mathematics #Optimization and Control (math.OC)
- Efficient Automata-based Planning and Control under Spatio-Temporal\n Logic Specifications
2019/09/24 by Lars Lindemann, Lindemann, Lars, Dimos V. Dimarogonas +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Constrained Stabilization on the n-Sphere
2019/10/03 by Berkane, Soulaimane, Dimarogonas, Dimos V. · 1 citation
#FOS: Mathematics #Optimization and Control (math.OC)
- Control Barrier Functions for Nonholonomic Systems under Risk Signal\n Temporal Logic Specifications
2020/04/05 by Lars Lindemann, George J. Pappas, Lindemann, Lars +3 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Model-Driven Software Engineering Techniques
- Distributed motion coordination for multi-robot systems under LTL specifications
2021/03/16 by Yu, Pian, Dimarogonas, Dimos V. · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- A continuous-time violation-free multi-agent optimization algorithm and its applications to safe distributed control
2024/04/11 by Xiao Tan, Tan, Xiao, Changxin Liu +5 · 2 citations
Computer Science · Engineering · Mathematics · #Advanced Control Systems Optimization #Distributed Control Multi-Agent Systems #FOS: Electrical engineering #FOS: Mathematics #Mathematical Biology Tumor Growth #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Reactive and Risk-Aware Control for Signal Temporal Logic
2021/08/30 by Lindemann, Lars, Pappas, George J., Dimarogonas, Dimos V. · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Event-Triggered Tracking Control of Networked Multi-Agent Systems
2022/02/22 by Wei Ren, Dimos V. Dimarogonas, Ren, Wei +1 · 1 citation
Computer Science · Engineering · #Adaptive Control of Nonlinear Systems #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Electrical engineering #Multiagent Systems (cs.MA) #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Conformal Prediction for Distribution-free Optimal Control of Linear Stochastic Systems
2024/11/28 by Eleftherios E. Vlahakis, Lars Lindemann, Vlahakis, Eleftherios E. +5 · 3 citations
Engineering · #Advanced Control Systems Optimization #Control Systems and Identification #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
2024/09/05 by Arash Bahari Kordabad, Kordabad, Arash Bahari, Eleftherios E. Vlahakis +7 · 2 citations
Computer Science · #Advanced Database Systems and Queries #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Estimating unknown dynamics and cost as a bilinear system with Koopman-based Inverse Optimal Control
2025/01/30 by Victor Nan Fernandez-Ayala, Fernandez-Ayala, Victor Nan, Shankar A. Deka +3 · 2 citations
Physics and Astronomy · Engineering · #Model Reduction and Neural Networks #Control Systems and Identification #Advanced Control Systems Optimization
- Kinodynamic Motion Planning via Funnel Control for Underactuated Unmanned Surface Vehicles
2023/07/31 by Dženan Lapandić, Christos K. Verginis, Lapandić, Dženan +5 · 1 citation
Computer Science · Engineering · #Robotic Path Planning Algorithms #Underwater Vehicles and Communication Systems #Adaptive Control of Nonlinear Systems
- A contract negotiation scheme for safety verification of interconnected systems
2023/11/06 by Tan, Xiao, Papachristodoulou, Antonis, Dimarogonas, Dimos V. · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
2024/05/05 by Vlahakis, Eleftherios E., Lindemann, Lars, Sopasakis, Pantelis +1 · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
2024/05/02 by Ren, Wei, Jungers, Raphael M., Dimarogonas, Dimos V. · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Achieving violation-free distributed optimization under coupling constraints
2024/04/11 by Changxin Liu, Xiao Tan, Liu, Changxin +7 · 1 citation
Computer Science · Engineering · Mathematics · #Advanced Control Systems Optimization #Advanced Optimization Algorithms Research #Constraint Satisfaction and Optimization #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Handling Disjunctions in Signal Temporal Logic Based Control Through Nonsmooth Barrier Functions
2022/08/23 by Wiltz, Adrian, Dimarogonas, Dimos V. · 3 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside''
2024/02/14 by Della Santina, Cosimo, Corbato, Carlos Hernandez, Sisman, Burak +28 · 1 citation
#FOS: Computer and information sciences #Robotics (cs.RO)
- Decentralized Abstractions for Feedback Interconnected Multi-Agent\n Systems
2015/02/27 by Dimitris Boskos, Boskos, Dimitris, Dimos V. Dimarogonas +1 · 1 citation
Computer Science · Decision Sciences · Engineering · #Advanced Control Systems Optimization #Distributed Control Multi-Agent Systems #FOS: Electrical engineering #Game Theory and Applications #Logic, Reasoning, and Knowledge #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness
2024/09/23 by Ernesto Casablanca, Zengjie Zhang, Casablanca, Ernesto +9 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Information and Cyber Security #Robotics (cs.RO) #Security and Verification in Computing #Smart Grid Security and Resilience
- Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
2025/03/12 by Arash Bahari Kordabad, Kordabad, Arash Bahari, Eleftherios E. Vlahakis +9 · 2 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Decision Sciences · #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Gene Regulatory Network Analysis #Optimization and Control (math.OC) #Risk and Portfolio Optimization #Systems and Control (eess.SY) #electronic engineering #information engineering
- Stability of Open Multi-agent Systems over Dynamic Signed Graphs
2025/04/30 by Pelin Sekercioglu, Angela Fontan, Sekercioglu, Pelin +3 · 1 citation
Computer Science · Physics and Astronomy · #Distributed Control Multi-Agent Systems #FOS: Electrical engineering #Neural Networks Stability and Synchronization #Opinion Dynamics and Social Influence #Systems and Control (eess.SY) #electronic engineering #information engineering
- Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
2025/04/06 by Eleftherios E. Vlahakis, Lars Lindemann, Vlahakis, Eleftherios E. +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Multiagent Systems (cs.MA) #Systems and Control (eess.SY) #electronic engineering #information engineering