Abstract: Power electronic devices are integral to numerous applications in modern technology. The non-linear degradation and subsequent abrupt failure of these devices demand regular State of Health ...

Programming efficient asynchronous systems is challenging because it can often be hard to express the design declaratively, or to defend against interleaving-dependent bugs such as data races and ...