Harmonization of automata specifications represented in the language L

DOI10.1007/S10559-016-9834-1MaRDI QIDQ334231zbMATH OpenOpenAlexFDO

Authors A. N. Chebotarev

Publication date 1 November 2016

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10559-016-9834-1

zbMATH Keywords

automaton specificationcomposition correctnesscomposition of specificationsharmonization of specificationslanguage L

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Extension of the automaton specification logical language and the synthesis problem
• Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\)
• Harmonization of interacting automata
• Determinization of logical specifications of automata
• Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). I

Cites work

• scientific article; zbMATH DE number 3819689 (Why is no real title available?)
• scientific article; zbMATH DE number 7301749 (Why is no real title available?)
• Consistency test for simple specifications of automaton systems
• General method of testing the compatibility of interacting automata with finite memory
• Harmonization of interacting automata
• Separable resolution method for checking the satisfiability of formulas in the language \({\mathfrak L}\)

Cited in

(4)

• Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of -automata
• Determinization of logical specifications of automata
• Harmonization of interacting automata
• Problems of synthesis of -automata specified in languages LP and LF of first order logic

This page was built for publication: Harmonization of automata specifications represented in the language L

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q334231)