I. B. Burdonov, N. V. Evtushenko, A. S. Kossachev, N. G. Kushik
{"title":"可观测输入/输出自动机的预设归位与同步序列","authors":"I. B. Burdonov, N. V. Evtushenko, A. S. Kossachev, N. G. Kushik","doi":"10.1134/S0005117923060048","DOIUrl":null,"url":null,"abstract":"<p>The paper is devoted to the problem of deriving synchronizing and homing experiments for nondeterministic Input/Output automata; corresponding input sequences are widely used in testing (non-initialized) discrete event systems. In active testing, there is an opportunity to set a system under test into a known initial state; in passive testing, a known current state allows to reduce the number of properties to be checked. In the paper, we note that such experiments for Input/Output automata are different from so-called “gedanken” experiments with classical Finite State Machines; the existence check conditions of such experiments are established for a predefined discipline of applying inputs and a method for its derivation is proposed when such an experiment exists. The obtained results allow to reduce the problem of deriving synchronizing and homing experiments for Input/Output automata to the well developed problem of deriving such experiments for appropriate classes of Finite State Machines.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata\",\"authors\":\"I. B. Burdonov, N. V. Evtushenko, A. S. Kossachev, N. G. Kushik\",\"doi\":\"10.1134/S0005117923060048\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>The paper is devoted to the problem of deriving synchronizing and homing experiments for nondeterministic Input/Output automata; corresponding input sequences are widely used in testing (non-initialized) discrete event systems. In active testing, there is an opportunity to set a system under test into a known initial state; in passive testing, a known current state allows to reduce the number of properties to be checked. In the paper, we note that such experiments for Input/Output automata are different from so-called “gedanken” experiments with classical Finite State Machines; the existence check conditions of such experiments are established for a predefined discipline of applying inputs and a method for its derivation is proposed when such an experiment exists. The obtained results allow to reduce the problem of deriving synchronizing and homing experiments for Input/Output automata to the well developed problem of deriving such experiments for appropriate classes of Finite State Machines.</p>\",\"PeriodicalId\":55411,\"journal\":{\"name\":\"Automation and Remote Control\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2023-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Automation and Remote Control\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://link.springer.com/article/10.1134/S0005117923060048\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Automation and Remote Control","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1134/S0005117923060048","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata
The paper is devoted to the problem of deriving synchronizing and homing experiments for nondeterministic Input/Output automata; corresponding input sequences are widely used in testing (non-initialized) discrete event systems. In active testing, there is an opportunity to set a system under test into a known initial state; in passive testing, a known current state allows to reduce the number of properties to be checked. In the paper, we note that such experiments for Input/Output automata are different from so-called “gedanken” experiments with classical Finite State Machines; the existence check conditions of such experiments are established for a predefined discipline of applying inputs and a method for its derivation is proposed when such an experiment exists. The obtained results allow to reduce the problem of deriving synchronizing and homing experiments for Input/Output automata to the well developed problem of deriving such experiments for appropriate classes of Finite State Machines.
期刊介绍:
Automation and Remote Control is one of the first journals on control theory. The scope of the journal is control theory problems and applications. The journal publishes reviews, original articles, and short communications (deterministic, stochastic, adaptive, and robust formulations) and its applications (computer control, components and instruments, process control, social and economy control, etc.).