Publications related to Constructivism (philosophy of mathematics)

Les Cahiers de l'Ibois 2 / Ibois Notebooks 2

The second Ibois Notebook focuses its reflections on the Grand-Chalet station project in Rossinière. Christophe Catsaros and Tadashi Ono carry out a landscape analysis in text and image around the idea of a revival of the alpine vernacular. Isabel Concheir ...

EPFL PRESS2021

Asymptotically Optimal Contextual Bandit Algorithm Using Hierarchical Structures

Hakan Gökcesu, Kaan Gökcesu

We propose an online algorithm for sequential learning in the contextual multiarmed bandit setting. Our approach is to partition the context space and, then, optimally combine all of the possible mappings between the partition regions and the set of bandit ...

2019

Distributed state estimation for discrete-time linear time invariant systems: A survey

Colin Neil Jones, Francisco Fernandes Castro Rego

Motivated by the increasing availability and quality of miniaturized sensors, computers, and wireless communication devices arid given their enormous potential, the use of wireless sensor networks (WSN) has become widespread. Because in many applications o ...

2019

Cost for a controlled linear KdV equation

Joachim Krieger, Shengquan Xiang

The controllability of the linearized KdV equation with right Neumann control is studied in the pioneering work of Rosier [25]. However, the proof is by contradiction arguments and the value of the observability constant remains unknown, though rich mathem ...

2019

Vision-Based Sense and Avoid Algorithms for Unmanned Aerial Vehicles

Steven Adriaan Roelofsen

The field of Unmanned Aerial Vehicles (UAVs), also known as drones, is rapidly growing, both in terms of size and of number of applications. Civil applications range from mapping, inspection, search and rescue, taking aerial footage, to art show, entertain ...

EPFL2017

On convergence and performance certification of a continuous-time economic model predictive control scheme with time-varying performance index

Colin Neil Jones, Andrea Alessandretti

This paper addresses the design of convergence and performance certified sampled-data model predictive control (MPC) laws with a time-dependent economic performance index. More precisely, using a dissipativity property of the system, we provide a set of su ...

Pergamon-Elsevier Science Ltd2016

An Economic Model Predictive Control scheme with terminal penalty for continuous-time systems

Colin Neil Jones, Andrea Alessandretti

In this paper, convergence and performance properties of a sample-data continuous time model predictive control (MPC) scheme with economic performance index are developed. In particular, we provide sufficient conditions for convergence of the close loop st ...

2014

Comfusy: A Tool for Complete Functional Synthesis

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

Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the general-purpose programming language Scala with (non-reactive) functional synthesi ...

Springer2010

Graph-Based Distributed Control for Non-holonomic Vehicles Engaged in a Reconfiguration Task using Local Positioning Information

Alcherio Martinoli, Sven Adrian Gowal, Riccardo Falconi

Formation building and keeping among vehicles has been studied for many years, since 1987 with Reynold's rules. This paper presents a control algorithm, based on recent work in graph theory, able to reconfigure static formations of non-holonomic vehicles e ...

2009

Acoustic tomography for scalar and vector fields: theory and application to temperature and wind estimation

Martin Vetterli, Luciano Sbaiz, Ivana Jovanovic

Acoustic tomography is a type of inverse problem. The idea of estimating physical quantities that influence sound propagation by measuring the parameters of propagation has proven to be successful in many practical domains, including temperature and wind e ...

2009

OCL and Graph-Transformations – A Symbiotic Alliance to Alleviate the Frame Problem

Many popular methodologies are influenced by Design by Contract. They recommend to specify the intended behavior of operations in an early phase of the software development life cycle. In practice, software developers use most often natural language to des ...

2005