A package to download free Springer books during Covid-19 quarantine
R-bloggers,
[This article was first published on R on Stats and R, and kindly contributed to R-bloggers]. (You can report issue about…
Logical Foundations of Cyber-Physical Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Cyber-Physical Systems: Overview
-
Altmetric BadgeChapter 2 Differential Equations & Domains
-
Altmetric BadgeChapter 3 Choice & Control
-
Altmetric BadgeChapter 4 Safety & Contracts
-
Altmetric BadgeChapter 5 Dynamical Systems & Dynamic Axioms
-
Altmetric BadgeChapter 6 Truth & Proof
-
Altmetric BadgeChapter 7 Control Loops & Invariants
-
Altmetric BadgeChapter 8 Events & Responses
-
Altmetric BadgeChapter 9 Reactions & Delays
-
Altmetric BadgeChapter 10 Differential Equations & Differential Invariants
-
Altmetric BadgeChapter 11 Differential Equations & Proofs
-
Altmetric BadgeChapter 12 Ghosts & Differential Ghosts
-
Altmetric BadgeChapter 13 Differential Invariants & Proof Theory
-
Altmetric BadgeChapter 14 Hybrid Systems & Games
-
Altmetric BadgeChapter 15 Winning Strategies & Regions
-
Altmetric BadgeChapter 16 Winning & Proving Hybrid Games
-
Altmetric BadgeChapter 17 Game Proofs & Separations
-
Altmetric BadgeChapter 18 Axioms & Uniform Substitutions
-
Altmetric BadgeChapter 19 Verified Models & Verified Runtime Validation
-
Altmetric BadgeChapter 20 Virtual Substitution & Real Equations
-
Altmetric BadgeChapter 21 Virtual Substitution & Real Arithmetic