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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Platzer, André (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Édition:1st ed. 2010.
Sujets:
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.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires