He spent two decades hosting the PBS series, during the formative years of personal computing. It was seen in more than 300 ...

Abstract: Existing time-domain simulation of LCC-HVDC systems faces a trade-off between accuracy and efficiency. The electromagnetic transient model can accurately emulate detailed dynamic processes, ...

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 ...

Abstract: This article investigates the scalable input-to-state stability (sISS) property of networks of interconnected systems using the local Lyapunov functions of the individual systems or agents ...