Concept

Logique temporelle linéaire

Publications associées (62)

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

OCUVIS: A Web-Based Visualizer for Simulated Daylight Performance

Marilyne Andersen, María Lovísa Ámundadóttir, Siobhan Francois Rockcastle

This paper introduces an interactive web-based visualizer for multi-metric daylight simulation results, named OCUVIS. It is able to display simulation-based results for a diverse range of ocular human-centric metrics such as non-visual health potential (nv ...

2018

From Timed Component-Based Systems to Time-Triggered Implementations: A Correct-by-Design Approach

In hard real-time embedded systems, design and specification methods and their associated tools must allow development of temporally deterministic systems to ensure their safety. To achieve this goal, we are specifically interested in methodologies based o ...

CEA LIST2017

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

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

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

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