Robustness is key to engineering, automation, and science as a whole. However, the
property of robustness is often underpinned by costly requirements such as over …

Artificial intelligence (AI) in its various forms finds more and more its way into complex
distributed systems. For instance, it is used locally, as part of a sensor system, on the edge …

Cyber-physical systems require the construction and management of various models to
assure their correct, safe, and secure operation. These various models are necessary …

This paper confronts with a reflection about a deep problem in computational models for
cyber-physical systems (CPS). The problem arises in the contact between digital computing …

Our work focuses on modeling the security of systems from their component-level designs.
Towards this goal, we develop a categorical formalism to model attacker actions. Equipping …

Security modeling is an important aspect of as-suring the safety of robots. However, security
is an emergent property, meaning that the secure behavior of the components cannot be …

We are developing an end-to-end robot synthesis tool that leverages Monotone Co-Design
Problem (MCDP) theory to generate a robot design. A non-expert user provides only the …