Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

Show other versions (1)

Bibliographic Details
Main Author:	Platzer, AndrΓ©
Corporate Author:	SpringerLink (Online service)
Format:	Electronic Kit Book
Language:	English
Published:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Subjects:	Computer science Logic design Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Mathematics of Computing Logics and Meanings of Programs Control, Robotics, Mechatronics Τεχνητή νοημοσύνη
Online Access:	http://dx.doi.org/10.1007/978-3-642-14509-4

Similar Items

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
by: Dovier, Agostino
Published: (2010)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
by: Governatori, Guido
Published: (2010)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
by: Giesl, JΓΌrgen
Published: (2010)

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
by: Link, Sebastian
Published: (2010)

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
by: Escobar, Santiago
Published: (2010)

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
by: Dix, JΓΌrgen
Published: (2010)

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
by: Blume, Matthias
Published: (2010)

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
by: Beckert, Bernhard
Published: (2006)

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
by: Schreye, Danny
Published: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
by: FermΓΌller, Christian G
Published: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25βMay 1, 2010, Revised Selected Papers
by: Clarke, Edmund M., Jr. 1945-2020. (Edmund Melson)
Published: (2010)

Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
by: Kaufmann, Matt
Published: (2010)

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
by: Touili, Tayssir
Published: (2010)

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
by: Dawar, Anuj
Published: (2010)

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
by: Qin, Shengchao
Published: (2010)

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
by: Butterfield, Andrew
Published: (2010)

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
by: Leavens, Gary T
Published: (2010)

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
by: Dix, JΓΌrgen
Published: (2010)

Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
by: Hutter, Marcus
Published: (2010)

Principles and Practice of Constraint Programming β CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
by: Cohen, David
Published: (2010)

Mathematics of Program Construction 10th International Conference, MPC 2010, QuΓ©bec City, Canada, June 21-23, 2010. Proceedings
by: Bolduc, Claude
Published: (2010)

Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
by: Gao, Yuan
Published: (2010)

Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
by: Calude, Cristian S
Published: (2010)

Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
by: Dediu, Adrian-Horia
Published: (2010)

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
by: Aloni, Maria
Published: (2010)

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
by: Siegler, Simon
Published: (2010)

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
by: Puppis, Gabriele
Published: (2010)

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
by: Schmid, Ute
Published: (2010)

Mathematical Problems from Applied Logic I Logics for the XXIst Century
by: Gabbay, Dov M., 1945-
Published: (2006)

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
by: Janhunen, Tomi
Published: (2010)

Discrete, Continuous, and Hybrid Petri Nets
by: David, RenΓ©
Published: (2010)

Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers
by: Yli-JyrΓ€, Anssi
Published: (2010)

Logic and the Foundations of Game and Decision Theory β LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
by: Bonanno, Giacomo
Published: (2010)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
by: Ablayev, Farid
Published: (2010)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
by: Frappier, Marc
Published: (2010)

Theory and Applications of Satisfiability Testing β SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
by: Strichman, Ofer
Published: (2010)

Logical Tools for Handling Change in Agent-Based Systems
by: Gabbay, Dov M., 1945-
Published: (2010)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
by: KratochvΓl, Jan
Published: (2010)

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /
by: Platzer, André
Published: (2010)

Agent Technology from a Formal Perspective
by: Rouff, Christopher A.
Published: (2006)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών