#884 overall
Logical Foundations of Cyber-Physical Systems
Symbolaris
1 recommender · 1 thread · recommended in 1 year, 2020 · score 0.7
A course on logical foundations for cyber-physical systems, such as drones, robots, and self-driving cars, covering formal reasoning about software that interacts with physical dynamics. It is built around differential invariants and is offered by Symbolaris.
The commenter suggests it as a follow-on for programmers who want to program drones, robots, or self-driving cars, noting that it heavily uses differential invariants and that all lectures are open.
CS Fundamentals & Systemsadvancedfreevideo lectures#cyber-physical systems#differential invariants#formal verification#hybrid systems#platzer
Recommendations by year
20062026
Gilbert Strang has an engineering text 'CSE' for creating models using differential eq and solving them entirely in MATLAB or other software. All lectures on MIT ocw https://ocw.mit.edu/courses/mathematics/18-085-computational... it's probably the best math course I've ever done.
If you go on MIT Stellar you can get the most recent lectures if you want, but the book hasn't changed. MIT likely has a few more of these kinds of courses if you look at their most recent offerings, I've only done that book/course(s)
Maybe you also want to program drones or robots or self driving cars http://symbolaris.com/course/lfcps.html this heavily uses differential invariants and all the lectures are open.