scholarly journals Language Preservation Problems in Parametric Timed Automata

2015 ◽  
pp. 27-43 ◽  
Author(s):  
Étienne André ◽  
Nicolas Markey
Keyword(s):  
Timed Automata ◽  
Language Preservation

PECULIARITIES OF THE RUSSIAN LANGUAGE PRESERVATION BY THE RUSSIAN SETTLERS’ DESCENDANTS IN CHINESE REGION OF THREE RIVERS IN THE ХХ CENTURY AND AT THE BEGINNING OF THE XXI CENTURY

2020 ◽  
pp. 113-121
Author(s):  
Oleg Pustovalov
Keyword(s):  
Inner Mongolia ◽  
Russian Language ◽  
Scientific Study ◽  
Language Preservation ◽  
Language Competence ◽  
Republic Of China ◽  
Russian People ◽  
Research Objects ◽  
Three Rivers ◽  
The Russian Language

The territory of Trekhrechiye is the Region of Three Rivers (Sanhe, the District of Hulunbuir, Inner Mongolia, the People's Republic of China). This territory is subject to scientific study by historians and philologists. The research objects of this article are language aspects of modern Trekhrechiye. The aim of the study is to describe language competence of the Russian settlers’ descendants, who live now in the Region of Three Rivers, that place became mass residential centre of the Russian people in the XX century. Moreover, it is important to show dynamics of the people’s competences of the Russian language throughout the entire period of the Russian presence there. The description of the language competence of the Russian settlers’ descendants of different generations is based on the results of scientific expedition to the Region of Three Rivers. The expedition took place in 2017–2018 and was undertaken by the author. It allowed the author to monitor the extent of the Russian language preservation in different generations.

Modeling and Verifying Services of Internet of Things Based on Timed Automata

2011 ◽  
Vol 34 (8) ◽  
pp. 1365-1377 ◽  
Author(s):  
Li-Xing LI ◽  
Zhi JIN ◽  
Ge LI
Keyword(s):  
Internet Of Things ◽  
Timed Automata

scholarly journals Priced Timed Automata Models for Control of Intelligent Product Agents in Manufacturing Systems

2020 ◽  
Vol 53 (4) ◽  
pp. 136-142
Author(s):  
Ilya Kovalenko ◽  
Dawn Tilbury ◽  
Kira Barton
Keyword(s):  
Manufacturing Systems ◽  
Timed Automata ◽  
Intelligent Product

scholarly journals Adaptive Cruise Control with Timed Automata

2020 ◽  
Vol 53 (2) ◽  
pp. 1918-1923
Author(s):  
Mustafa Yavuz Kara ◽  
Ebru Aydin Gol
Keyword(s):  
Adaptive Cruise Control ◽  
Timed Automata ◽  
Cruise Control

scholarly journals Configurable verification of timed automata with discrete variables

2020 ◽  
Author(s):  
Tamás Tóth ◽  
István Majzik
Keyword(s):  
Timed Automata ◽  
Empirical Evaluation ◽  
Real Time Systems ◽  
Discrete Variables ◽  
Reachability Problem ◽  
Abstraction Refinement ◽  
Dependent Behavior ◽  
Wide Range ◽  
Time Systems ◽  
Lazy Abstraction

AbstractAlgorithms and protocols with time dependent behavior are often specified formally using timed automata. For practical real-time systems, besides real-valued clock variables, these specifications typically contain discrete data variables with nontrivial data flow. In this paper, we propose a configurable lazy abstraction framework for the location reachability problem of timed automata that potentially contain discrete variables. Moreover, based on our previous work, we uniformly formalize in our framework several abstraction refinement strategies for both clock and discrete variables that can be freely combined, resulting in many distinct algorithm configurations. Besides the proposed refinement strategies, the configurability of the framework allows the integration of existing efficient lazy abstraction algorithms for clock variables based on $${\textit{LU}}$$ LU -bounds. We demonstrate the applicability of the framework and the proposed refinement strategies by an empirical evaluation on a wide range of timed automata models, including ones that contain discrete variables or diagonal constraints.

Systematic generation of cyclic operating procedures based on timed automata

2014 ◽  
Vol 92 (1) ◽  
pp. 139-155 ◽  
Author(s):  
Jeh-Hsuan Li ◽  
Chuei-Tin Chang ◽  
Da Jiang
Keyword(s):  
Timed Automata
Sign in / Sign up

Export Citation Format

Share Document