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
Tabla de Contenidos:
  • Logics and Proof Calculi for Hybrid Systems
  • Differential Dynamic Logic d?
  • Differential-Algebraic Dynamic Logic DAL
  • Differential Temporal Dynamic Logic dTL
  • Automated Theorem Proving for Hybrid Systems
  • Deduction Modulo Real Algebra and Computer Algebra
  • Computing Differential Invariants as Fixed Points
  • Case Studies and Applications in Hybrid Systems Verification
  • European Train Control System
  • Air Traffic Collision Avoidance
  • Conclusion.

Ejemplares similares