Automata for modeling real-time systems
Proceedings of the seventeenth international colloquium on Automata, languages and programming
A Determinizable Class of Timed Automata
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Control model of photometric complex based on asynchronous finite automaton
CompSysTech '03 Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
Hi-index | 0.00 |
This paper examines a program model of a processor, designed for execution of cyclograms for a spectrophotometic complex control. A practical approach is treated for cyclograms pseudoparallelization by the help of which a compact and effective model is created for real-time control. Attention is paid to the character and specificity of commands executed by the processor.