Concept

Constraint satisfaction

Publications associées (223)

Stochastic MPC framework for controlling the average constraint violation

This paper considers linear discrete-time systems with additive, bounded, disturbances subject to hard control input bounds and a stochastic constraint on the amount of state-constraint violation averaged over time. The amount of violations is quantified b ...

Institute of Electrical and Electronics Engineers2014

Verifying and Synthesizing Software with Recursive Functions (Invited Contribution)

Viktor Kuncak

Our goal is to help people construct software that does what they wish. We develop tools and algorithms that span static and dynamic verification, constraint solving, and program synthesis. I will outline the current state our verification and synthesis sy ...

Springer-Verlag Berlin2014

Plug-and-play fault diagnosis and control-reconfiguration for a class of nonlinear large-scale constrained systems

Giancarlo Ferrari Trecate

This paper deals with a novel Plug-and-Play (PnP) architecture for the control and monitoring of Large-Scale Systems (LSSs). The proposed approach integrates a distributed Model Predictive Control (MPC) strategy with a distributed Fault Detection (FD) arch ...

2014

Fault Diagnosis and Control-reconfiguration in Large-scale Systems: a Plug-and-Play Approach

Giancarlo Ferrari Trecate

2014

Modifier Adaptation for Constrained Closed-Loop Systems

Dominique Bonvin, Grégory François, Alejandro Gabriel Marchetti, Sean Costello

The steady advance of computational methods makes model-based optimization an increasingly attractive method for process improvement. Unfortunately, the available models are often inaccurate. An iterative optimization method called "modifier adaptation" ov ...

2014

Recovering Neugebauer colorant reflectances and Ink-spreading curves from printed color images

Roger Hersch, Thomas Bugnon

Spectral reflection prediction models, although effective, are impractical for certain industrial applications such as self-calibrating devices and online monitoring because their calibration requires specific color-constant calibration patches. Using the ...

Wiley-Blackwell2014

On real-time robust model predictive control

Colin Neil Jones, Melanie Nicole Zeilinger

High-speed applications impose a hard real-time constraint on the solution of a model predictive control (MPC) problem, which generally prevents the computation of the optimal control input. As a result, in most MPC implementations guarantees on feasibilit ...

Elsevier2014

Optimization of an Airborne Wind Energy System Using Constrained Gaussian Processes

Colin Neil Jones, Ioannis Lymperopoulos, Sanket Sanjay Diwale

Wind resources tend to be significantly stronger and more consistent with increasing altitude. This effect creates a potential for power generation that can be reaped by an Airborne Wind Energy system positioned at elevations exceeding the height of conven ...

2014

Selling robustness margins: A framework for optimizing reserve capacities for linear systems

Maryam Kamgarpour, Xiuwei Zhang

This paper proposes a method for solving robust optimal control problems with modulated uncertainty sets. We consider constrained uncertain linear systems and interpret the uncertainty sets as “robustness margins” or “reserve capacities”. In particular, gi ...

IEEE2014

Predictors of Life Satisfaction based on Daily Activities from Mobile Sensor Data

Pearl Pu Faltings, Jiyong Zhang, Onur Yürüten

In recent years much research work has been dedicated to detecting user activity patterns from sensor data such as location, movement and proximity. However, how daily activities are correlated to people's happiness (such as their satisfaction from work an ...

2014

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