Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
We present Leon, a system for developing functional Scala programs annotated with contracts. Contracts in Leon can themselves refer to recursively defined functions. Leon aims to find counterexamples when functions do not meet the specifications, and proof ...
We consider the control of a large-scale system composed of state-coupled linear subsystems that can be added or removed offline. In this paper we present Plug-and-Play (PnP) design methods based on Model Predictive Control (MPC) meaning that (i) the desig ...
We investigate the buckling and post-buckling behavior of an elastic rod injected into a horizontal, frictional, cylindrical constraint through experiments, numerical simulations, and scaling analyses. Particular emphasis is given to the onset of helical b ...
We introduce an analysis framework for constructing optimal first-order primal-dual methods for the prototypical constrained convex optimization template. While this class of methods offers scalability advantages in obtaining numerical solutions, they have ...
We discuss the design of sampled-data economic nonlinear model predictive control schemes for continuous-time systems based on turnpike properties. In a recent paper we have shown that an exact turnpike property allows establishing finite-time convergence ...
With the rise of the “ludic city”, the work of Roger Caillois and Marc Breviglieri allows us to question the paradoxical character of planning and “programming” playfulness into public spaces, which should allow room for manoeuvre and encourage improvisati ...
Using high level coordination primitives allows enhanced expressiveness of component-based frameworks to cope with the inherent complexity of present-day systems designs. Nonetheless, their distributed implementation raises multiple issues, regarding both ...
We study the estimation error of constrained M-estimators, and derive explicit upper bounds on the expected estimation error determined by the Gaussian width of the constraint set. Both of the cases where the true parameter is on the boundary of the constr ...
Optimal operation of chemical processes is key for meeting productivity, quality, safety and environmental objectives. Both model-based and data-driven schemes are used to compute optimal operating conditions [1]: - The model-based techniques are intu ...
The Semantic Web brings a powerful set of concepts, standards and ideas that are already changing the shape of the Web. However, in order to put these notions into practice we need to translate them into code. That is why the broad notion of programming th ...
