LIBROS DEL AUTOR: andre platzer

2 resultados para LIBROS DEL AUTOR: andre platzer

andre platzer Eliminar filtro Quitar filtros
  • Logical Foundations of Cyber-Physical Systems
    André Platzer
    Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their...
    Disponible

    69,91 €

  • Logical Analysis of Hybrid Systems
    André Platzer
    Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical-chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems w...
    Disponible

    136,82 €