Abstract: In this work, we present and investigate a new framework for the data-driven simulation of electrical circuits based on discrete-continuous optimization. For such an end, we provide a formal ...

Many technologies rely on electric discharge phenomena, including consumer electronics, medical devices, and high-voltage power systems. During product development, it is highly beneficial to simulate ...

Abstract: This paper focuses on the problem of enforcing weighted opacity for interval weighted automata, a more general class of one-clock automata in which the transition costs are allowed to be ...