Artwork

Content provided by Alberto Padoan. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Alberto Padoan or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!

ep22 - Alberto Sangiovanni Vincentelli, Part II: Cyberphysical and hybrid systems, Contracts, Chiplets, Models of computation, Time, Innovative Ecosystems, BioBricks, Neuromorphics

1:20:16
 
Share
 

Manage episode 412578863 series 3348936
Content provided by Alberto Padoan. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Alberto Padoan or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.

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

Support the Show.

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.

  continue reading

26 episodes

Artwork
iconShare
 
Manage episode 412578863 series 3348936
Content provided by Alberto Padoan. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Alberto Padoan or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.

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

Support the Show.

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.

  continue reading

26 episodes

All episodes

×
 
Loading …

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Quick Reference Guide