Artificial intelligence and model checking for simulation-based analysis of cyber-physical systems

Thursday, September 19, 2019

Date: Mon 23 Sep 2019
Time: 15.30
Venue: Dipartimento di Informatica, Via Salaria 113, Third Floor, Seminari Lecture Room
Speaker: Toni Mancini

Title: Artificial intelligence and model checking for simulation-based analysis of cyber-physical systems.

Abstract: Cyber-Physical Systems, i.e., systems consisting of interconnected physical and software parts, are ubiquitous in application domains as diverse as aerospace, automotive, energy, biology, human physiology, and pharmacology, just to name a few.
In this talk, I will review recent approaches to simulation-based design and formal verification of cyber-physical systems, with a particular emphasis on my own contributions to the field.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma

Accessibility