Abstract: Synchronous block-diagram languages have long been formalized as fixpoints of equations defining stream functions. We apply this approach to a compiler verified in an interactive theorem ...
Abstract: With the pervasive adoption of power electronics in power systems, the system dynamics and the stability are dictated by the control instead of physical components and inertia. To ensure the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback