activity
20162026
most citedFormal Synthesis of Stochastic Systems via Control Barrier Certificates

129 citations · 211 across the 78 of their papers we have counts for

collaborators
Showing 2023Show all

8 papers · 1 filter

eess.SY2023

Symbolic Models for Interconnected Impulsive Systems

Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap +1

In this paper, we present a compositional methodology for constructing symbolic models of nonlinear interconnected impulsive systems. Our approach relies on the concept of "alterna…

cs.RO2023

Collision Cone Control Barrier Functions: Experimental Validation on UGVs for Kinematic Obstacle Avoidance

Bhavya Giri Goswami, Manan Tayal, Karthik Rajgopal +2

Autonomy advances have enabled robots in diverse environments and close human interaction, necessitating controllers with formal safety guarantees. This paper introduces an experim…

eess.SY2023★ 1 cited

Funnel-based Control for Reach-Avoid-Stay Specifications

Ratnangshu Das, Pushpak Jagtap

The paper addresses the problem of controller synthesis for control-affine nonlinear systems to meet reach-avoid-stay specifications. Specifically, the goal of the research is to o…

eess.SY2023

On Incremental Stability of Interconnected Switched Systems

Bhabani Shankar Dey, Indra Narayan Kar, Pushpak Jagtap

In this paper, the incremental stability of interconnected switched nonlinear systems is discussed. The nature of switching considered is state-dependent. The incremental stability…

eess.AS2023

On the Efficacy and Noise-Robustness of Jointly Learned Speech Emotion and Automatic Speech Recognition

Lokesh Bansal, S. Pavankumar Dubagunta, Malolan Chetlur +2

New-age conversational agent systems perform both speech emotion recognition (SER) and automatic speech recognition (ASR) using two separate and often independent approaches for re…

eess.SY2023

Approximation- and Chattering-free Quasi Sliding Mode Control for Unknown Systems

Pankaj K Mishra, Pushpak Jagtap

Motivated by the concept of Quasi-Sliding Mode (QSM) in discrete-time systems, this paper presents a novel approach that relaxes the requirement of ubiquitous exact sliding motion…

math.OC2023

Approximation-free control for unknown systems with performance and input constraints

Pankaj K Mishra, Pushpak Jagtap

This paper addresses the problem of tracking control for an unknown nonlinear system with time-varying bounded disturbance subjected to prescribed Performance and Input Constraints…

eess.SY2023

Barrier Function-based Distributed Symbolic Controller for Multi-Agent Systems

David Smith Sundarsingh, Ratnangshu Das, Adnane Saoud +1

Because of the scalability issues associated with the symbolic controller synthesis approach, employing it in a multi-agent system (MAS) framework becomes difficult. In this paper,…