Real-Time Monitoring, Verification, and Control of Cyber-Physical Systems

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=ZJ762YZVmGU


Duration: 31:32
809 views
12

Sanjit Seshia, UC Berkeley
https://simons.berkeley.edu/talks/sanjit-seshia-3-26-18
Societal Networks



Other Videos By Simons Institute for the Theory of Computing


2018-03-27Guaranteeing Timeliness Via Prices...
2018-03-27Real‐Time Control of Electrical Distribution Grids
2018-03-27Learning and Optimization of Static and Dynamic Appointments
2018-03-27Marking Sense of Hierarchical Log Data
2018-03-27Decentralized Signal Control for Urban Road Networks
2018-03-27Intelligent Intersections
2018-03-27Urban Data & Decisions
2018-03-26Learning to Control Unknown Systems
2018-03-26Learning Latent Events from Network Message Logs
2018-03-26An Axiomatic Theory of Non Bayesian Social Learning
2018-03-26Real-Time Monitoring, Verification, and Control of Cyber-Physical Systems
2018-03-26Streaming Analytics for Power Systems: A Tale of Two Time Scales
2018-03-26A Stochastic Resource-Sharing Network for Electric Vehicle Charging
2018-03-22Inferring Single-Trial Neural Population Dynamics Using Sequential Auto-Encoders
2018-03-22Tracing, Intercepting and Modeling Communication in the Brain
2018-03-21Similarity Alignment: A Missing Link Between Structure, Function and Algorithms
2018-03-21Cortical Areas Interact through a Communication Subspace
2018-03-21The Information Bottleneck Theory of Deep Neural Networks...
2018-03-20Automated Reconstruction of Synaptic-Resolution Neural Wiring Diagrams Using...
2018-03-20Computational Geometry of Cortical Networks: Manifold-Embedding Analysis of Multi-Site Recordings...
2018-03-19Cortical Travelling Waves: Mechanisms and Computational Principles


Tags:
Simons Institute
Theory of Computing
Theory of Computation
Theoretical Computer Science
Computer Science
UC Berkeley
Societal Networks
Sanjit Seshia