---
title: Poisson Safety Functions
url: https://www.emergentmind.com/topics/poisson-safety-functions
type: topic
---

# Poisson Safety Functions

A Poisson Safety Function (PSF) is a smooth scalar field constructed as the unique solution to a Dirichlet problem for Poisson’s equation, whose zero-superlevel set certifies a dynamically safe region for a robotic or dynamical system operating in complex, typically perception-derived, environments. The PSF formalism provides a scalable, PDE-based alternative to signed distance and analytic barrier functions, enabling the synthesis of control barrier function (CBF)–compatible safety certificates directly from environmental data, while supporting extensions for geometry-awareness, risk prioritization, semantic adaptation, and real-time filtering in both static and dynamic domains.

## 1. Mathematical Definition and Construction

The prototypical PSF is defined as a solution to the boundary value problem:
\[
\begin{cases}
\Delta h(y) = f(y), & y \in \Omega, \\
h(y) = 0, & y \in \partial \Omega,
\end{cases}
\]
where $\Omega \subset \mathbb{R}^p$ is a bounded, connected open domain encoding the perceived free space (e.g., via occupancy mapping), $\partial\Omega$ is the perceived obstacle boundary, and $f: \Omega \rightarrow \mathbb{R}_{<0}$ is a sufficiently regular negative forcing function ensuring $h$ is superharmonic in $\Omega$ [2505.06794][2510.25913][2508.11129][2604.21189]. The choice of $f$ determines the “steepness” and regularity of the safety field; constant $f$ yields maximally smooth $h \in C^\infty(\overline{\Omega})$.

The associated safety set is characterized as:
\[
C = \{ y \in \Omega \mid h(y) \geq 0 \}, \qquad \partial C = \{ y \mid h(y) = 0 \}
\]
with $Dh(y) \neq 0$ when $h(y)=0$, so the boundary is regular and supports CBF invariance theorems.

The PSF can be synthesized directly (by choosing $f$), or indirectly by solving a variational problem to best align $Dh$ with a user-specified smooth vector field $\vec{v}$ (the guidance field), in which case the forcing becomes $f = \nabla \cdot \vec{v}$, often postprocessed to guarantee negativity—e.g., $f(y) = -\frac{1}{\beta}\ln(1+e^{-\nabla \cdot \vec v(y)\beta})$ [2505.06794][2510.25913][2603.05497].

## 2. Integration into Control Barrier Functions and Safety Filtering

Once synthesized, a PSF $h$ naturally serves as a control barrier function for a class of robotic systems. For first-order integrator dynamics:
\[
\dot y = w,
\]
the PSF is incorporated as an inequality constraint for the safe control policy:
\[
Dh(y) \cdot w \geq -\gamma h(y), \quad \text{for some } \gamma > 0
\]
or, employing a risk-modulating guidance field $\vec v$:
\[
\vec v(y) \cdot w \geq -\gamma h(y)
\]
which can be encoded in a quadratic program (QP)–based safety filter that minimally modifies a nominal input $k_{\text{nom}}$ [2505.06794][2510.25913][2603.05497]. For higher relative degree systems (e.g., $\ddot y = w$), CBF backstepping is applied, and the regularity of the PSF ensures the existence of locally Lipschitz safe controllers as per established backstepping CBF theory [2505.06794][2510.25913]. 

Forward invariance of $C = \{ h \geq 0 \}$ (or a backstepped set $C_B$) is rigorously guaranteed under these constructions provided $f$ and $\Omega$ are sufficiently smooth and $Dh$ is nonvanishing on the boundary.

## 3. Geometry-Aware, Dynamic, and Semantic PSF Extensions

PSFs are extended to handle:

- **Time-dependent environments**: The domain $\Omega$ and boundary $\partial\Omega$ are made functions of time, lifted into a space-time domain $\Omega_T = \bigcup_{t\in[0,T]} \Omega(t) \times\{t\}$, and the PSF is obtained by solving parameterized or moving-boundary Poisson problems, often with boundary dynamics estimated via optical flow or level set transport equations [2508.11129].

- **Robot geometry**: For non-point robots, the safe domain is shrunken via configuration-dependent Minkowski differences: $C_Q(q) = C \ominus \mathcal{R}(q)$, and the PSF is solved over a product domain $\Omega_Q = \bigcup_{q\in \mathbb S^n} C_Q(q) \times \{q\}$ with the Laplacian still acting only on the spatial variable [2604.21189][2508.11129].

- **Semantic and risk awareness**: The Laplace guidance field $\vec v$ is constructed with boundary flux $b(y)$ modulated by semantic features or risk (from perception or prior knowledge), and its divergence forms the PSF’s source: $f = \nabla \cdot \vec v$. The risk-aware filter then uses $\vec v$ as the safety-gradient surrogate, enabling obstacle-specific repulsion strength and the encoding of social/pass norms (e.g., larger $|b|$ for humans than for static objects) [2510.25913][2603.05497].

These extensions support both model predictive control (MPC) and low-level CBF filtering with real-time updates as environmental or configuration data changes.

## 4. Computational and Practical Properties

PSF synthesis via numerical solution of Poisson’s equation is computationally efficient (sub-millisecond on modern GPUs), and admits warm starts for dynamic scenes[2505.06794][2508.11129]. The guidance field construction is fully compatible with discrete occupancy maps from perception, and boundary flux modulation is directly tied to semantic, probabilistic, or risk-based labels from multi-modal segmentation and sensor fusion [2603.05497]. Experiments on quadruped, humanoid, and manipulator platforms demonstrate real-time operation and improved safety behavior over signed-distance–based CBFs, notably in deadlock-prone, cluttered, or socially structured environments [2505.06794][2508.11129][2603.05497][2604.21189].

## 5. Comparison to Prior and Related Notions of "Poisson" Safety Functions

The PSF framework is distinct from several other “Poisson safety” notions:
- **Poisson kernels in harmonic analysis**: These serve in the context of potential theory, maximal function estimates, and differentiability theorems in boundary value problems [1010.1270], but are not safety certificates for dynamical systems.
- **Poisson-based risk/scale functions**: In stochastic processes and risk theory (e.g., $q$-scale functions for spectrally negative compound Poisson processes), the Poisson equation arises as an expected drift condition in continuous-time Markov or Lévy processes to compute ruin probabilities and related risk metrics [2007.15880]. These are analytically and application-wise disconnected from the geometric/PDE-based PSF framework for robotics.
- **Piecewise stochastic barrier functions**: While stochastic barrier functions for finite-horizon safety probabilities in controlled Markov models share the “certificate” conceptual space, their synthesis is based on robust drift inequalities and combinatorial optimization, not Poisson PDEs [2404.16986].

A distinctive feature of modern PSFs is the use of Poisson's equation as a geometric and semantic “glue” between perception, risk modeling, and control, rather than as an analytic tool for boundary convergence or expectation calculation.

## 6. Applications and Demonstrated Impact

PSFs enable:
- **Obstacle avoidance for mobile robots and manipulators** by mapping perceptual geometry into smooth, CBF-compatible safety sets that handle arbitrary nonconvex obstacles in real time [2505.06794][2604.21189].
- **Risk and context-aware navigation**, allowing different margins for semantic classes (e.g., humans, robots, static objects) and dynamic adaptation to uncertain or moving obstacles [2510.25913][2603.05497].
- **Full-body safety guarantees for manipulators** via coverage-based sampling and buffered domains, achieving true surface-level collision avoidance with tractable CBF synthesis [2604.21189].
- **Predictive safety filtering in MPC architectures** for legged robots and humanoids, incorporating both geometric asymmetries and evolving environments [2508.11129].

Experimental evaluations confirm that PSFs enable qualitative gains such as reduced conservatism, context-adaptive social navigation, and smoother motion near complex obstacle boundaries as compared to traditional SDF or hand-crafted CBFs.

## 7. Theoretical Guarantees and Limitations

Poisson safety functions enjoy strong guarantees:
- **Existence, uniqueness, and $C^\infty$ smoothness** under standard elliptic PDE theory for smooth source and boundary data.
- **Nonvanishing boundary gradient** (by Hopf’s lemma), ensuring regularity of safe set boundaries.
- **Forward invariance**: For any locally Lipschitz feedback satisfying the CBF condition (using PSF and, if needed, Laplace guidance field), the safe set defined by $h\ge 0$ is forward invariant; analogous guarantees hold for high-order and time-varying systems.
- **Generalizability**: Geometry- and semantics-aware PSFs can be constructed for arbitrary segmented environments, are robust to sensor noise, and can be solved iteratively or warm-started.

Notable limitations include possible deadlocks or spurious equilibria for purely reactive (non predictive) filters and loss of safety if perception fails or the occupancy map is substantially incorrect. The buffering required for sampling and geometry awareness may conservatively shrink feasible safe sets in high-dimensional or dense-clutter scenarios [2604.21189][2508.11129].

---

**References**

- [2505.06794] Dynamic Safety in Complex Environments: Synthesizing Safety Filters with Poisson's Equation
- [2510.25913] Risk-Aware Safety Filters with Poisson Safety Functions and Laplace Guidance Fields
- [2508.11129] Geometry-Aware Predictive Safety Filters on Humanoids: From Poisson Safety Functions to CBF Constrained MPC
- [2604.21189] Full-Body Dynamic Safety for Robot Manipulators: 3D Poisson Safety Functions for CBF-Based Safety Filters
- [2603.05497] Safe-SAGE: Social-Semantic Adaptive Guidance for Safe Engagement through Laplace-Modulated Poisson Safety Functions

Source: https://www.emergentmind.com/topics/poisson-safety-functions