Book review of: A. Platzer, Logical foundations of cyber-physical systems

DOI10.1007/S00165-020-00510-7MaRDI QIDQ782501zbMATH OpenOpenAlexFDO

Authors Alexander Knapp, Markus Roggenbach

Publication date 27 July 2020

Published in Formal Aspects of Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00165-020-00510-7

Mathematics Subject Classification ID

External book reviews (00A17) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Other applications of logic (03B80) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to systems and control theory (93-01) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Logical foundations of cyber-physical systems
• Logic programming foundations of cyber-physical systems
• A calculus of cyber-physical systems
• Pavel Pudlák.Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Springer Monographs in Mathematics. Springer, 2013. ISBN: 978-3-319-00118-0 (hbk); 978-3-319-00119-7 (ebook). Pp. xiv + 695
• Principles of cyber-physical systems. An interdisciplinary approach
• Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp.
• Book review of: S. Demri et al., Temporal logics in computer science. Finite-state systems
• Book review of: W. Li, Mathematical logic. Foundations for information science
• Book review of: A. Giordani and J. Malinowski, Logic in high definition: trends in logical semantics

Cites work

• Logical foundations of cyber-physical systems

This page was built for publication: Book review of: A. Platzer, Logical foundations of cyber-physical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q782501)