Autore:
Titolo:
Formal methods for complexity reduction in the analysis of safety critical systems / Davide Pezzuti ; tutore: Maria Domenica Di Benedetto ; coordinatore del corso: Giuseppe Ferri ; co-tutore: Giordano Pola
Pubblicazione:
[L'Aquila, 2015]
Descrizione fisica:
1 volume
Note:
A. a. 2013/2014
In testa al frontespizio: Università degli studi dell'Aquila, Dipartimento di ingegneria e scienze dell'informazione e matematica, Centro di eccellenza Dews, dottorato di ricerca in ingegneria elettrica e dell'informazione, XXVII ciclo
Numero BNI:
BN 2015-773T
Autori secondari:
Classe Dewey:
Classe MIUR:
Tesi di dottorato. | Lingua: Inglese. | Paese: Italia. | BID: BVE0686192
| Biblioteca | Inventario | Volume | Collocazione | Fruizione | status | |
|---|---|---|---|---|---|---|
| Biblioteca Nazionale Centrale - Firenze | TD 000022680 | 1 v. | TDR 150 727 | Lettura tesi in sede |
Documenti simili
- Neural network based inverse optimal control for ground vehicles : dottorato di ricerca in modeling and control of cyber-physical systems, 30. ciclo : tesi / Riccardo Cespi ; coordinatore del corso: Maria Domenica Di Benedetto ; tutore: Stefano Di Gennaro Cespi, Riccardo
- Networked control systems : a sliding mode control variation approach : Ph.D. in engineering and information science, 28 cycle / Humberto Valadez Rangel ; Ph.D. coordinator: María Domenica Di Benedetto ; thesis directors: Bernardino Castillo Toledo, Stefano Di Gennaro Valadez Rangel, Humberto
- Co-design of controllers and information flows in networked control systems / Di Girolamo Giovanni Domenico ; coordinatore del corso: Maria Domenica Di Benedetto ; tutore: Maria Domenica Di Benedetto ; co-tutore: Alessandro D'Innocenzo Di Girolamo, Giovanni Domenico
- Secure state estimation for cyber-physical systems / Gabriella Fiore ; coordinatore: Maria Domenica Di Benedetto ; tutore: Maria Domenica Di Benedetto ; co-tutore: Elena De Santis Fiore, Gabriella <1983- >
- Fault tolerant design and optimization of multi-hop networked control systems / Francesco Smarra ; coordinatore del corso: Giuseppe Ferri ; tutore: Maria Domenica Di Benedetto ; co-tutore: Alessandro D'Innocenzo Smarra, Francesco
