Concept

Automation

Publications associées (208)

Techniques for Identifying Elusive Corner-Case Bugs in Systems Software

Modern software is plagued by elusive corner-case bugs (e.g., security bugs). Because there are no scalable, automated ways of finding them, such bugs can remain hidden until software is deployed in production. This thesis proposes approaches to solve this ...

EPFL2015

Position accuracy with redundant MEMS IMU for road applications

Jan Skaloud, Pierre-Yves Gilliéron, Bertrand Merminod, Philipp Clausen

Traffic problems have mainly resulted from an increase in mobility over the last decades involving an increase in traffic congestion and degradation of environmental conditions. The employment of new systems - namely, Intelligent Transport Systems (ITS) is ...

2015

Style Checking With Scala.Meta

Eugene Burmako, Mathieu Baptiste Demarne

In many companies, code reviews are big parts of the day-to-day life of an engineer. Some can argue that the time spent on someone else’s code is time that some cannot spent on her or his own work. Code reviews usually allow to find two kinds of issues. Th ...

2015

Online Stream Mining for Condition Monitoring in Large Infrastructure Systems

Nils Robin Bouchardon

Supervisory Control and Data Acquisition (SCADA) systems are nowadays widely used in modern industry. Their utility has been proven over the past decades to supervise any automated processes. The scope of applications of such a system has been extended fro ...

2015

Reduced basis approximation of parametrized optimal flow control problems for the Stokes equations

Gianluigi Rozza, Andrea Manzoni, Federico Negri

This paper extends the reduced basis method for the solution of parametrized optimal control problems presented in Negri et al. (2013) to the case of noncoercive (elliptic) equations, such as the Stokes equations. We discuss both the theoretical properties ...

Elsevier2015

Are Autonomous Mobile Robots Able to Take Over Construction? A Review

Francesco Mondada, Hadi Ardiny, Stefan John Witwicki

Although construction has been known as a highly complex application field for autonomous robotic systems, recent advances in this field offer great hope for using robotic capabilities to develop automated construction. Today, space research agencies seek ...

2015

Cyber-secure Communication Architecture for Active Power Distribution Networks

Jean-Yves Le Boudec, Jean-Pierre Hubaux, Philippe Oechslin, Teklemariam Tsegay Tesfay

Active power distribution networks require sophisticated monitoring and control strategies for efficient energy management and automatic adaptive reconfiguration of the power infrastructure. Such requirements are realized by deploying a large number of var ...

2014

Automated Real-Time Control of Fluidic Self-Assembly of Microparticles

Jürgen Brugger, Alcherio Martinoli, Massimo Mastrangeli, Felix Stephan Schill, Helmut Knapp

Self-assembly is a key coordination mechanism for large multi-unit systems and a powerful bottom-up technology for micro/nanofabrication. Controlled self-assembly and dynamic reconfiguration of large ensembles of microscopic particles can effectively bridg ...

2014

Experimental Characterization of Drobot: Towards Closed-Loop Control

Massimo Mastrangeli, Pierre Lambert

This paper presents advances in the development of a microrobotic platform actuated by three liquid droplets in a gaseous environment (Drop-bot or Drobot). Drobot builds on the bubble robotics concept earlier introduced by Lenders [1]. A new platform desig ...

IEEE2014

Offset-Free Output Feedback Predictive Control for Longitudinal Beam Dynamics in Heavy Ion Synchrotrons

Timm Faulwasser

Control of the longitudinal beam dynamics in heavy ion synchrotrons is a challenging task due primarily to the very fast time constants present in the system. Recently, the authors developed a model predictive controller for this system and demonstrated th ...

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