3 papers
cs.LO2026
Comparison Invariants for Verifying Control Invariance
Promit Panja, André Platzer
Control invariance validates that dynamical systems have a control input that preserves a given property at all times. This paper introduces a set of sound axioms and proof rules i…
eess.SY2024
Survey Paper on Control Barrier Functions
Promit Panja
Control Barrier Functions (CBFs) have emerged as a powerful paradigm in control theory, providing a principled approach to enforcing safety-critical constraints in dynamic systems.…
cs.RO2023
Control Barrier Function Based UAV Safety Controller in Autonomous Airborne Tracking and Following Systems
Promit Panja, Jesse B. Hoagg, Sabur Baidya
Safe operations of UAVs are of paramount importance for various mission-critical and safety-critical UAV applications. In context of airborne target tracking and following, UAVs ne…