Safe, Plug and Play, Multi Agent Dynamic Systems

点击翻译按钮获取中文摘要

From driverless cars, to networks of nano satellites, and complex biological networks, the modern world has many examples of multi agent dynamic systems that need careful coordination and control to perform correctly. In many cases, these systems are built up using designs based on intuition, computer simulations and empirical testing. However, there is a clear need to advance the fundamental understandings of such systems: (i) Verifiable overall dynamic system properties need to be derived to give assurance of performance in situations not previously envisaged; (ii) It is also critical to understand stable system behaviours not just with fixed configurations, but with agile configurations such as splitting, merging, and morphing