Synthesis of controllers for abstract and structural automata

MaRDI QIDQ2457201zbMATH OpenFDO

Authors M. V. Vetrova, N. Evtushenko

Publication date 30 October 2007

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• scientific article; zbMATH DE number 4039303
• Controller synthesis for bisimulation equivalence
• Automata and games for synthesis
• scientific article; zbMATH DE number 1836353
• scientific article; zbMATH DE number 3883972

Cited in

(9)

• Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
• Formalization of synthesis problems for the control algorithms of a computer subsystem
• Controller/orchestrator synthesis via filtration
• Controller Synthesis and Ordinal Automata
• scientific article; zbMATH DE number 4039303 (Why is no real title available?)
• scientific article; zbMATH DE number 1836353 (Why is no real title available?)
• scientific article; zbMATH DE number 2090723 (Why is no real title available?)
• Synthesis of Reo connectors for strategies and controllers
• CONTROLLABILITY AND COOPERATIVENESS ANALYSIS FOR AUTOMATIC ABSTRACTION REFINEMENT

This page was built for publication: Synthesis of controllers for abstract and structural automata

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