6 citations · 11 across the 28 of their papers we have counts for
20 papers · 1 filter
Input-Constrained Spatiotemporal Tubes for Safe Navigation of Unknown Euler-Lagrange Systems in Dynamic Environments
Siddhartha Upadhyay, Ratnangshu Das, Pushpak Jagtap
Safe navigation in dynamic environments is challenging when system dynamics are unknown and actuator inputs are limited. Existing methods either rely on accurate models, require on…
Glycemic Safety Tube: A Provably Safe Control Framework for Artificial Pancreas Systems under Parametric Uncertainty
Pukhrambam Akash Singh, Ratnangshu Das, Ahan Basu +1
Type 1 diabetes eliminates the body's ability to produce insulin, making glucose regulation entirely dependent on external insulin delivery and the control algorithm. Existing clos…
Temporal Logic Resilience for Continuous-time Systems
Ratnangshu Das, Negar Monir, Youssef Ait Si +3
In this paper, we present a novel framework for quantifying a lower bound on resilience in continuous-time (non)linear systems subject to external disturbances while ensuring satis…
Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
Youssef Ait Si, Ratnangshu Das, Negar Monir +3
In this paper, we consider the notions of effort and resilience of a dynamical control system defined by the maximum disturbance the system can withstand while satisfying given fin…
Energetic Resilience under Temporal Logic Specifications
Ratnangshu Das, Ram Padmanabhan, Melkior Ornik +1
In environments with uncertainties or undesirable influences, control systems can require additional energy to achieve their task while remaining resilient to these influences. In…
Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
Ratnangshu Das, Subhodeep Choudhury, Pushpak Jagtap
This paper introduces a new framework for synthesizing time-varying control barrier functions (TV-CBFs) for general Signal Temporal Logic (STL) specifications using spatiotemporal…
Spatiotemporal Tubes based Control of Unknown Multi-Agent Systems for Temporal Reach-Avoid-Stay Tasks
Ahan Basu, Ratnangshu Das, Pushpak Jagtap
The paper focuses on designing a controller for unknown dynamical multi-agent systems to achieve temporal reach-avoid-stay tasks for each agent while preventing inter-agent collisi…
Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
Siddhartha Upadhyay, Ratnangshu Das, Pushpak Jagtap
In this work, we address the issue of controller synthesis for a control-affine nonlinear system to meet prescribed time reach-avoid-stay specifications. Our goal is to improve upo…
Incorporating Social Awareness into Control of Unknown Multi-Agent Systems: A Real-Time Spatiotemporal Tubes Approach
Siddhartha Upadhyay, Ratnangshu Das, Pushpak Jagtap
This paper presents a decentralized control framework that incorporates social awareness into multi-agent systems with unknown dynamics to achieve prescribed-time reach-avoid-stay…
Maximally Resilient Controllers under Temporal Logic Specifications
Youssef Ait Si, Ratnangshu Das, Negar Monir +3
In this paper, we consider the notion of resilience of a dynamical system, defined by the maximum disturbance a controlled dynamical system can withstand while satisfying given tem…
Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
Ratnangshu Das, Shubham Sawarkar, Pushpak Jagtap
We propose a novel symbolic control framework for enforcing temporal logic specifications in Euler-Lagrange systems that addresses the key limitations of traditional abstraction-ba…
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
Negar Monir, Youssef Ait Si, Ratnangshu Das +3
We propose a resilience-based framework for computing feasible assume-guarantee contracts that ensure the satisfaction of temporal specifications in interconnected discrete-time sy…
Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
Ratnangshu Das, Subhodeep Choudhury, Pushpak Jagtap
This paper presents a spatiotemporal tube (STT)-based control framework for satisfying Signal Temporal Logic (STL) specifications in unknown control-affine systems. We formulate ST…
Reach-Avoid-Stay-Collision-Avoidance Negotiation Framework for Multi-Agent Systems via Spatiotemporal Tubes
Mohd. Faizuddin Faruqui, Ratnangshu Das, Ravi Kumar L +1
This study presents a multi-agent negotiation-based framework to obtain collision-free paths while performing prescribed-time reach-avoid-stay (RAS) tasks for agents with unknown d…
Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems
Ratnangshu Das, Aiman Aatif Bayezeed, Pushpak Jagtap
This paper provides a discretization-free solution to the synthesis of approx-imation-free closed-form controllers for unknown nonlinear systems to enforce complex properties expre…
Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes
Ratnangshu Das, Pranav Bakshi, Pushpak Jagtap
Prescribed-time reach-avoid-stay (PT-RAS) specifications are crucial in applications requiring precise timing, state constraints, and safety guarantees. While control carrier funct…
RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
Saksham Gautam, Ratnangshu Das, Pushpak Jagtap
In this paper, we present a novel RRT*-based strategy for generating kinodynamically feasible paths that satisfy temporal logic specifications. Our approach integrates a robustness…
Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
Ratnangshu Das, Ahan Basu, Pushpak Jagtap
The paper considers the controller synthesis problem for general MIMO systems with unknown dynamics, aiming to fulfill the temporal reach-avoid-stay task, where the unsafe regions…
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…
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,…