LIBROS DEL AUTOR: paulo tabuada

1 resultados para LIBROS DEL AUTOR: paulo tabuada

  • Verification and Control of Hybrid Systems
    Paulo Tabuada
    Basic concepts.- Systems.- Verifcation problems.- Control problems.- Finite systems.- Exact system relationships.- Verification.- Control.- Infinite Systems Exact symbolic models.- Exact symbolic models for verification.- Exact symbolic models for control.- Infinite Systems Approximate symbolic models.- Approximate system relationships.- Approximate symbolic models for verifica...
    Disponible

    183,44 €