Harmonization of interacting automata

DOI10.1007/S10559-015-9759-0zbMath1328.68110OpenAlexW2339249738MaRDI QIDQ904417

Anatoli N. Chebotarev

Publication date: 13 January 2016

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

Full work available at URL: https://doi.org/10.1007/s10559-015-9759-0

zbMATH Keywords

composition of automataautomaton shift with respect to inputcorrectness of a compositionharmonization of automatainteraction of automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (3)

Harmonization of automata specifications represented in the language L ⋮ Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata ⋮ Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Compositional approach to the development of reactive algorithms
• Defining liveness
• General method of testing the compatibility of interacting automata with finite memory
• Interacting automata
• Deterministic generators and games for Ltl fragments
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Harmonization of interacting automata