Concept

Constraint (mathematics)

Related publications (210)

Graph Chatbot

Chat with Graph Search

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.

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings

Andrew Joseph Reynolds

We prove that the quantifier-free fragment of the theory of character strings with regular language membership constraints and linear integer constraints over string lengths is decidable. We do that by describing a sound, complete and terminating tableaux ...

Springer-Verlag Berlin2015

Interactive design exploration for constrained meshes

Mark Pauly, Sofien Bouaziz, Bailin Deng, Yuliy Gennadievich Schwartzburg, Mario Moacir Deuss, Alexandre Kaspar

In architectural design, surface shapes are commonly subject to geometric constraints imposed by material, fabrication or assembly. Rationalization algorithms can convert a freeform design into a form feasible for production, but often require design modif ...

Elsevier2015

IT Service Alignment Verification of Quantitative Properties in Service Design

Alain Wegmann, Gorica Tapandjieva Sekulovska

Despite many years of research, alignment of business and IT services remains a challenge. In this paper we show how to verify the quantitative properties of a service against stakeholder requirements during service design. We model the service with the Sy ...

2015

On the Design of Economic NMPC Based on an Exact Turnpike Property

Dominique Bonvin, Timm Faulwasser

We discuss the design of sampled-data economic nonlinear model predictive control schemes for continuous-time systems. We present novel sufficient convergence conditions that do not require any kind of terminal constraints nor terminal penalties. Instead, ...

IFAC2015

A Universal Primal-Dual Convex Optimization Framework

Volkan Cevher, Quoc Tran Dinh, Alp Yurtsever

We propose a new primal-dual algorithmic framework for a prototypical con- strained convex optimization template. The algorithmic instances of our frame- work are universal since they can automatically adapt to the unknown Ho ̈lder con- tinuity properties ...

2015

Robust Smith Predictor Design for Time-Delay Systems with H∞ Performance

Alireza Karimi, Achille Nicoletti, Vinicius De Oliveira

A new method for robust fixed-order H∞ controller design for uncertain time-delay systems is presented. It is shown that the H∞ robust performance condition can be represented by a set of convex constraints with respect to the parameters of a linearly para ...

Springer2015

A Data-Driven Approach in Designing RST Controllers with H∞ Performance via Convex Optimization

Alireza Karimi, Achille Nicoletti, Zlatko Emedi

In this paper, a new method for designing robust fixed-order

\mathcal{H}_{\infty}

discrete-time controllers is presented. The controller structure is a two-degree of freedom polynomial controller of the

RST

type. A data-driven approach is implemented f ...

IEEE2015

Extending the Reach of a Rod Injected Into a Cylinder Through Distributed Vibration

Pedro Miguel Nunes Pereira de Almeida Reis

We present results of an experimental investigation of a new mechanism for extending the reach of an elastic rod injected into a horizontal cylindrical constraint, prior to the onset of helical buckling. This is accomplished through distributed, vertical v ...

American Society of Mechanical Engineers2015

Buckling-induced lock-up of a slender rod injected into a horizontal cylinder

Pedro Miguel Nunes Pereira de Almeida Reis

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 ...

Elsevier2015

An optimal first-order primal-dual gap reduction framework for constrained convex optimization

Volkan Cevher, Quoc Tran Dinh

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 ...

Tech. Report. LIONS-EPFL (2015)2015