Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
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.
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.
Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications
2022-01-01 Ajeleye, Da; Masciulli, T; Pola, G
Control of Cyber-Physical Systems: a Formal Method approach
2022-07-04 Masciulli, Tommaso
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
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. | |
Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications | 1-gen-2022 | Ajeleye, Da; Masciulli, T; Pola, G | |
Control of Cyber-Physical Systems: a Formal Method approach | 4-lug-2022 | Masciulli, Tommaso |
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile