147 citations · 590 across the 30 of their papers we have counts for
8 papers · 1 filter
Privacy Preserving Set-Based Estimation Using Partially Homomorphic Encryption
Amr Alanwar, Victor Gassmann, Xingkang He +4
The set-based estimation has gained a lot of attention due to its ability to guarantee state enclosures for safety-critical systems. However, collecting measurements from distribut…
Falsification-Based Robust Adversarial Reinforcement Learning
Xiao Wang, Saasha Nair, Matthias Althoff
Reinforcement learning (RL) has achieved enormous progress in solving various sequential decision-making problems, such as control tasks in robotics. Since policies are overfitted…
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
Despite the possibility to quickly compute reachable sets of large-scale linear systems, current methods are not yet widely applied by practitioners. The main reason for this is pr…
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Cees F. Verdier, Niklas Kochdumper, Matthias Althoff +1
We propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet STL specifications o…
Constrained Polynomial Zonotopes
Niklas Kochdumper, Matthias Althoff
We introduce constrained polynomial zonotopes, a novel non-convex set representation that is closed under linear map, Minkowski sum, Cartesian product, convex hull, intersection, u…
Pedestrian Models for Autonomous Driving Part II: High-Level Models of Human Behavior
Fanta Camara, Nicola Bellotto, Serhan Cosar +11
Autonomous vehicles (AVs) must share space with pedestrians, both in carriageway cases such as cars at pedestrian crossings and off-carriageway cases such as delivery vehicles navi…
Distributed Set-Based Observers Using Diffusion Strategies
Amr Alanwar, Jagat Jyoti Rath, Hazem Said +2
We propose two distributed set-based observers using strip-based and set-propagation approaches for linear discrete-time dynamical systems with bounded modeling and measurement unc…
Pedestrian Models for Autonomous Driving Part I: Low-Level Models, from Sensing to Tracking
Fanta Camara, Nicola Bellotto, Serhan Cosar +6
Autonomous vehicles (AVs) must share space with pedestrians, both in carriageway cases such as cars at pedestrian crossings and off-carriageway cases such as delivery vehicles navi…