Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems

We introduce a logic for specifying and verifying metric temporal properties of distributed hybrid systems that combines quantified differential dynamic logic (QdL) for reasoning about the possible behavior of distributed hybrid systems with metric temporal logic (MTL) for reasoning about the metric temporal behavior during their operation. For our combined logic, we generalize the semantics of dynamic modalities to refer to hybrid traces instead of final states. Further, we prove that this gives a conservative extension of QdL for distributed hybrid systems. On this basis, we provide a modular verification calculus that reduces correctness of metric temporal behavior of distributed hybrid systems to generic temporal reasoning and then non-temporal reasoning, and prove that we obtain a complete axiomatization relative to the non-temporal base logic QdL.

Download Full-text

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 ◽

10.1145/1755952.1755983 ◽

2010 ◽

Cited By ~ 58

Author(s):

Truong Nghiem ◽

Sriram Sankaranarayanan ◽

Georgios Fainekos ◽

Franjo Ivancić ◽

Aarti Gupta ◽

...

Keyword(s):

Monte Carlo ◽

Hybrid Systems ◽

Monte Carlo Techniques ◽

Temporal Properties ◽

Non Linear

Download Full-text

Auditory Training to Improve Speech Perception and Self-Efficacy in Aging Adults

Journal of Speech Language and Hearing Research ◽

10.1044/2019_jslhr-19-00355 ◽

2020 ◽

Vol 63 (4) ◽

pp. 1270-1281

Author(s):

Leah Fostick ◽

Riki Taitelbaum-Swead ◽

Shulamith Kreitler ◽

Shelly Zokraut ◽

Miriam Billig

Keyword(s):

Speech Perception ◽

Self Efficacy ◽

Temporal Order Judgment ◽

Auditory Training ◽

Intensity Discrimination ◽

Training Design ◽

Auditory Temporal Processing ◽

Temporal Properties ◽

Computer Based ◽

Aging Adults

Purpose Difficulty in understanding spoken speech is a common complaint among aging adults, even when hearing impairment is absent. Correlational studies point to a relationship between age, auditory temporal processing (ATP), and speech perception but cannot demonstrate causality unlike training studies. In the current study, we test (a) the causal relationship between a spatial–temporal ATP task (temporal order judgment [TOJ]) and speech perception among aging adults using a training design and (b) whether improvement in aging adult speech perception is accompanied by improved self-efficacy. Method Eighty-two participants aged 60–83 years were randomly assigned to a group receiving (a) ATP training (TOJ) over 14 days, (b) non-ATP training (intensity discrimination) over 14 days, or (c) no training. Results The data showed that TOJ training elicited improvement in all speech perception tests, which was accompanied by increased self-efficacy. Neither improvement in speech perception nor self-efficacy was evident following non-ATP training or no training. Conclusions There was no generalization of the improvement resulting from TOJ training to intensity discrimination or generalization of improvement resulting from intensity discrimination training to speech perception. These findings imply that the effect of TOJ training on speech perception is specific and such improvement is not simply the product of generally improved auditory perception. It provides support for the idea that temporal properties of speech are indeed crucial for speech perception. Clinically, the findings suggest that aging adults can be trained to improve their speech perception, specifically through computer-based auditory training, and this may improve perceived self-efficacy.

Download Full-text