5 citations · 5 across the 1 of their papers we have counts for
5 papers
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…
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…
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…
Representation of Polytopes as Polynomial Zonotopes
Niklas Kochdumper, Matthias Althoff
We prove that each bounded polytope can be represented as a polynomial zonotope, which we refer to as the Z-representation of polytopes. Previous representations are the vertex rep…
Utilizing Dependencies to Obtain Subsets of Reachable Sets
Niklas Kochdumper, Bastian Schürmann, Matthias Althoff
Reachability analysis, in general, is a fundamental method that supports formally-correct synthesis, robust model predictive control, set-based observers, fault detection, invarian…