I am trying to better understand the properties of improper systems $H(s) = \frac{b(s)}{a(s)}$, for which the order of the numerator $b(s)$ is greater than the order of the denominator $a(s)$ (in the broader context of continuous-time linear time-invariant systems). I have trouble reconciling the application of region of convergence (ROC) rules and my intuition.
Let us take the simplest example that is the pure differentiator, i.e., $H(s)=s$.
Application of ROC rules
Causality. The system has a pole at $s=\infty$. Thus, the ROC is not a right-sided plane. So the system is not causal.
BIBO stability. The ROC includes the imaginary axis $s=j\omega$. The system is BIBO stable.
My intuition
Causality. The differentiator can be expressed as the limit of a forward difference or as the limit of a backward difference. So depending on how we define the differentiator, it can be a causal system or an anti-causal system.
BIBO stability. I have two intuitions here.
(1) The derivative of a bounded input like the step function can be unbounded as it gives the Dirac function. So the system is not BIBO stable.
(2) The impulse response of the differentiator is $h(t) = \delta'(t)$, i.e., the derivative of the Dirac function. This is not an absolutely integrable function as $\int_{-\infty}^{\infty} |\delta'(t)| dt = \infty$. See https://en.wikipedia.org/wiki/Unit_doublet. So the system is not BIBO stable.
How can I reconcile the ROC analysis and my intuition? Where am I wrong?
Definitions
Causality. A LTI system with impulse response $h(t)$ is said to be causal, that is, it has the property that the value of the output at time $t_0$ depends on the values of the input and output for all $t$ up to time $t_0$ but no further, i.e., only for $t \leq t_0$, if and only if $h(t)=0$ for all $t < 0$.
BIBO stability. A LTI system with impulse response $h(t)$ is said to be BIBO stable, that is, it has the property that its output $y$ is bounded whenever its input $u$ is bounded, if and only if $$\int_{-\infty}^{\infty} h(t) dt \triangleq \| h \|_1 < \infty $$ in which case we can bound the peak of the output by $$ \| y \|_\infty \leq \| h \|_1 \| u \|_\infty $$ where $\|u\|_\infty \triangleq \mathrm{sup}_{t\in\mathbb{R}} u(t)$.