ABOUT THE CALENDAR
Swarm Lab Seminar: It's About Time
Seminar: Swarm Lab | March 7 | 12:30-2 p.m. | 490H Cory Hall
Edward A. Lee, UC Berkeley
Cyber-physical systems integrate sensors, actuators, computation, and networking with physical systems. The behavior of such systems, most particularly their temporal dynamics, depend on the timing of actions taken by software components. Yet today, nearly all widely used software and networking abstractions lack temporal semantics. The notion of correct execution of a program written in every widely-used programming language and in nearly every processor instruction-set today does not depend on the timing of the execution, and the correctness (vs. performance) of network behavior also does not depend on timing.
EECS Home | Contact WebTeam |
Copyright © 2013 UC Regents