Cinzia Bernardeschi

About

Dr. Cinzia Bernardeschi is a leading researcher in the design, verification, and security of cyber-physical systems (CPS), with a particular focus on co-simulation and autonomous robotics. Her major contributions center on developing formal methodologies to model, simulate, and analyze complex systems—from semi-autonomous line-follower robots to non-linear motor controls. She has pioneered techniques for co-simulating security attacks on CPS, formally modeling threats to sensors and actuators to assess their impact on system behavior, a critical step toward resilient autonomous systems. Her work on "Do-it-Yourself FMU Generation" further empowers engineers to build and test system prototypes. With papers accumulating over 50 citations, including foundational studies on co-simulation and attack formalization, Dr. Bernardeschi’s research is shaping how we design and validate cooperative robotic systems—such as those using Voronoi tessellation for multi-agent coordination—ensuring they are both functional and secure. Her contributions are essential reading for students and researchers working at the intersection of formal methods, simulation, and CPS security.

Research Focus

Key Achievements

Top Papers

1. 1
   Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study

   18 citations · 2018
2. 2
   Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors

   18 citations · 2020
3. 3
   Formalization and co-simulation of attacks on cyber-physical systems

   12 citations · 2020
4. 4
   Modeling and Simulation of Attacks on Cyber-physical Systems

   4 citations · 2019
5. 5
   Do-it-Yourself FMU Generation

   4 citations · 2023
6. 6
   Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case

   2 citations · 2023

Key Collaborators

Contact & Links