Summary
This NSF CAREER project aims to ensure the safety, reliability, and efficiency of modern interconnected autonomous systems, such as robot swarms, intelligent transportation networks, and smart manufacturing. The project will bring transformative change to how these complex systems share limited resources, including communication networks, computer processors, and shared physical space, by preventing the "traffic jams" of data or physical collision that cause catastrophic physical accidents or energy waste. This will be achieved by creating new mathematical methods that allow networked systems
