Distributed Controller Synthesis for Deadlock Avoidance
Offered By: Simons Institute via YouTube
Course Description
Overview
Explore a 30-minute lecture on distributed controller synthesis for deadlock avoidance presented by Igor Walukiewicz from the University of Bordeaux. Delve into advanced concepts related to the synthesis of models and systems, focusing on strategies to prevent deadlocks in distributed environments. Gain insights into cutting-edge research and methodologies in this critical area of computer science and control theory.
Syllabus
Distributed Controller Synthesis for Deadlock Avoidance
Taught by
Simons Institute
Related Courses
Paradigms of Computer Programming – FundamentalsUniversité catholique de Louvain via edX Paradigms of Computer Programming – Abstraction and Concurrency
Université catholique de Louvain via edX Computing: Art, Magic, Science - Part II
ETH Zurich via edX Concurrency
AdaCore via Independent Java Fundamentals for Android Development
Galileo University via edX