Integrating Hybrid Systems with Contracts

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.