Interacting Automata for Modelling Distributed Systems

机译：交互自动机用于分布式系统建模

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

A community of interacting automata is a set of nondeter-rninistic finite automata which can execute actions autonomously, synchronize with each other, or generate new members of the community. Thus interacting automata allow to model distributed systems with unlimited number of interacting agents. We show that the formalism of interacting automata has a clear semantics and nice semantic properties, leading to decidability of some important behavioral properties of modelled systems.

机译：交互自动机社区是一组非确定性有限自动机，可以自动执行动作，彼此同步或生成社区的新成员。因此，交互自动机允许使用无限数量的交互代理对分布式系统进行建模。我们证明了交互自动机的形式主义具有清晰的语义和良好的语义特性，从而导致了建模系统的一些重要行为特性的可判定性。

著录项

来源
《International Conference on Computational Science - ICCA 2003 Pt.2 Jun 2-4, 2003 Melbourne, Australia and St. Petersburg, Russia》|2003年|p.851-860|共10页
会议地点 Melbourne(AU) St. Petersburg(RU);Melbourne(AU) St. Petersburg(RU)
作者
Irina A. Lomazova;
展开▼
作者单位

Program Systems Institute of the Russian Academy of Science Pereslavl-Zalessky, 152020, Russia;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata [J] . Shenggen Zheng, Daowen Qiu, Jozef Gruska Information and computation . 2015,第apra期

机译：具有半量子双向有限自动机建模的验证器的交互式证明系统的功能
2. Distributed synchronous diagnosis of discrete event systems modeled as automata [J] . Maria Z.M. Veras, Felipe G. Cabral, Marcos V. Moreira Control Engineering Practice . 2021,第Octa期

机译：分布式同步诊断为自动机建模的离散事件系统
3. Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions [J] . Rodriguez-Navas Guillermo, Proenza Julián Software Engineering, IEEE Transactions on . 2013,第6期

机译：使用定时自动机对带有时钟的分布式系统进行建模：挑战和解决方案
4. Interacting Automata for Modelling Distributed Systems [C] . International conference on computational science . 2003

机译：用于建模分布式系统的自动机
5. A hierarchical structure of interacting automata for modeling battlefield dynamics: Controllability and formal specification. [D] . Peluso, Eileen Marian Mecone. 1996

机译：交互式自动机的分层结构，用于对战场动力学建模：可控性和形式规范。
6. Modeling Living Cells Within Microfluidic Systems Using Cellular Automata Models [O] . Julia Ballesteros Hernando, Milagros Ramos Gómez, Andrés Díaz Lantada -1

机译：使用细胞自动机模型对微流体系统内的活细胞建模
7. Modelling Distributed Systems in Distributed Autonomous and Asynchronous Automata (DA3) [O] . Wiktor Daszczuk 2019

机译：在分布式自主和异步自动机中建模分布式系统（DA3）
8. Verifying Hybrid Systems Modeled as Timed Automata: A Case Study. [R] . Archer, M., Heitmeyer, C. 1997

机译：验证模拟为定时自动机的混合系统：案例研究。

Interacting Automata for Modelling Distributed Systems

摘要

著录项

相似文献

相关主题

期刊订阅