Runtime Dependability Certificates for Modular Multi-Agent Production Systems
Modern production systems face increasing demands for reconfigurability, driven by product variability and shortened innovation cycles. In multi-agent system (MAS) architectures, the capability assumptions that underlie certification decisions may become invalid during operation due to reconfiguration or parameter chan...