Christos K. Verginis
- 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, Verginis, Christos K., Dimos V. Dimarogonas +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)
- 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ć, Fengze Xie, Lapandić, Dženan +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
- A Nonlinear Model Predictive Control Scheme for Cooperative Manipulation\n with Singularity and Collision Avoidance
2017/05/03 by Alexandros Nikou, Christos K. Verginis, Nikou, Alexandros +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
- Verifiable Reinforcement Learning Systems via Compositionality
2023/09/09 by Cyrus Neary, Neary, Cyrus, Aryaman Singh Samyal +7 · 2 citations
Computer Science · #Reinforcement Learning in Robotics #Adversarial Robustness in Machine Learning
- On Minimizing Total Discounted Cost in MDPs Subject to Reachability Constraints
2021/03/16 by Yagiz Savas, Savas, Yagiz, Christos K. Verginis +5 · 1 citation
Computer Science · #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC)
- Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics
2022/04/20 by Christos K. Verginis, Cevahir Köprülü, Verginis, Christos +5 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Receptor Mechanisms and Signaling #Reinforcement Learning in Robotics #Systems and Control (eess.SY) #electronic engineering #information engineering
- 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