Analysis and synthesis of abstract automata

Kudryavtsev, V. B.; Grunskii, I. S.; Kozlovskii, V. A.

doi:10.1007/s10958-010-0058-z

Cited by 13 publications

(5 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The formal basis of recognition in the control model for external (3)partially observable and controlled behavior is check or recognizing experiments [11], which make it possible to determine the correspondence of the checked EPN S(f)^ and the reference EPN S(f).…”

Section: Development Of a Model Of Testing With Verification Of Energy Inputsmentioning

confidence: 99%

“…As a result, it becomes possible to construct control or recognition experiments [11] to testing the complete behavior (2) of non-redundant EPN S(f) provided that internal elements are determined and recognizedsubsets of positions with internal events from Ev\X or transitions with internal actions from Ac\Y.…”

Section: Development Of a Model Of Testing With Verification Of Energy Inputsmentioning

confidence: 99%

“…The downside of the penetration of computer technologies into all spheres of human activity is the increase in the criticality of tasks [7] solved with their help, which significantly increases the requirements for the reliability of their functioning [8,9]. The importance and absolute necessity of the design and operational efficiency of the DIS becomes obvious, in particular, achieved through the analysis of correctness [10], verification [11], testing and diagnostics [11,12] of DIS projects and implementations, checking, in particular, the optimality values of their energy consumption, including in the modes of hidden functioning.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Behavioral Hiddentesting of Distributed Information Systemstaking Into Accountof Energy

Martynyuk

Drozd

Nesterenko

et al. 2021

HAIT

View full text Add to dashboard Cite

The introduction of new energy-consuming properties for positions and transitions into the checked properties of the extended reference Petri net, for which the deviations of the tested Petri net are determined and a testing model is developed, provides new diagnostic possibilities. Keeping the class of checked properties in the composition of deviations of incidence relations, correspondences and marking functions of positions and transitions for the checked and reference Petri nets, the new properties make it possible to record the appearance of critical temperature regimes that are a consequence of errors or directly leading to their appearance. This versatility of testing helps to increase its completeness, accuracy and efficiency. The energy-heavy testing model is based on verification of incidence, correspondence, and markup functions. Checking the markup functions when generating events in positions, performing actions in transitions, as well as the proposed checking of the energy consumption indicators accumulated in the monitor tokens, is performed when checking the incidence, correspondences. The features of the testing model include the input of generalized energy-loaded Petri nets recorders, accumulating information about energy consumption in the behavior of positions/transitions, topological components and subnets, the entire Petri net in the process of its functioning. The testing model is also distinguished by the recognition of the reference energy-loaded behavior when checking the Petri net based on behavioral identification and coincidence of subsets of positions/transitions, the determination of behavior, the use of check primitives and transactions. The behavioral testing model defines the formal conditions for behavioral testing procedures, including the analysis of the correctness of energy consumption. The dimensionality of the testing model was estimated using the representation of Petri net graphs, special graphs of attainable states, including Rabin-Scott automata, using list structures. These estimates define the limits of applicability of the formal testing model

show abstract

Section: Development Of a Model Of Testing With Verification Of Energy Inputsmentioning

confidence: 99%

Section: Development Of a Model Of Testing With Verification Of Energy Inputsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Behavioral Hiddentesting of Distributed Information Systemstaking Into Accountof Energy

Martynyuk

Drozd

Nesterenko

et al. 2021

HAIT

View full text Add to dashboard Cite

show abstract

“…Due to a finite time of observation, collected data is necessary partial; consequently, identification is often presented as a sub-problem of net synthesis, where the whole behaviour of the system is known, as well as counterexamples. This difference is pointed out in [10]. Both problems have been treated in several works, surveyed in [4].…”

Section: A Related Workmentioning

confidence: 99%

Automated Partitioning of Concurrent Discrete-Event Systems for Distributed Behavioral Identification

Saives¹,

Faraut²,

Lesage³

2018

IEEE Trans. Automat. Sci. Eng.

View full text Add to dashboard Cite

The aim of behavioural identification of Discrete Event Systems is to build, from a sequence of observed inputs/outputs events, an understandable model that exhibits both the direct relations between inputs and outputs events (i.e. the observable behaviour of the system) and the internal state evolutions (i.e. the unobservable behaviour). Since parallelism hinders the construction of monolithic models, distributed identification builds instead models of subsystems. This paper proposes an automated partitioning of the system, optimal regarding the readability of the identified distributed models, thus fitting reverse-engineering purposes. To solve the optimization problem, a first solution is extracted from the observable behaviour, then additional solutions are computed by agglomerative clustering. The approach is applied to a benchmark, resulting in an adequate functional partition.Note to Practitioners-Identification is an approach to obtain models of an existing closed-loop Discrete Event System from an observed I/O sequence, discovering both sequential and concurrent processes within a same system. The result is an understandable and compact model, that approximates the observed behaviour and can be used for reverse-engineering. To get better insight on the behaviour of the system, splitting it into subsystems and studying distributed models might be easier. Besides, identifying smaller subsystems reduces the computational cost. The main contribution of this article is therefore a partitioning approach for distributed DES identification. Only the knowledge of the I/Os and the observed I/O sequence are required to provide a partitioning adapted to reverse-engineering and compact distributed models, in reasonable computation times.

show abstract

“…Development of the models and methods for the automata theory and experiments, determining the general methodology of the behavioral test analysis, removes the upper bounds of applicability of the test automata models [13,14]. Complexity reduction, first of all, the reduction of the time of behavioral tests synthesis in a class of errors of mapping with the substantially saved values of the check completeness, is reached by:  the distributed network [15,16,17] and throughhierarchical [18] methods, reducing polynomially the dimension of the test synthesis and its duration due to the decomposition;  the evolutionary-genetic methods [19][20][21], which have the upper bounds of complexity of the determined methods and give polynomially smaller experimental values of complexity of the tests synthesis for the majority of cases [22]. Nevertheless, the synthesis of behavioral tests of the acceptable check completeness is possible for DIS with an average degree of complexity; it refers to the test of NP-complex class despite this reduction.…”

Section: Analysis Of Existing Solutionsmentioning

confidence: 99%

The Hybrid Agent Model of Behavioral Testing

Sugak¹,

Martynyuk²,

Drozd³

2015

IJC

View full text Add to dashboard Cite

Operation testing and diagnostic tests, applied for distributed information systems, inherit and employ the properties of distribution, autonomy, goal formation and cooperation, natural for the multi-agent systems. This paper presents the behavioral diagnostics agent model, based on the evolutionary organization of component tests in the automata network environment. The model can be used to construct a multi-agent diagnostics system. A hybrid agent model provides a combination of reactive operation testing and deliberative diagnostic tests, based on the deterministic and evolutionary methods of synthesis of behavioral tests. An agent model consists of the component models of allocation environment, functioning goals and strategies, operations of observation, enforcement strategy and adaptation, initial component models, goals and strategies for ensuring the autonomy. Agent intelligence is based on a locally-exhaustive deterministic and pseudorandom targeted evolutionary synthesis of behavioral tests, providing and accumulating the results. Cooperation of the agents involves their deterministic and evolutionary interactions under the conditions of test feasibility and portability.

show abstract

Analysis and synthesis of abstract automata

Cited by 13 publications

References 8 publications

Behavioral Hiddentesting of Distributed Information Systemstaking Into Accountof Energy

Behavioral Hiddentesting of Distributed Information Systemstaking Into Accountof Energy

Automated Partitioning of Concurrent Discrete-Event Systems for Distributed Behavioral Identification

The Hybrid Agent Model of Behavioral Testing

Contact Info

Product

Resources

About