Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Common Lisp

Related publications (22)

Composable Method for Explicit Power Flow Control in Electrical Grids

Mario Paolone, Jean-Yves Le Boudec, Andrey Bernstein

A power flow control system for an interconnected power system, the interconnected power system comprising a plurality of electrical subsystems; an abstract framework configured to work as a utility maximiser under constraints (that applies to the electric ...

2016

Deductive Synthesis and Repair

Etienne Kneuss

In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications. We present algorithms for automatically synthesizing executable code, st ...

EPFL2016