129 citations · 211 across the 78 of their papers we have counts for
5 papers · 1 filter
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes
Pushpak Jagtap, George J. Pappas, Majid Zamani
This paper focuses on the controller synthesis for unknown, nonlinear systems while ensuring safety constraints. Our approach consists of two steps, a learning step that uses Gauss…
Numerical Estimation of Invariance Entropy for Nonlinear Control Systems
Mahendra Singh Tomar, Christoph Kawan, Pushpak Jagtap +1
For a closed-loop control system with a digital channel between the sensor and the controller, the notion of invariance entropy quantifies the smallest average rate of information…
dtControl: Decision Tree Learning Algorithms for Controller Representation
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap +3
Decision tree learning is a popular classification technique most commonly used in machine learning applications. Recent work has shown that decision trees can be used to represent…
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
Adnane Saoud, Pushpak Jagtap, Majid Zamani +1
In this paper, we focus on mitigating the computational complexity in abstraction-based controller synthesis for interconnected control systems. To do so, we provide a compositiona…
Compositional Construction of Control Barrier Functions for Interconnected Control Systems
Pushpak Jagtap, Abdalla Swikir, Majid Zamani
In this paper, we provide a compositional framework for synthesizing hybrid controllers for interconnected discrete-time control systems enforcing specifications expressed by co-Bu…