Электронная библиотека (репозиторий) Томского государственного университета
Tvardovskii, Aleksandr

Add to Quick Collection   All 7 Results

Showing items 1 - 7 of 7.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Adaptive experiments for state identification in finite state machines with timeouts
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: Machines, computations, and universality : 9th International conference, MCU 2022 Debrecen, Hungary, August 31 – September 2, 2022 : proceedings. Cham, 2022. P. 172-188
Type: статьи в сборниках
Date: 2022
Description: Homing and synchronizing sequences are used for the current state identification in finite state machines (FSMs). Adaptive homing and synchronizing sequences for which the next input depends on the ou ... More
Add   Deriving homing sequences for Finite State Machines with timeouts
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: The computer journal. 2022. Vol. 66, № 9. P. 2181-2190
Type: статьи в журналах
Date: 2022
Description: State identification is the well-known problem in the automata theory that is aimed to determining the current or initial state of a system under test and this fact is widely used in the model-based t ... More
Add   Adaptive homing sequences for partial weakly-initialized observable FSMs
Authors: Vinarskii, Evgenii | Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedings. [S. l.], 2021. P. 335-339
Type: статьи в сборниках
Date: 2021
Description: Finite State Machine (FSM) based state identification problem is widely used for analysis of discrete event systems. A homing sequence (HS) allows to determine the current state of an FSM under invest ... More
Add   FSM-based sequential circuits optimization by changing initial state of specification
Authors: Gromov, Maxim L. | Shabaldina, Natalia V. | Tvardovskii, Aleksandr | Prokopenko, Svetlana A.
Source: 2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, September 10 – 13, 2021. [S. l.], 2021. P. 361-366
Type: статьи в сборниках
Date: 2021
Description: Finite State Machines (FSMs) are widely used for analysis and synthesis of hardware designs. In particular FSM can be used to specify and optimize sequential circuits. The number of gates of a circuit ... More
Add   Deriving tests with guaranteed fault coverage for finite state machines with timeouts
Authors: Tvardovskii, Aleksandr | El-Fakih, Khaled | Yevtushenko, Nina V.
Source: Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018 : proceedings. Cham, 2018. P. 149-154
Type: статьи в сборниках
Date: 2018
Description: In contrast to untimed FSMs, two minimal initialized FSMs with timeouts can be equivalent but not isomorphic. Accordingly, we propose an appropriate fault model and a method for complete test derivati ... More
Add   Minimizing deterministic timed finite state machines
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V. | Villa, Tiziano | Gromov, Maxim L. | Bresolin, Davide
Source: IFAC-PapersOnLine. 2018. Vol. 51, № 7. P. 486-492
Type: статьи в журналах
Date: 2018
Description: Timed automata and timed finite state machins (TFSMs) have been proposed to represent more accurately the behaviour of systems in continuous time. Recently, we introduced a model of TFSMs that extends ... More
Add   Testing components of interacting timed finite state machines
Authors: Gromov, Maxim | Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016. [S. l.], 2016. P. 193-196
Type: статьи в сборниках
Date: 2016
  • «
  • ←
  • 1
  • →
  • »
^