- 0 Ergebnisse
Kleinster Preis: € 109,90, größter Preis: € 160,49, Mittelwert: € 140,85
1
Logical Analysis of Hybrid Systems - André Platzer
Bestellen
bei booklooker.de
€ 160,49
Versand: € 17,00
Bestellen
André Platzer:

Logical Analysis of Hybrid Systems - neues Buch

2005, ISBN: 9783642145087

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many appli… Mehr…

Versandkosten:Versand nach Österreich. (EUR 17.00) Buchhandlung Hoffmann
2
Bestellen
bei booklooker.de
€ 112,90
Versand: € 0,00
Bestellen

Platzer, André:

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics André Platzer Buch Englisch 2010 - gebunden oder broschiert

2010, ISBN: 9783642145087

[ED: Gebunden], [PU: Springer Berlin], Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
3
Bestellen
bei booklooker.de
€ 109,90
Versand: € 0,00
Bestellen
Platzer, André:
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics André Platzer Buch Englisch 2010 - gebunden oder broschiert

2010

ISBN: 9783642145087

[ED: Gebunden], [PU: Springer Berlin], Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
Bezahlte Anzeige
4
Logical Analysis of Hybrid Systems - André Platzer
Bestellen
bei booklooker.de
€ 160,49
Versand: € 99,99
Bestellen
André Platzer:
Logical Analysis of Hybrid Systems - neues Buch

2005, ISBN: 9783642145087

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many appli… Mehr…

Versandkosten:Versand nach Österreich. (EUR 99.99) Buchhandlung - Bides GbR
5
Logical Analysis of Hybrid Systems - André Platzer
Bestellen
bei booklooker.de
€ 160,49
Bestellen
André Platzer:
Logical Analysis of Hybrid Systems - neues Buch

2005, ISBN: 9783642145087

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many appli… Mehr…

Versandkosten:Zzgl. Versandkosten., zzgl. Versandkosten buchversandmimpf2000

Details zum Buch
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 analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals.The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems.This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.

Detailangaben zum Buch - Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics


EAN (ISBN-13): 9783642145087
ISBN (ISBN-10): 3642145086
Gebundene Ausgabe
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
320 Seiten
Gewicht: 0,807 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-08-08T08:26:17+02:00 (Vienna)
Detailseite zuletzt geändert am 2021-09-05T09:09:28+02:00 (Vienna)
ISBN/EAN: 9783642145087

ISBN - alternative Schreibweisen:
3-642-14508-6, 978-3-642-14508-7


Daten vom Verlag:

Autor/in: André Platzer
Titel: Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics
Verlag: Springer; Springer Berlin
426 Seiten
Erscheinungsjahr: 2010-09-05
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Gewicht: 0,929 kg
Sprache: Englisch
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD

BB; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Air traffic control; Axiomatisation; Differential equations; Dynamic logic; Embedded systems; Formal methods; Hybrid systems; Logic; Safety-critical systems; Verification; automated theorem proving; automation; robot; robotics; B; Mathematical Logic and Formal Languages; Artificial Intelligence; Mathematics of Computing; Logics and Meanings of Programs; Control, Robotics, Mechatronics; Formal Languages and Automata Theory; Artificial Intelligence; Mathematics of Computing; Computer Science Logic and Foundations of Programming; Control, Robotics, Automation; Computer Science; Künstliche Intelligenz; Theoretische Informatik; Mathematik für Informatiker; Computerprogrammierung und Softwareentwicklung; Rechnerarchitektur und Logik-Entwurf; Regelungstechnik; Elektronische Geräte und Materialien; BC; EA

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.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
2903642145086 Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics (Andre Platzer)


< zum Archiv...