3 citations · 3 across the 2 of their papers we have counts for
6 papers
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…
Formal Synthesis of Stochastic Systems via Control Barrier Certificates
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
This paper focuses on synthesizing control policies for discrete-time stochastic control systems together with a lower bound on the probability that the systems satisfy the complex…