CMU-15-424

Logical Foundations of Cyber-Physical Systems (Fa'19)

Course website for Fall 2019

Visualizer and debugging for keymaxra X models of CPS (work from CMU students) 👍

My self progress:

• Update to Chapter2. 2021/3/13

• Update to Chapter3. 2021/3/16

• Update to Chapter4. 2021/3/18

• Update to Chapter5. 2021/3/20

• Update to Chapter6. (Lab1) 2021/3/28

  • Lab1 contains a simple interpreter for FOL formulas. Both cpp and java versions are provided!

• Update to Chapter7. 2021/3/30

• Update to Chapter8. 2021/4/2

• Update to Chapter9. 2021/4/5

• Update to Chapter10. (Lab2) 2021/4/13

• Update to Chapter11. 2021/4/17

• Update to Chapter12. (Lab3) 2021/4/20

• Update to Chapter13. 2021/4/20

• Update to Chapter14. 2021/4/23

• Update to Chapter15. 2021/4/27

• Update to Chapter16. 2021/5/15

• Update to Chapter17. (Lab4) 2021/5/17

• Update to Chapter18. 2021/5/20

• Update to Chapter19. 2021/5/21

• Update to Chapter20. 2021/5/24