Login Register
G
KIT || Carnegie Mellon University, Dynamic Logic banner
KIT || Carnegie Mellon University, Dynamic Logic

KIT || Carnegie Mellon University, Dynamic Logic

@UCRYVHl4XWfN4bEMA3j1oF7g - 653 subscribers

This channel features videos accompanying the textbook on Logical Foundations of Cyber-Physical Systems, which teaches students the core principles behind CPSs. CPSs combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks. book.lfcps.org/ The channel also features tutorial videos for the KeYmaera X theorem provers which are available for download from the links below. Sincere thanks to Jessica Packer from Carnegie Mellon University for her amazing video editing!

Home Videos Live Playlists