Sciweavers

2 search results - page 1 / 1
» A New Modality for Almost Everywhere Properties in Timed Aut...
Sort
View
CONCUR
2005
Springer
14 years 28 days ago
A New Modality for Almost Everywhere Properties in Timed Automata
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
Houda Bel Mokadem, Béatrice Bérard, ...
SIAMMA
2011
98views more  SIAMMA 2011»
13 years 2 months ago
Time-Periodic Linearized Solutions of the Compressible Euler Equations and a Problem of Small Divisors
It has been unknown since the time of Euler whether or not time-periodic sound wave propagation is physically possible in the compressible Euler equations, due mainly to the ubiqui...
Blake Temple, Robin Young