We investigate extensions of Alur and Dill’s timed automata, based on the possibility to update the clocks in a more elaborate way than simply reset them to zero. We call these automata updatable timed automata. They form an undecidable class of models, in the sense that emptiness checking is not decidable. However, using an extension of the region graph construction, we exhibit interesting dec...

The fiscal position of many countries is worrying – and getting worse. Should formally independent central bankers be concerned about observed fiscal excesses spilling over to monetary policy and jeopardizing price stability? To provide some insights, this paper tracks the interactions between fiscal and monetary policies in the data across time and space. It makes three main contributions. The...

Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing occurs whenever an attacker successfully deduces confidential internal information. In this work, we consider that has access (only) to system execution time. We address following timed opacity problem: given a system, private location and final location, synthesize times from ini...

Article: Sit-up tests have been included in most youth and adult fitness test batteries. One logical reason for their inclusion is the possible relationship between poor abdominal strength and the incidence of low back pain. Therefore, a number of timed field tests have been proposed to measure abdominal function. However, the published data on the validity of field test measures are sparse. Th...

[Purpose] This study was designed to investigate the effects of spiral taping (ST) on the pain and walking performance of individual with chronic ankle instability (CAI). [Subjects and Methods] 12 men and 13 women (mean: 21.52 years; range: 20-31 years) with unilateral CAI (Cumberland ankle instability score: ≤24) were included. All the participants received 3 mm-wide ST. The latter was applied...

Background One of the most common causes of severe physical disability in childhood is cerebral palsy (CP). Mobility is one of the most important functions to fulfill the activities of daily living. We aimed to determine the effectiveness of cold application to improve ...

We introduce the novel notion of quasi-equal clocks and use it to improve the verification time of networks of timed automata. Intuitively, two clocks are quasi-equal if, during each run of the system, they have the same valuation except for those points in time where they are reset. We propose a transformation that takes a network of timed automata and yields a network of timed automata which ...