Results 271 to 280 of about 8,430 (314)
Some of the next articles are maybe not open access.
Time Automaton: A visual mechanism for temporal querying
Journal of Visual Languages & Computing, 2013Luís Certo, Teresa G.
Certo, Luís +2 more
openaire +1 more source
Lazy abstraction for timed automaton with interpolants
IEEJ Transactions on Electrical and Electronic Engineering, 2015In this paper, we adapt lazy abstraction with interpolants for reachability analysis of timed automaton. It involves computing an abstract reachability tree whose nodes are labeled by a location and a given set of predicates. The set of predicates over‐approximates the reachable clock valuations of the corresponding location, and the approximation is ...
Zuxi Chen, Zhongwei Xu
openaire +1 more source
Epidemic dynamics: discrete-time and cellular automaton models
Physica A: Statistical Mechanics and its Applications, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Willox, R. +3 more
openaire +3 more sources
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking
Journal of Computer Science and Technology, 2006zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhao, Jianhua +3 more
openaire +1 more source
Time dependent anomaly detection system for smart environment using probabilistic timed automaton
Journal of Ambient Intelligence and Humanized Computing, 2021The wide-ranging implementation of the digital Internet of Things (IoT) system in recent years has contributed to the development of smart cities. In real-world time, smart cities are designed to encourage simplicity and quality of life in developed areas.
S. Venkatraman +6 more
openaire +1 more source
Criterion of Neural Generation of Automaton Functions with Time Delay
Moscow University Mathematics Bulletin, 2020zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bokov, G. V., Drobyshev, A. S.
openaire +2 more sources
Timed Automaton RVT-Grammar for Workflow Translating
2018The paper studies grammar for workflow translating including semantic analysis. The main purpose of the translation is to expand the methods of semantic analysis of the grammatical model of distributed workflows due to the capabilities of the translation language.
Alexander Afanasyev +2 more
openaire +1 more source
Towards a tropical automaton product minimizing global completion times
Computational and Applied Mathematics, 2020zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Karla Quintero +3 more
openaire +1 more source
Timed Automaton and Petri Net models of Intersection Control
2020 7th International Conference on Control, Decision and Information Technologies (CoDIT), 2020This paper presents the model of intersection controllers using timed automata and colored Petri nets formalisms. The models include cars control, pedestrians control, vehicles detection system and failure diagnosis with subsequent control changes. The validation and verification of the models has been realized in UPPAAL Pro model-checker and CPN Tools.
Jana Flochova +2 more
openaire +1 more source
An adaptive automaton controller for discrete-time markov processes
Automatica, 1969The computation of an optimal feedback controller characteristic for a non-linear stochastic system may be facilitated by the use of a stochastic automaton as a system model. A problem of particular interest is that of a long duration stationary Markov process in which the state is observable but the process dynamics and disturbance characteristics are
openaire +2 more sources