RMAS is a multi-agent system architecture and associated model of computation that has been recently proposed as promising framework for autonomic computation and as viable implementation means for industrial agents. RMAS is proposed as an effective tool in the realization of the full-fledged concept of cyber-physical systems of systems, in agreement with new visions of the digital future and prominent standardization efforts like the IEC 61499. Currently, there is the need to establish a solid formalism for the model of computation of RMAS in order to harness and fully express its possibilities. In particular, this model should bridge the disciplines of control and systems engineering and computer science, whilst concerning artificial intelligence. This work proposes a first operational step in this direction. A formalism of the RMAS model of computation is established for the first time, and a complete definition of hierarchical nested levels of RMAS units is proposed. This work constitutes the ground for industry-ready technological instances of the RMAS architecture.
Towards a formal model of computation for RMAS / Pirani, M.; Bonci, A.; Longhi, S.. - In: PROCEDIA COMPUTER SCIENCE. - ISSN 1877-0509. - 200:(2022), pp. 865-877. (Intervento presentato al convegno 3rd International Conference on Industry 4.0 and Smart Manufacturing, ISM 2021 tenutosi a Upper Austria University of Applied Sciences, aut nel 2021) [10.1016/j.procs.2022.01.284].
Towards a formal model of computation for RMAS
Pirani M.
Primo
;Bonci A.;Longhi S.
2022-01-01
Abstract
RMAS is a multi-agent system architecture and associated model of computation that has been recently proposed as promising framework for autonomic computation and as viable implementation means for industrial agents. RMAS is proposed as an effective tool in the realization of the full-fledged concept of cyber-physical systems of systems, in agreement with new visions of the digital future and prominent standardization efforts like the IEC 61499. Currently, there is the need to establish a solid formalism for the model of computation of RMAS in order to harness and fully express its possibilities. In particular, this model should bridge the disciplines of control and systems engineering and computer science, whilst concerning artificial intelligence. This work proposes a first operational step in this direction. A formalism of the RMAS model of computation is established for the first time, and a complete definition of hierarchical nested levels of RMAS units is proposed. This work constitutes the ground for industry-ready technological instances of the RMAS architecture.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
