Tacchella, Alberto
Tacchella, Alberto
ES
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
2020-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo
Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions
2020-01-01 Tacchella, Alberto; Tacchella, Armando
Dynamic mode decomposition and Koopman spectral analysis of boundary layer separation-induced transition
2021-01-01 Dotto, A.; Lengani, D.; Simoni, D.; Tacchella, A.
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
2022-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco
SMT-Based Stability Verification of an Industrial Switched PI Control Systems
2023-01-01 Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System | 1-gen-2020 | Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo | |
| Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions | 1-gen-2020 | Tacchella, Alberto; Tacchella, Armando | |
| Dynamic mode decomposition and Koopman spectral analysis of boundary layer separation-induced transition | 1-gen-2021 | Dotto, A.; Lengani, D.; Simoni, D.; Tacchella, A. | |
| NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems | 1-gen-2022 | Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco | |
| SMT-Based Stability Verification of an Industrial Switched PI Control Systems | 1-gen-2023 | Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios |