Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems
Related publications (39)
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
The Autonomous Systems Lab of EPFL3 is developing, within the framework of an ESA program, an ultra-lightweight solar autonomous model airplane called Sky-Sailor with embedded navigation and control systems. The main goal of this project is to jointly unde ...
The control system for the LEP machine is based on the concept of distributed intelligence. Hence the controls for the Vacuum System have to follow the same approach. There are a number of benefits available from having disctributed computing power, among ...
This thesis, based on a project realised in cooperation with Électricité de France (EDF), proposes a new concept for a Decision Aid Function FOr Restoration (DAFFOR) of transmission power systems after a blackout. DAFFOR is an interactive computer tool whi ...
From a sustainable development perspective, the newly developed automatic controllers for building services are very promising in that they increase energy efficiency and reduce commissioning and maintenance costs. But a major problem has appeared as the a ...
We consider one aspect of the general problem of unicast equation based rate control in the Internet, which we formulate as follows. When a so called ``loss-event" occurs, a data source updates its sending rate by setting it to f(pn^), where $\hat{ ...
This paper describes how a mandatory control course is enhanced with interactive applications. Basic concepts of automatic control, different ways to assess performance and robustness of a controlled system, and limits of closed- loop systems are illustrat ...
The original TCV control system was designed in the late 1980s to be inherently network based in that all control operations were performed from X-windows terminals and the control computers were networked. Using VMS-VAX technology, the acquisition system ...
A high performance system, specially designed for real-time plasma control and event detection on fusion experiments has been developed by the Centro de Fusao Nuclear of the Instituto Superior Tecnico (CFN/IST). Presently it is being integrated into the ad ...
With rapid advances in multimedia processing technologies, and in high bandwidth network technologies, new kinds of multimedia applications are now emerging. These applications require real-time, multimedia, and multipoint interactions involving multiple c ...