Formal modeling towards a dynamic organization of multi-agent systems using communicating X-machine and Z-notation

Indian Journal of Science and Technology ◽

10.17485/ijst/2012/v5i7.13 ◽

2012 ◽

Vol 5 (7) ◽

pp. 1-6

Author(s):

Ghulam Ali

Keyword(s):

Formal Modeling ◽

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent ◽

Dynamic Organization

Download Full-text

To a Formal Modeling Approach of Error Recovery in Production Systems Based on Holonic Multi-agent Systems Specification

Agent and Multi-Agent Systems. Technologies and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30947-2_41 ◽

2012 ◽

pp. 370-378 ◽

Author(s):

Belhassen Mazigh ◽

Ahmed Hammed ◽

Vincent Hilaire

Keyword(s):

Production Systems ◽

Error Recovery ◽

Formal Modeling ◽

Multi Agent Systems ◽

Agent Systems ◽

Modeling Approach ◽

Download Full-text

Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework

Studies in Computational Intelligence - Intelligent Distributed Computing, Systems and Applications ◽

10.1007/978-3-540-85257-5_19 ◽

2008 ◽

pp. 187-196 ◽

Author(s):

Francesco Moscato ◽

Salvatore Venticinque ◽

Rocco Aversa ◽

Beniamino Di Martino

Keyword(s):

Real Time ◽

Formal Modeling ◽

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text

Efficient Contract-Net Protocol for Formal Modeling of Multi-Agent Systems

International Journal of Computing and Digital Systems ◽

10.12785/ijcds/100174 ◽

2021 ◽

Vol 10 (1) ◽

pp. 805-816

Author(s):

Awais Qasim ◽

Areeba Bader ◽

Adeel Munawar

Keyword(s):

Formal Modeling ◽

Multi Agent Systems ◽

Contract Net Protocol ◽

Agent Systems ◽

Contract Net ◽

Efficient Contract ◽

Download Full-text

Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems

Membrane Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31837-8_25 ◽

2005 ◽

pp. 389-403 ◽

Author(s):

Ioanna Stamatopoulou ◽

Marian Gheorghe ◽

Petros Kefalas

Keyword(s):

P Systems ◽

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent ◽

Dynamic Organization

Download Full-text

MAPE-K Interfaces for Formal Modeling of Real-Time Self-Adaptive Multi-Agent Systems

IEEE Access ◽

10.1109/access.2016.2592381 ◽

2016 ◽

Vol 4 ◽

pp. 4946-4958 ◽

Author(s):

Awais Qasim ◽

Syed Asad Raza Kazmi

Keyword(s):

Real Time ◽

Formal Modeling ◽

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent ◽

Download Full-text

Performance Evaluation of Agents and Multi-agent Systems Using Formal Specifications in Z Notation

Lecture Notes in Computer Science - Agents and Data Mining Interaction ◽

10.1007/978-3-319-20230-3_6 ◽

2015 ◽

pp. 64-78

Author(s):

Christos Dimou ◽

Fani Tzima ◽

Andreas L. Symeonidis ◽

Pericles A. Mitkas

Keyword(s):

Performance Evaluation ◽

Formal Specifications ◽

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text

Dynamic organization of multi-agent systems

Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02 ◽

10.1145/544741.544844 ◽

2002 ◽

Author(s):

P. Mathieu ◽

J. C. Routier ◽

Y. Secq

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent ◽

Dynamic Organization

Download Full-text

Design of an Intelligent System to Support Tutors in Learning Communities Using Multi-Agent Systems and Fuzzy Logic

International Review on Computers and Software (IRECOS) ◽

10.15866/irecos.v10i8.7015 ◽

2015 ◽

Vol 10 (8) ◽

pp. 845 ◽

Author(s):

Youness Chaabi ◽

R. Messoussi ◽

V. Hilaire ◽

Y. Ruichek ◽

K. Lekdioui ◽

...

Keyword(s):

Fuzzy Logic ◽

Learning Communities ◽

Intelligent System ◽

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text

Leader-Following Consensus for Double-Integrator Multi-Agent Systems via Sampled Output Feedback

2020 39th Chinese Control Conference (CCC) ◽

10.23919/ccc50068.2020.9188838 ◽

2020 ◽

Author(s):

Ying Zhang ◽

Youfeng Su

Keyword(s):

Output Feedback ◽

Multi Agent Systems ◽

Agent Systems ◽

Leader Following ◽

Multi Agent ◽

Double Integrator

Download Full-text

Team-Based Blanket Coverage Control for Heterogeneous Multi-agent Systems

2020 39th Chinese Control Conference (CCC) ◽

10.23919/ccc50068.2020.9189045 ◽

2020 ◽

Author(s):

Kaiqi Yang ◽

Xiaoli Wang

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Coverage Control ◽

Download Full-text