We study the trap depth requirement for the realization of an optical clock using atoms
confined in a lattice. We show that site-to-site tunneling leads to a residual sensitivity to the …

A Survey on Analog Models of Computation Page 1 Chapter 6 A Survey on Analog Models of
Computation Olivier Bournez and Amaury Pouly Abstract We present a survey on analog …

We provide an overview of theories of continuous time computation. These theories allow us
to understand both the hardness of questions related to continuous time dynamical systems …

We develop a unified functional formalism for modelling complex systems, that is to say
systems that are composed of a number of heterogeneous components, including typically …

The purpose of this paper is to contribute to a unified formal framework for complex systems
modeling. To this aim, we define a unified semantics for systems including integration …

Challenges in Timed Languages: From Applied Theory to Basic Theory Page 1 HAL Id: hal-00157685
https://hal.science/hal-00157685 Submitted on 26 Jun 2007 HAL is a multi-disciplinary open …

The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several
variants. In particular it can be strict (when it does not constrain the current instant) or not …

We consider one aspect of the problem of specification and verification of reactive real-time
systems which involve operations and constraints concerning time. Time is continuous what …

Complex industrial systems are typically artificial objects designed by men, involving a huge
number of heterogeneous components (eg hardware, software, or human organizations) …

We define a general concept of a network of analog modules connected by channels,
processing data from a metric space A, and operating with respect to a global continuous …