- 56
- 74 267
Edward Lee
เข้าร่วมเมื่อ 18 พ.ค. 2012
This channel has a mix of technical talks and less technical, high-level talks about the philosophy of technology.
Decentralized Coordination in Federated Lingua Franca
Edward Lee from Berkeley and Xronos demonstrates mechanisms for building distributed systems using Lingua Franca's experimental decentralized coordinator. He begins by showing how to realize Hewitt/Agha actors, which handle asynchronous messages in nondeterministic order and how, when shared data structures are CRDTs, eventual consistency is preserved. He then shows that CRDTs overly constrain the business logic of a distributed system, which will often require operations that are not commutative, associative, and idempotent (ACID 2.0). He then shows how to use timestamps to define semantic ordering of events across a distributed system and how such timestamps give a clean and clear notion of consistency. He then walks through a series of mechanisms that trade off consistency and availability as network latency varies (a CAL theorem fundamental tradeoff). He shows conservative techniques based on Chandy and Misra, which ensure strong consistency but carry significant network overhead and are vulnerable to unavailability as latency increases. He shows that optimistic techniques ensure availability (at the cost of consistency), but that the rollback they require is not always realizable. He then shows how hybrid techniques can ensure bounded unavailability together with eventual consistency under relatively benign assumptions about network behavior.
มุมมอง: 93
วีดีโอ
Certainty vs. Intelligence
มุมมอง 525หลายเดือนก่อน
In a keynote talk for the AISoLA conference held in Crete in Fall 2024, Edward Lee from Berkeley postulates that the certainty that rigorous engineering methods traditionally yield may be fundamentally incompatible with integrating intelligence into engineered systems. We may be forced to choose whether robots, self-driving cars, and other autonomous systems are intelligent or demonstrably safe...
Trading off Consistency and Availability using Lingua Franca
มุมมอง 1532 หลายเดือนก่อน
Edward Lee from Berkeley and Xronos demonstrates mechanisms for building distributed systems using Lingua Franca's experimental decentralized coordinator. He begins by showing how to realize Hewitt/Agha actors, which handle asynchronous messages in nondeterministic order and how, when shared data structures are CRDTs, eventual consistency is preserved. He then shows that CRDTs overly constrain ...
Redes Neuronales, Explicaciones y Racionalidad (in Spanish)
มุมมอง 228ปีที่แล้ว
My first talk in Spanish: La "racionalidad" es el principio de que los humanos toman decisiones sobre la base de un razonamiento paso a paso (algorítmico) utilizando reglas sistemáticas de lógica. Una "explicación" ideal para una decisión es una crónica de los pasos utilizados para llegar a la decisión. La "racionalidad limitada" de Herb Simon es la observación de que la capacidad del cerebro h...
Deterministic Concurrency and the Lingua Franca Coordination Language
มุมมอง 577ปีที่แล้ว
This is an ad-hoc (and relatively low-quality) recording of an invited talk at CEA-LIST in Saclay, France, on April 18, 2023. The talk focuses on the problems introduced by nondeterministic concurrency and the solutions offered by the Lingua Franca coordination language
Models, Ptolemy II, and Beyond
มุมมอง 903ปีที่แล้ว
This talk is a retrospective on Ptolemy II given on August 4, 2020, while I was in quarantine on Cape Cod. It gives an overview of the project and a brief outline of the steps forward near the start of the Lingua Franca project.
Verifying Parallel and Distributed Systems: The Observer Problem
มุมมอง 423ปีที่แล้ว
This talk gives an overview of the concept of "design for verifiability," where a level of abstraction of a distributed software system is chosen for a combination of its verifiability and its implementability. This talk was given at a SACSys Reporting and Steering Committee meeting at Mälardalens University in Västerås, Sweden on February 9, 2023.
Trading Off Consistency and Availability in Cyber-Physical Systems
มุมมอง 191ปีที่แล้ว
Cyber-physical systems (CPSs) are often safety-critical systems, where malfunctions imply risk to humans. As CPSs increasingly involve several components interacting over networks, it becomes imperative to devise strategies that preserve safety in the face of network disruptions, whether caused by malicious intent or malfunctions. The classic "CAP Theorem," due to Eric Brewer, states that in th...
Trading off Consistency and Availability in Cyber-Physical Systems
มุมมอง 505ปีที่แล้ว
Cyber-physical systems (CPSs) are often safety-critical systems, where malfunctions imply risk to humans. As CPSs increasingly involve several components interacting over networks, it becomes imperative to devise strategies that preserve safety in the face of network disruptions, whether caused by malicious intent or malfunctions. The classic "CAP Theorem," due to Eric Brewer, states that in th...
Module 11: Models Revisited
มุมมอง 1772 ปีที่แล้ว
This is part of a short course taught as a visiting professor at the Technical University of Vienna on Software Design for Cyber-Physical Systems in May of 2022. The first lecture was not recorded, so the videos start with the second module. This module is the concluding one. This is an amateur recording of a live class, and therefore has many rough edges.
Module 10a: Reactor Semantics: Partial Orders Approach
มุมมอง 992 ปีที่แล้ว
This is part of a short course taught by Edward A. Lee as a visiting professor at the Technical University of Vienna on Software Design for Cyber-Physical Systems in May of 2022. The first lecture was not recorded, so the videos start with the second module. This lecture talks about a mathematical model for reactor systems based on partial order that can be used prove that the model is determin...
Module 10b: Reactor Semantics: Metric Space Approach
มุมมอง 512 ปีที่แล้ว
This is part of a short course taught by Edward A. Lee as a visiting professor at the Technical University of Vienna on Software Design for Cyber-Physical Systems in May of 2022. The first lecture was not recorded, so the videos start with the second module. This lecture talks about a mathematical model for reactor systems based on metric spaces that can be used prove that the model is determin...
Module 9a: Trading Off Consistency and Availability
มุมมอง 782 ปีที่แล้ว
This is part of a short course taught by Edward A. Lee as a visiting professor at the Technical University of Vienna on Software Design for Cyber-Physical Systems in May of 2022. The first lecture was not recorded, so the videos start with the second module. This lecture talks about fundamental tradeoffs between availability, consistency, and apparent latency in distributed systems. This is an ...
Module 9b: The CAL Theorem
มุมมอง 1112 ปีที่แล้ว
This is part of a short course taught by Edward A. Lee as a visiting professor at the Technical University of Vienna on Software Design for Cyber-Physical Systems in May of 2022. The first lecture was not recorded, so the videos start with the second module. This lecture gives an overview of the CAL theorem, a recent result that gives an algebraic relationship between availability, consistency,...
Module 7: Concurrent Models of Computation
มุมมอง 3262 ปีที่แล้ว
This is part of a short course taught by Edward A. Lee as a visiting professor at the Technical University of Vienna on Software Design for Cyber-Physical Systems in May of 2022. The first lecture was not recorded, so the videos start with the second module. This lecture includes only a portion of Module 7, the portion on Deterministic Concurrency. This is an amateur recording of a live class, ...
Time for All Programs, Not Just Real-Time Programs
มุมมอง 4292 ปีที่แล้ว
Time for All Programs, Not Just Real-Time Programs
Science and Engineering for Cyber-Physical Systems
มุมมอง 2.7K3 ปีที่แล้ว
Science and Engineering for Cyber-Physical Systems
What Can We Learn About Creativity from Deep Neural Networks
มุมมอง 3773 ปีที่แล้ว
What Can We Learn About Creativity from Deep Neural Networks
Lingua Franca Tutorial, Part VI: Research Overview
มุมมอง 5913 ปีที่แล้ว
Lingua Franca Tutorial, Part VI: Research Overview
Lingua Franca Tutorial Part V: Concurrency and Performance
มุมมอง 5993 ปีที่แล้ว
Lingua Franca Tutorial Part V: Concurrency and Performance
Lingua Franca Tutorial Part IV: Basic Concepts
มุมมอง 7333 ปีที่แล้ว
Lingua Franca Tutorial Part IV: Basic Concepts
Lingua Franca Tutorial Part III: Target Languages
มุมมอง 8883 ปีที่แล้ว
Lingua Franca Tutorial Part III: Target Languages
Lingua Franca Tutorial Part II: Hello World
มุมมอง 2K3 ปีที่แล้ว
Lingua Franca Tutorial Part II: Hello World
Lingua Franca Tutorial Part I: Introduction
มุมมอง 2.8K3 ปีที่แล้ว
Lingua Franca Tutorial Part I: Introduction
Estimado Edward Lee, celebro que su charla, por demás interesante, esté en nuestro universal castellano y que su infancia le brinde la memoria de nuestra lengua compartida, con el particular acento portoriqueño. Le agradezco también, por la enorme cantidad de materiales educativos suyos que empleo en mi labor educativa como profesor universitario. Saludos cordiales desde Argentina.
Mil gracias por el apoyo!
Rust vs. openheid
~43:00 I am really not surprised that Google reinvented the technique, because if you tell these people that a technique exists from the "cyber physical systems field" they will immediately stop listening and not care, because they don't recognize the buzz words from their line of work.
Pabably the best philosophical, scientific, and practical presentation...i have been looking for videos about Laplace demon via AI, and this is such a gem ❤❤❤
is lf seen as a tool in industries!?
Lingua Franca is still pretty new, but, yes, so far, there is considerable interest in automotive and industrial automation.
@@EdwardLeeAtBerkeley thanks for your reply professor
Consistency is really 'the degree of Consensus of the Current State among participants in a system' in RT terms, co dependent w/ availability , each with some degree of 'designed in' elasticity to get 'the system' to work more or less as expected without 'hurting' any of the participants. great post thanks.
Hello! Could you please give some student task to compile ResettableServer for me - with PortParameter "reset" of type BOOLEAN which will call initialize(). I can't copily it there is bunch of errors on my system
Thanks for a really wonderful talk, Edward. Those two arXiv papers are really great and I'm quite surprised that they have been rejected for publication. Clearly the folks that reviewed them either don't have the necessary background to grasp the materials or perhaps just too incompetent to do so. Also, it is good to hear from Marjan at the introduction. Haven't chatted with her in a long time and looks like she moved from Iceland to Sweden. Best wishes to you for your sabbatical there in France as well as your travels around Europe. Also best wishes to Rhonda and hope she is enjoying her sabbatical as well. Will be in touch very soon. Take care.
Thanks for sharing
Thanks for posting the talk Prof. Edward Lee!
Excellent talk 👍
Hi, Doc. This is one of the best talks on the subject ever. I worked in the field for a few years but I gave up. Nobody working in cyber-physical/control systems has theoretical preparation in the subject. Most people have backgrounds in web development, or something else completely unrelated to timing. Tools like Ptolemy, Modelica and Simulink are not only unused, they are frowned upon. Maybe it's different in the States.
я не хочу писать эссе
regarding the thoerem 1, where I could read the section 3.2 and definition 2,3,4 thank you
In different target language, how does it declare a new data type?
There've been a lot of hardwork done. Thank you, professor. But the tool interface itself is counterintuitive and sort of crunch-based. Unfortunately we have tasks based on this tool without tutorial but the short introduction.
can u solve this question please and quick? - Build an actor model that recognizes the difference between single and double mouse clicks. The actor should have an input port named click, and two output ports, singleClick and doubleClick. When a true input at click is followed by N absents, the actor should produce output true on singleClick, where N is a parameter of the actor. If instead a second true input occurs within N ticks of the first, then the actor should output a true on doubleClick.
Lol why would he do?
real-time, embedded, database, web server, deterministic... looks like the academician world is a bit aside from the practice. It would be nice to provide a case study from practice for this theoretical talk... otherwise, it sounds like an attempt to solve the conflict-resolution problem for a badly designed system... and do it by low-level languages (C, Python, etc.) with a fuzzy-defined wrapper to process a transport problem in the network (the deadline operator). Is it possible to demonstrate an advantage of the R/LT on the case study? case study description -- requirements -- design -- implementation in the R/LF(C) -- verification?
Indeed, this is a good question. We have a paper (currently under peer review), which includes an elaborate case study, a port of the open-source ROS-based self-driving car software called Autoware.Auto. We show that in that software, inconsistency faults occur rarely enough to be difficult to detect during testing, but they occur eventually, leading to potentially dangerous unpredictable behavior in the software. We show that LF does not have this problem.
@@EdwardLeeAtBerkeley : Dear Professor Lee, thank you a lot for your reply. But I have to confess, I looked at your recent manuscript "Toward a Lingua Franca for Deterministic Concurrent Systems" (ACM Transactions on...) and can not catch the point... What I see, you try to solve problem to find y = x * 2 + 1 in a badly designed system with wrong low-level implementation. That does not look like a problem from the real world... Again, thank you for the time you spend on your response. It is very kind of you. Best regards.
@@v.z.8131 Yes, this work requires some imagination from the reader. I'm sorry it doesn't resonate with you.
@@edwardashfordlee : Dear Professor Lee, you're right, my imagination is limited... by my experience in developing control systems and programming languages for PLC (cyber-physical systems, embedded systems, Industrial IoT, etc.). And I want to express my gratitude to you for paying attention to the problems that are now in the programming of reactive systems. And I must say bluntly that the main trend in this domain is the creation of high-level languages. Conflict resolution and synchronization issues are at the implementation level, and it means the so-called device-centric programming (low-level). While everyone is interested in application-centric programming. I'm sorry, your example of evaluating the function y = x * 2 + 1 is an example of what low-level programming can lead to when combined with a poorly designed architecture. That is, the source of the problem is not in the distributed architecture of the system, but in the low-level language used by the programmer. So, you are fighting not with the cause, but with the effect. Palliative solution. IMHO, the manuscript needs some real-life example to justify the activity in the chosen direction. Best regards.
@@v.z.8131 I think when you talk about "low-level programming" vs. "high-level language" you are confusing "simple example" with "simple language." Even the most sophisticated language can express simple examples. My point was that it should be profoundly disheartening that such a simple example exhibits unexpected behaviors. BTW, PLCs are not invulnerable to such problems, particularly those efforts based on the IEC 61499 standard to extend PLC programming into event-based processing (vs. periodic). We have a paper on this, co-authored with people from Siemens who are top experts in PLC programming. See www.icyphy.org/publications/2021_SehrEtAl/
🌹🌹🌹🌷🌷🌷
oeeys5 #von.ong
thanks for the information, the quality of the video is low
great...thanks Mr lee
very great...thanks Mr lee
This is brilliant. I know this video is old, but the problem is shocking relevant. The video game industry needs this even more than the control system engineers... so many game-play and physics issues are critically timing dependent! Many games lock on to the monitor vsync or other signals in a desperate attempt normalize timing across different computers, but it's far from a perfect solution. Try running Skyrim on a 120Hz monitor instead of 60Hz... the first thing that happens is the horse flies into the air because the physics is getting its timing signals from the vertical blank. If the timing is wrong, the game explodes. If game timing could be reliably guaranteed in the compiler instead of by janky work-arounds, it could save millions of dollars in effort especially when porting between PC and console.
Dear Dr. Lee, on the Koptez principle slide, you say that those properties are in fact properties of the model and it makes no sense to assign them to the physical world. Could you please bring some reason for your claim?
This question is a deep one, hard to answer in this venue. I address this question in quite a bit of depth in Chapter 10 of my book, Plato and the Nerd.
@@EdwardLeeAtBerkeley Many thanks for your help.
How can one know, if the universe is not deterministic?
I have published a paper that proves that any set of deterministic models that is rich enough to include Newton's laws together with discrete phenomena (like collisions) is incomplete. It does not contain its own limit points. So if physics is rich enough for these two things, then nondeterminism is unavoidable. See ptolemy.berkeley.edu/projects/chess/pubs/1183.html
This talk is inspiring! Thank you professor!
A small correction at 52:34 - Typescript is being developed and maintained by Microsoft.
Oh, thank you so much, Edward Lee, thanks for God we heard you again. I have an MSc in Computer Science my interest area is Cyber-Physical, your video about CPS helped me a lot for my final project.
challenge #1 20:03 challenge #2 20:40 challenge #3 24:12
challenge #4 29:05
In reference to your comment @13:45 about a transistor in nature: www.tandfonline.com/doi/abs/10.1080/0020721031000147624
sounds like the movie minority report
You cannot observe the observer.
thanke you. how we can add simulink block into ptolemy?
laplace demon is basically reverse psychology where people who wants to "LOOK and SOUND SMART" creates a new "dimension of reality" in terms of words, terminology, etc..... that's why living on earth day by day is making it more and more difficult for everyone. imagine a GUN that shoots bullets where BULLETS is spelled B for boy U for ultra L for lion L for lion E for elephant T for tango S for sex is pronounced and spelled as it shows where in GUN for example is G for goat U for APPLE and N for nancy. imagine how stupid can one get? if you wanna pronounce GUN e.i. GAN then why not spell it as GAN as in G for goat A for apple and N for nancy. laplace demon as far as i've read in totality is something in which determining an absolute equilibrium's sudden and possible changes. therefore making it seem like a rocket scientist should have a very vast knowledge and money to continue research instead of spending money created from chopped up trees to buy new seeds and create more trees is much more important per se. and of course at the end of the day more and more people who thinks otherwise might call me stupid for not knowing red from white or black from blue where in retrospect is absolutely correct. people who wants to look smart believes in laplace demon, theory, whatsoever. in reality its just how you determine a routine of absolute value and how to change the course of it.
wherever you got that crack you smoked, it was probably laced with pcp
It's human nature to question reality. Relax.
Excellent talk, thanks Mr Lee
This is such an excellent talk! I loved the part about not being able to execute multi-threaded software, because it will simply break the RT timing constraints.
appreciate your video on ptolemy. I was wondering if you have more video tutorials on ptolemy..
It has been on my "to do" list for some time...
This is an excellent talk. I noticed some abrupt interruptions. I hope we did not miss any important information
wow, thanks for uploading this, Prof. Lee!
Excellent talk. Note that control engineers have been looking at these problems for many years, e.g. for embedded system timing read Motus & Rodd (1994).