Relating time progress and deadlines in hybrid systems
Publications associées (25)
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.
We consider the continuity equation with a nonsmooth vector field and a damping term. In their fundamental paper, DiPerna and Lions (Invent Math 98:511-547, 1989) proved that, when the damping term is bounded in space and time, the equation is well posed i ...
Tracing the diffusion of legal concepts between different countries is at the core of comparative law. However, this diffusion is not limited to statutes and cases, but pervades through public spheres. This is visible in published materials of all sorts. H ...
In recent years, several papers contributed to the development and clarification of key theoretical issues underlying the formulation of transport by travel time distributions in catchments. Such a formulation provides a robust description of the temporal ...
We propose an approach to reconstructing tree structures that evolve over time in 2D images and 3D image stacks such as neuronal axons or plant branches. Instead of reconstructing structures in each image independently, we do so for all images simultaneous ...
Most hydrological models are valid at most only in a few places and cannot be reasonably transferred to other places or to far distant time periods. Transfer in space is difficult because the models are conditioned on past observations at particular places ...
In recent years, there has been rapid progress on understanding Gaussian networks with multiple unicast connections, and new coding techniques have emerged. The essence of multi-source networks is how to efficiently manage interference that arises from the ...
Method and system for weighting the amplitude of an event in a time -based code. The time-based code is divided into time intervals. Each of the time intervals of the time-based code corresponds to a digit in the received signal. Each digit of a first stat ...
Gällivare is a remote city in the middle of the northern Swedish wilderness. The city was established as iron ore was found in the ground just over a century ago. Until the 60's the mining industry and the city grew together in what seemed to be a perfect ...
Departure time choice modeling has been part of main stream travel behavior research for more than three decades. Congestion management schemes are based on the assumption that travelers optimize their departure time choice. Ever since Vickrey, in the late ...
Let k be an algebraically closed field. Let P(X-11,...,X-nn, T) be the characteristic polynomial of the generic matrix (X-ij) over k. We determine its singular locus as well as the singular locus of its Galois splitting. If X is a smooth quasi-projective s ...