使用Player FM应用程序离线!
ep22 - Alberto Sangiovanni Vincentelli, Part II: Cyberphysical and hybrid systems, Contracts, Chiplets, Models of computation, Time, Innovative Ecosystems, BioBricks, Neuromorphics
Manage episode 412578863 series 3348936
Outline
00:00 - Intro
01:28 - Platform-based design (PBD) in biology
16:42 - Cyberphysical systems, automotive industry, hybrid systems
27:32 - Contracts in system design
34:50 - Chiplets
41:48 - About time: the tag signal model
52:15 - Neuromorphics
59:21 - Innovative ecosystems
1:07:35 - Advice to future students
1:16:26 - The role of luck
Links
BiKi Technologies: https://t.ly/RuaW7
R. Murray: https://t.ly/Zy_Up
S. Sastry: https://t.ly/qsf44
C. Tomlin: https://t.ly/tQ0XZ
Platform-based design for energy systems: https://t.ly/RJdpi
State charts: https://tinyurl.com/yw69przw
Contracts for system design: https://tinyurl.com/496e953k
Formal methods: https://tinyurl.com/2yftcwsw
Chiplets: https://tinyurl.com/mrxyswua
A framework for comparing models of computation: https://tinyurl.com/2awyw3cr
Category theory: https://tinyurl.com/3bbfjdv9
E. Frazzoli: https://tinyurl.com/mspckmpd
A. Censi: https://tinyurl.com/5c87wuyx
A mathematical theory of co-design: https://tinyurl.com/ydp6jvp8
Prophesee: https://tinyurl.com/mtf9hpfm
Neuralink: https://tinyurl.com/bdcww89e
Openeye: https://tinyurl.com/3vh6ydmk
Epictetus: https://tinyurl.com/57ef2rud
Seneca: https://tinyurl.com/f7zuyz4d
F. Nietzsche: https://tinyurl.com/bd7znm4n
J. P. Sartre: https://tinyurl.com/3b2zt5cr
Podcast info
Podcast website: https://www.incontrolpodcast.com/
Apple Podcasts: https://tinyurl.com/5n84j85j
Spotify: https://tinyurl.com/4rwztj3c
RSS: https://tinyurl.com/yc2fcv4y
Youtube: https://tinyurl.com/bdbvhsj6
Facebook: https://tinyurl.com/3z24yr43
Twitter: https://twitter.com/IncontrolP
Instagram: https://tinyurl.com/35cu4kr4
Acknowledgments and sponsors
This episode was supported by the National Centre of Competence in Research on «Dependable, ubiquitous automation» and the IFAC Activity fund. The podcast benefits from the help of an incredibly talented and passionate team. Special thanks to L. Seward, E. Cahard, F. Banis, F. Dörfler, J. Lygeros, ETH studio and mirrorlake . Music was composed by A New Element.
27集单集
Manage episode 412578863 series 3348936
Outline
00:00 - Intro
01:28 - Platform-based design (PBD) in biology
16:42 - Cyberphysical systems, automotive industry, hybrid systems
27:32 - Contracts in system design
34:50 - Chiplets
41:48 - About time: the tag signal model
52:15 - Neuromorphics
59:21 - Innovative ecosystems
1:07:35 - Advice to future students
1:16:26 - The role of luck
Links
BiKi Technologies: https://t.ly/RuaW7
R. Murray: https://t.ly/Zy_Up
S. Sastry: https://t.ly/qsf44
C. Tomlin: https://t.ly/tQ0XZ
Platform-based design for energy systems: https://t.ly/RJdpi
State charts: https://tinyurl.com/yw69przw
Contracts for system design: https://tinyurl.com/496e953k
Formal methods: https://tinyurl.com/2yftcwsw
Chiplets: https://tinyurl.com/mrxyswua
A framework for comparing models of computation: https://tinyurl.com/2awyw3cr
Category theory: https://tinyurl.com/3bbfjdv9
E. Frazzoli: https://tinyurl.com/mspckmpd
A. Censi: https://tinyurl.com/5c87wuyx
A mathematical theory of co-design: https://tinyurl.com/ydp6jvp8
Prophesee: https://tinyurl.com/mtf9hpfm
Neuralink: https://tinyurl.com/bdcww89e
Openeye: https://tinyurl.com/3vh6ydmk
Epictetus: https://tinyurl.com/57ef2rud
Seneca: https://tinyurl.com/f7zuyz4d
F. Nietzsche: https://tinyurl.com/bd7znm4n
J. P. Sartre: https://tinyurl.com/3b2zt5cr
Podcast info
Podcast website: https://www.incontrolpodcast.com/
Apple Podcasts: https://tinyurl.com/5n84j85j
Spotify: https://tinyurl.com/4rwztj3c
RSS: https://tinyurl.com/yc2fcv4y
Youtube: https://tinyurl.com/bdbvhsj6
Facebook: https://tinyurl.com/3z24yr43
Twitter: https://twitter.com/IncontrolP
Instagram: https://tinyurl.com/35cu4kr4
Acknowledgments and sponsors
This episode was supported by the National Centre of Competence in Research on «Dependable, ubiquitous automation» and the IFAC Activity fund. The podcast benefits from the help of an incredibly talented and passionate team. Special thanks to L. Seward, E. Cahard, F. Banis, F. Dörfler, J. Lygeros, ETH studio and mirrorlake . Music was composed by A New Element.
27集单集
所有剧集
×欢迎使用Player FM
Player FM正在网上搜索高质量的播客,以便您现在享受。它是最好的播客应用程序,适用于安卓、iPhone和网络。注册以跨设备同步订阅。