Publications related to Certification of fixed computation time first-order optimization-based controllers for a class of nonlinear dynamical systems

A Globally Convergent Algorithm for the Run-to-Run Control of Systems with Sector Nonlinearities

Run-to-run control is a technique that exploits the repetitive nature of processes to iteratively adjust the inputs and drive the run-end outputs to their reference values. It can be used to control both static and finite-time dynamic systems. Although the ...

American Chemical Society2011

Robust Ultrasound Travel-time Tomography Using the Bent Ray Model

Martin Vetterli, Olivier Roy, Ali Hormati, Ivana Jovanovic

We present a bent ray reconstruction algorithm for an ultrasound tomography (UT) scanner designed for breast screening. The scanner consists of a circular array of transmitters and receivers which encloses the object to be imaged. By solving a nonlinear sy ...

Spie-Int Soc Optical Engineering, Po Box 10, Bellingham, Wa 98227-0010 Usa2010

Demosaicking by Alternating Projections: Theory and Fast One-Step Implementation

Martin Vetterli, Yue Lu, Mina Karzand

Color image demosaicking is a key process in the digital imaging pipeline. In this paper, we study a well-known and influential demosaicking algorithm based on alternating projections (AP), proposed by Gunturk, Altunbasak and Mersereau in 2002. Since its p ...

Institute of Electrical and Electronics Engineers2010

Event-based reduced-attention predictive control for nonlinear uncertain systems

Timm Faulwasser, Benjamin Kern

Event-based control is an alternative to traditional control where new measurements are sampled only if critical events occur. This not only allows to reduce the control effort but it satisfies nowadays application requirements, such for example reduction ...

IEEE2010

Numerical analysis of optimization-constrained differential equations

Chantal Landry

The modeling of a system composed by a gas phase and organic aerosol particles, and its numerical resolution are studied. The gas-aerosol system is modeled by ordinary differential equations coupled with a mixed-constrained optimization problem. This coupl ...

EPFL2009

A Class Of Mean Field Interaction Models for Computer and Communication Systems

Jean-Yves Le Boudec

We consider models of

N

interacting objects, where the interaction is via a common resource and the distribution of states of all objects. We consider the case where the number of transitions per time slot per object vanishes as

N

grows. We show that, ...

2008

Estimating interdependences in networks of weakly coupled deterministic systems

Oscar De Feo, Cristian Carmeli

The extraction of information from measured data about the interactions taking place in a network of systems is a key topic in modern applied sciences. This topic has been traditionally addressed considering bivariate time series, providing methods that ar ...

2008

Symmetric and non-symmetric discontinuous Galerkin methods stabilized using bubble enrichment

Erik Burman, Benjamin Stamm

In this Note we prove that in two and three space dimensions, the symmetric and non-symmetric discontinuous Galerkin method for second order elliptic problems is stable when using piecewise linear elements enriched with quadratic bubbles without any penali ...

2008

A multi-iterate method to solve systems of nonlinear equations

Michel Bierlaire, Michaël Clément Louis Ghislain Thémans, Frank Crittin

We propose an extension of secant methods for nonlinear equations using a population of previous iterates. Contrarily to classical secant methods, where exact interpolation is used, we prefer a least squares approach to calibrate the linear model. We propo ...

2007

Steady-state Solutions in Mathematical Models of Atrial Cell Electrophysiology and their Stability

Vincent Jacquemet

The steady states of the Fenton–Karma, the Courtemanche and the Nygren cell models were studied by determining the fixed points of the dynamical system describing their cell kinetics. The linear stability of the fixed points was investigated, as well as th ...

2007

Certification of fixed computation time first-order optimization-based controllers for a class of nonlinear dynamical systems

Graph Chatbot

Chat with Graph Search

A Globally Convergent Algorithm for the Run-to-Run Control of Systems with Sector Nonlinearities

Robust Ultrasound Travel-time Tomography Using the Bent Ray Model

Demosaicking by Alternating Projections: Theory and Fast One-Step Implementation

Event-based reduced-attention predictive control for nonlinear uncertain systems

Numerical analysis of optimization-constrained differential equations

A Class Of Mean Field Interaction Models for Computer and Communication Systems

Estimating interdependences in networks of weakly coupled deterministic systems

Symmetric and non-symmetric discontinuous Galerkin methods stabilized using bubble enrichment

A multi-iterate method to solve systems of nonlinear equations

Steady-state Solutions in Mathematical Models of Atrial Cell Electrophysiology and their Stability

A Globally Convergent Algorithm for the Run-to-Run Control of Systems with Sector Nonlinearities

Demosaicking by Alternating Projections: Theory and Fast One-Step Implementation

Symmetric and non-symmetric discontinuous Galerkin methods stabilized using bubble enrichment

Robust Ultrasound Travel-time Tomography Using the Bent Ray Model

Estimating interdependences in networks of weakly coupled deterministic systems

A Class Of Mean Field Interaction Models for Computer and Communication Systems

Numerical analysis of optimization-constrained differential equations

Steady-state Solutions in Mathematical Models of Atrial Cell Electrophysiology and their Stability

Event-based reduced-attention predictive control for nonlinear uncertain systems

A multi-iterate method to solve systems of nonlinear equations