Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova

Bortoluzzi, Riccardo (2018) Implementazione di un parser per il linguaggio di modellazione di automi ibridi SX. [Laurea triennale]

Per questo documento il full-text online non disponibile.

Abstract

Scopo di questo lavoro di tesi è stata la realizzazione di un parser che permetta la traduzione di un file *XML *scritto in *SpaceEx Modeling Language* (*SX*), grammatica utilizzata per facilitare la creazione di interfaccia grafica per gli automi ibridi, in un file C++ interpretabile da Ariadne, libreria per l'analisi e la verifica degli stati raggiungibili da un automa. Nel primo capitolo si descrivono gli automi ibridi, particolari automi a stati finiti che permettono l'utilizzo di variabili continue, e alcune loro proprietà, come ad esempio la *safety property*. Il secondo e il terzo capitolo sono utilizzati rispettivamente per la descrizione del linguaggio *SX* e della libreria Ariadne con le strategia di verifica. Nel quarto capitolo si presenta l'implementazione del parser in Python, mentre nel quindo sono riportati i risultati di analisi e verifica ottenuti dalla libreria Ariadne, partendo da un automa tradotto dal parser.

Item Type:Laurea triennale
Corsi di Laurea Triennale:Scuola di Scienze > Matematica
Subjects:Area 01 - Scienze matematiche e informatiche > INF/01 Informatica
Codice ID:61595
Relatore: Bresolin, Davide
Data della tesi:14 December 2018
Biblioteca:Polo di Scienze > Biblioteca di Matematica

Solo per lo Staff dell Archivio: Modifica questo record