skip to main content
Idioma:

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

Abate, Alessandro ; Bessa, Iury ; Cattaruzza, Dario ; Cordeiro, Lucas ; David, Cristina ; Kesseli, Pascal ; Kroening, Daniel

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017, p.197-206

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  7 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.