Abstract: Control barrier functions (CBFs) have recently been introduced as a systematic tool to ensure safety by establishing set invariance. When combined with a control Lyapunov function (CLF), ...

Abstract: The electric current volume integral equation formulation is discretized with piecewise linear basis and testing functions. The resulting weak formulation is more complicated, and contains ...

We study the positive recurrence of piecewise Ornstein—Uhlenbeck (OU) diffusion processes, which arise from many-server queueing systems with phase-type service requirements. These diffusion processes ...