Concept

Logique temporelle

Publications associées (59)

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

Introduction to Data Visualization

Dario Rodighiero

This would be an introduction to the domain of data visualization. The presentation core is composed of a series of examples organized in three time-based sections: classic visualizations (18th and 19th centuries), modern visualizations (20th century), and ...

2018

Robust Control Policies Given Formal Specifications in Uncertain Environments

Maryam Kamgarpour, Tony Alan Wood

We consider robust control synthesis for linear systems with complex specifications that are affected by uncertain disturbances. This letter is motivated by autonomous systems interacting with partially known, time-varying environments. Given a specificati ...

2017

Spatial and temporal aspects of visual backward masking in children and young adolescents

Michael Herzog

The development of visual functions is very diverse. Some visual functions mature within the first year of life, whereas maturation for other functions extends into adolescence. The reasons for these developmental differences are largely unknown. Here, we ...

Springer2016

Temporal characterization of individual harmonics of an attosecond pulse train by THz streaking

Christoph Peter Hauri, Fernando Ardana Lamas, Ishkhan Gorgisyan

We report on the temporal pulse characteristics of individual harmonics in an attosecond pulse train by means of photoelectron streaking in a strong low-frequency transient. The scheme allows one to retrieve the pulse durations and first-order chirp of ind ...

2016

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

Configuration Logics - Modelling Architecture Styles

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1)~interaction logics for the specification of arch ...

2015

Program repair without regret

Barbara Jobstmann

We present a new and flexible approach to repair reactive programs with respect to a specification. The specification is given in linear-temporal logic. Like in previous approaches, we aim for a repaired program that satisfies the specification and is synt ...

Springer2015

Twin Photon Source: Spatio-temporal Properties

We propose a method to study and characterize the spatial and temporal properties of degenerate photon pairs emitted in SPDC, using a filtering system combined with temperature variation of the nonlinear crystal. The photons can be distinguished. We relate ...

Spie-Int Soc Optical Engineering2015

Measurement and Shaping of Biphoton Spectral Wave Functions

In this work we present a simple method to reconstruct the complex spectral wave function of a biphoton, and hence gain complete information about the spectral and temporal properties of a photon pair. The technique, which relies on quantum interference, i ...

Amer Physical Soc2015

Automated refactoring for size reduction of CSS style sheets

Martí Bosch Padrós

Cascading Style Sheets (CSS) is a standard language for stylizing and formatting web documents. Its role in web user experience becomes increasingly important. However, CSS files tend to be designed from a result-driven point of view, without much attentio ...

2014