Concept

Real algebraic geometry

Publications associées (36)

A Parametric Non-Convex Decomposition Algorithm for Real-Time and Distributed NMPC

A novel decomposition scheme to solve parametric non-convex programs as they arise in Nonlinear Model Predictive Control (NMPC) is presented. It consists of a fixed number of alternating proximal gradient steps and a dual update per time step. Hence, the p ...

2014

Algebraic algorithms for network information flow

Javad Ebrahimi Boroojeni

Ahlswede et al. in the seminal paper [1] have shown that in data transfer over networks, processing the data at the nodes can significantly improve the throughput. As proved by Li et al. in [2], even with a simple type of operation, namely linear operation ...

EPFL2013

Software Synthesis Procedures

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, software synthesis algorithms should behave in a predictable way: they should succ ...

2012

Linear Local Models for Monocular Reconstruction of Deformable Surfaces

Pascal Fua, Mathieu Salzmann

Recovering the 3D shape of a nonrigid surface from a single viewpoint is known to be both ambiguous and challenging. Resolving the ambiguities typically requires prior knowledge about the most likely deformations that the surface may undergo. It often take ...

2011

Some remarks on orbit sets of unimodular rows

Jean Fasel

Let A be a d-dimensional smooth algebra over a perfect field of characteristic not 2. Let Um(n+1)(A)/En+1 (A) be the set of unimodular rows of length n + 1 up to elementary transformations. If n >= (d + 2)/2, it carries a natural structure of group as disc ...

2011

Real-time Suboptimal Model Predictive Control Using a Combination of Explicit MPC and Online Optimization

Colin Neil Jones, Melanie Nicole Zeilinger

Limits on the storage space or the computation time restrict the applicability of model predictive controllers (MPC) in many real problems. Currently available methods either compute the optimal controller online or derive an explicit control law. In this ...

Institute of Electrical and Electronics Engineers2011

Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...

Springer2010

A geometric characterization of orient at ion-reversing involutions

Hugo Parlier

We give a geometric characterization of compact Riemann surfaces admitting orientation-reversing involutions with fixed points. Such surfaces are generally called real surfaces and can be represented by real algebraic curves with non-empty real part. We sh ...

2008

Applications of a theorem of Singerman about Fuchsian groups

Hugo Parlier

Assume that we have a (compact) Riemann surface S, of genus greater than 2, with S = D/Gamma, where D is the complex unit disc and Gamma is a surface Fuchsian group. Let us further consider that S has an automorphism group G in such a way that the orbifold ...

2008

Real-time suboptimal model predictive control using a combination of explicit MPC and online optimization

Colin Neil Jones, Melanie Nicole Zeilinger

IEEE2008

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search