A simulation-based software environment for verifying control and decision-making algorithms in a multi-agent cyber-physical system
The paper presents the architecture of a simulation-based software environment for verifying control and decision-making algorithms in multi-agent cyber-physical systems. The environment integrates models of interacting agents, communication channels, distributed data storage, and a controlled technological process, to...