BOOK
Logical Foundations of Cyber-Physical Systems
Keywords:
Cyber-physical system Physical space Computer science Logical analysis Computation Cyber Space Physical system Distributed computing Space (punctuation) Computer security Logical conjunction Motion (physics) Control (management) Human–computer interaction Artificial intelligence Programming language World Wide Web The Internet Mathematics Geography Operating system Physics
Metrics
234
Cited By
16.12
FWCI (Field Weighted Citation Impact)
4
Refs
0.99
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Smart Grid Security and Resilience
Physical Sciences → Engineering → Control and Systems Engineering
Related Documents
BOOK
Logical Foundations of Cyber-Physical Systems
Zenodo (CERN European Organization for Nuclear Research) Year: 2021
JOURNAL ARTICLE
Logical Foundations for Reasoning in Cyber - Physical Systems
Journal: Oriental journal of computer science and technology Year: 2023 Vol: 16 (01)Pages: 01-11
JOURNAL ARTICLE
André Platzer: Logical foundationsof cyber-physical systems
Alexander KnappMarkus Roggenbach
Journal: Formal Aspects of Computing Year: 2020 Vol: 32 (1)Pages: 149-151
JOURNAL ARTICLE
Logic Programming Foundations of Cyber-Physical Systems
Journal: Leibniz-Zentrum für Informatik (Schloss Dagstuhl) Year: 2010