90UojbdxBNb2_3Ph_AZBdIhCe3Kmh9cI8XSTa0BhDCFrsnj6jKrtu42iTZg7Rn4Ds6zQi0w0slWlgbY9afIfZA

Hybrid Systems Theory




4 views

Unformatted text preview:

NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI Program Review May 10, 2004 Berkeley, CA Hybrid Systems Theory presented by Tom Henzinger 1. Robust hybrid systems 2. Stochastic hybrid systems 3. Compositional hybrid systems 4. Computational hybrid systems CHESS Program Review, May 10, 2004 2 A Formal Foundation for Embedded Systems needs to combine Computatio n Physicality+ Theories of -composition & hierarchy -computability & complexity B Theories of -robustness & approximation -probabilities & discounting R CHESS Program Review, May 10, 2004 3 Continuous Dynamical Systems State space: Rn Dynamics: initial condition + differential equations Room temperature: x(0) = x0 x’(t) = -K·x(t)x t x0 Analytic complexity. CHESS Program Review, May 10, 2004 32 1. Find states that can be reached despite disturbances in which is set of disturbances 2. Find reach set of hybrid systems in which i-th system is triggered by ‘guard’ (future work) From Continuous to Hybrid System Verification CHESS Program Review, May 10, 2004 33 Related In-Depth Talks 3:50 p.m. Compositional Hybrid Systems: Model Transformations on Hybrid Models (Aditya Agrawal) 4:10 p.m. Stochastic Hybrid Systems: Hybrid Systems in Systems Biology (Wei Chung Wu, Jianghai Hu, Shankar Sastry) 4:30 p.m. Computational Hybrid Systems: Computational Methods for Analyzing and Controlling Hybrid Systems (Claire Tomlin)






Loading Unlocking...

Login

Join to view Hybrid Systems Theory and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?

Sign Up

Join to view Hybrid Systems Theory and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?