Skip to content
Siddhant Shrivastava
Letters
Research
Diary
Papers
Talks
Courses
Explainers
About
Research diary
Search
Search
Dark mode
Light mode
Reader mode
Explorer
control
14 items with this tag.
16 Oct 2026
Control Barrier Function Based Quadratic Programs for Safety Critical Systems
paper
control
formal-methods
16 Oct 2026
Deep Equivariant Multi-Agent Control Barrier Functions
paper
control
swarms
aerial
16 Oct 2026
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates
paper
control
multi-robot
swarms
to-read
16 Oct 2026
Safety Barrier Certificates for Heterogeneous Multi-Robot Systems
paper
control
multi-robot
16 Oct 2026
Safe control
control
robustness
mrs
16 Oct 2026
Crazyflie 2.0 Quadrotor as a Platform for Research and Education in Robotics and Control Engineering
paper
aerial
control
16 Oct 2026
Observability-Aware Trajectory Optimization for Self-Calibration with Application to UAVs
paper
aerial
planning
control
16 Oct 2026
Reputation-Based Byzantine-Resilient Vector Consensus without Prespecified Fault Bounds
paper
byzantine
control
multi-robot
to-read
16 Oct 2026
Coordination of Groups of Mobile Autonomous Agents Using Nearest Neighbor Rules
paper
multi-robot
swarms
control
16 Oct 2026
Energy-Constrained Resilient Multi-Robot Coverage Control
paper
multi-robot
control
long-term
16 Oct 2026
Robust Satisfaction of Temporal Logic over Real-Valued Signals
paper
runtime-monitoring
formal-methods
control
16 Oct 2026
The Theory of Hybrid Automata
paper
formal-methods
control
16 Oct 2026
Using simplicity to control complexity
paper
runtime-monitoring
control
failure-recovery
16 Oct 2026
Attack resilient state estimation for autonomous robotic systems
paper
security
control