MASCIULLI, TOMMASO
MASCIULLI, TOMMASO
Dipartimento di Ingegneria e scienze dell'informazione e matematica
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.013 secondi).
Control of Cyber-Physical Systems: a Formal Method approach
2022-07-04 Masciulli, Tommaso
Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications
2022-01-01 Ajeleye, Da; Masciulli, T; Pola, G
Data-driven controller synthesis for abstract systems with regular language specifications
2021-01-01 Pola, G.; Masciulli, T.; De Santis, E.; Di Benedetto, M. D.
Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
2021-01-01 Masciulli, T.; Pola, G.
On symbolic control design of nonlinear systems with dynamic regular language specifications
2020-01-01 Masciulli, T.; Pola, G.
On data–driven controller synthesis with regular language specifications
2020-01-01 Pola, G.; Masciulli, T.; De Santis, E.; Di Benedetto, M. D.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Control of Cyber-Physical Systems: a Formal Method approach | 4-lug-2022 | Masciulli, Tommaso | |
| Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications | 1-gen-2022 | Ajeleye, Da; Masciulli, T; Pola, G | |
| Data-driven controller synthesis for abstract systems with regular language specifications | 1-gen-2021 | Pola, G.; Masciulli, T.; De Santis, E.; Di Benedetto, M. D. | |
| Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications | 1-gen-2021 | Masciulli, T.; Pola, G. | |
| On symbolic control design of nonlinear systems with dynamic regular language specifications | 1-gen-2020 | Masciulli, T.; Pola, G. | |
| On data–driven controller synthesis with regular language specifications | 1-gen-2020 | Pola, G.; Masciulli, T.; De Santis, E.; Di Benedetto, M. D. |