Symbiotic co-design for Cyber-Physical Systems

Developing AI‑based approaches to aid the design and optimization of cyber-physical systems over the whole design-cycle: topology, parameters, and control, leveraging industry-level simulators, data, and formal methods. Case studies: air vehicles designs, robotic missions.