Publications associées à Automation

System to deliver adaptive epidural and/or subdural electrical spinal cord stimulation to facilitate and restore locomotion after a neuromotor impairment

Silvestro Micera, Grégoire Courtine, Eduardo Martin Moraud, Nikolaus Wenger, Marco Bonizzato

The present invention provides a closed-loop system for real-time control of epidural and/or subdural electrical stimulation comprising: means for applying to a subject neuromodulation with adjustable stimulation parameters, said means being operatively co ...

2016

On the Impact of Integration of Non-Image Forming (NIF) Effect of Light on Electrical Lighting Control in Non-Residential Buildings

Jean-Louis Scartezzini, Ali Motamed, Marta Benedetti

Lighting has an impact on the visual as well as cognitive performance of people in non-residential buildings. Light is the most powerful time cue for resetting the circadian pacemaker and ensuring correct synchronization of the internal clock with the envi ...

2016

Automated hill chart modeling procedure to estimate the performance of double regulated units

François Avellan, Loïc Andolfatto, Henri-Pascal Mombelli

The work presented in this paper details an original procedure developed in order to automatically build on-cam surfaces for double-regulated hydropower units such as Kaplan or bulb turbines. The proposed method allows a sparse exploration of the operating ...

2016

Real Time Hybrid Model Predictive Control for the Current Profile of the Tokamak a Configuration Variable (TCV)

Stefano Coda, Jean-Marc Moret, Hoang Bao Le

Plasma stability is one of the obstacles in the path to the successful operation of fusion devices. Numerical control-oriented codes as it is the case of the widely accepted RZIp may be used within Tokamak simulations. The novelty of this article relies in ...

2016

High Performance Control of a Corner Cube Reflector by a Frequency-Domain Data-Driven Robust Control Method

Alireza Karimi, Etienne Frédéric Gabriel Thalmann

The linear motion of the Corner Cube Mechanism developed for the infrared sounder of the third generations of Meteosat weather satellites requires a high level of accuracy. The system is subject to external micro-vibration perturbations from surrounding in ...

Ieee2016

Applying model checking to industrial-sized PLC programs

Jean-Charles Tournier, Simon Bliudze, Borja Fernandez Adiego

Programmable Logic Controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. Formal verification has become a recommended practice to ensure the ...

Institute of Electrical and Electronics Engineers2015

System Design Automation: Challenges and Limitations

Joseph Sifakis

Electronic design automation (EDA) has enabled the integrated circuit industry to sustain exponentially increasing product complexity growth until today, while maintaining consistent product development timeline and costs. We argue that the success of EDA- ...

Ieee-Inst Electrical Electronics Engineers Inc2015

Construction Automation with Autonomous Mobile Robots: A Review

Francesco Mondada, Hadi Ardiny, Stefan John Witwicki

We review state-of-the-art research into automated construction by autonomous mobile robots. Today, space research agencies seek to build infrastructure without human intervention; and construction companies look to robots with the potential to improve in ...

2015

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.

Automation

Synthesis of Dual Mode Logic

System to deliver adaptive epidural and/or subdural electrical spinal cord stimulation to facilitate and restore locomotion after a neuromotor impairment

On the Impact of Integration of Non-Image Forming (NIF) Effect of Light on Electrical Lighting Control in Non-Residential Buildings

Automated hill chart modeling procedure to estimate the performance of double regulated units

Real Time Hybrid Model Predictive Control for the Current Profile of the Tokamak a Configuration Variable (TCV)

High Performance Control of a Corner Cube Reflector by a Frequency-Domain Data-Driven Robust Control Method

Introduction to the Issue on Advanced Signal Processing in Microscopy and Cell Imaging

Applying model checking to industrial-sized PLC programs

System Design Automation: Challenges and Limitations

Construction Automation with Autonomous Mobile Robots: A Review

Graph Chatbot

Chattez avec Graph Search

Automated hill chart modeling procedure to estimate the performance of double regulated units

System Design Automation: Challenges and Limitations

On the Impact of Integration of Non-Image Forming (NIF) Effect of Light on Electrical Lighting Control in Non-Residential Buildings

High Performance Control of a Corner Cube Reflector by a Frequency-Domain Data-Driven Robust Control Method

Synthesis of Dual Mode Logic

Construction Automation with Autonomous Mobile Robots: A Review

Introduction to the Issue on Advanced Signal Processing in Microscopy and Cell Imaging

Applying model checking to industrial-sized PLC programs

System to deliver adaptive epidural and/or subdural electrical spinal cord stimulation to facilitate and restore locomotion after a neuromotor impairment

Real Time Hybrid Model Predictive Control for the Current Profile of the Tokamak a Configuration Variable (TCV)