Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /

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 a...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Platzer, André (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Temas:
Machine theory.
Artificial intelligence.
Computer science-Mathematics.
Computer science.
Control engineering.
Robotics.
Automation.
Formal Languages and Automata Theory.
Artificial Intelligence.
Mathematics of Computing.
Computer Science Logic and Foundations of Programming.
Control, Robotics, Automation.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares