During this visit, we discussed with Alberto on advanced topics on fast simulation of heterogeneous systems and compositional analysis of complex systems. In particular, we presented our recent research results on reachability analysis for modular systems, and on the use of discrete controller synthesis for the design of correct-by-construction dependable systems. We also discussed simulation algorithms based on wayform relaxation for heterogeneous systems.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet