"
Sintesi automatica di software di controllo per sistemi ciberfisici", Ital-IA. Convegno Nazionale CINI sull 'Intelligenza Artificiale. Roma, 18-19 marzo 2019,
2019 L 'automazione e il controllo di sistemi ciberfisici sono tematiche di grande interesse per l 'Industria 4.0. Molti sistemi ciberfisici sono di fatto sistemi di controllo a ciclo chiuso, dove un software guida un impianto affinché vengano soddisfatti requisiti di sicurezza. Visto il contesto altamente critico, tali requisiti diventano sempre più stringenti motivando la ricerca in metodi di generazione automatica di software di controllo corretto per sistemi ciberfisici. Questo contributo presenta le linee di ricerca attuali del nostro gruppo di ricerca in questo contesto.