1. EECE 396-1 Hybrid and Embedded Systems: Computation T. John Koo, Ph.D. Institute for Software Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University 300 Featheringill Hall February 17, 2004 john.koo@vanderbilt.edu http://www.vuse.vanderbilt.edu/~kootj

2. 2 Analysis: Reachability - Hybrid

3. 3 Topics Definitions Transition System Reachable Sets Reachability Problem Reachability Algorithm Decidability Reachable Sets - Hybrid Ref: [1] J.Lygeros, Lecture Notes on Hybrid Systems, Cambridge, 2003. [2] J. Lygeros, C. Tomlin, and S. Sastry, The Art of Hybrid Systems, July 2001. [3] G.Pappas, Hybrid Systems: Computation and Abstraction, PhD Dissertation, EECS Dept., UC Berkeley, 1998. [4] Thomas A. Henzinger, The theory of hybrid automata, Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, pp. 278-292, 1996.

4. 4 Hybrid Automaton Hybrid Automaton (Lygeros, 2003)

5. 5 Hybrid Automaton

6. 6 Q X Execution

7. 7 Transition System

8. 8 Unsafe Set Transition System Initial set

9. 9 Unsafe Set Transition System Initial set

10. 10 Transition System

11. 11 Reachability Problem

12. 12 Reachability Problem

13. 13 Reachability Problem

14. 14 Reachability Problem

15. 15 Reachability Algorithm

16. 16 Reachability Algorithm

17. 17 Reachability Algorithm Unsafe!!

18. 18 Reachability Algorithm Safe!!

19. 19 Reachability Algorithm Keep iterating until when!?

20. 20 Reachability Algorithm

21. 21 Reachability Algorithm

22. 22 Reachability Algorithm Keep iterating until when!?

23. 23 Deciability Keep iterating until when!?

24. 24 Deciability Keep iterating until when!?

25. 25 Hybrid Automaton

26. 26 Hybrid Automaton

27. 27 Reachable Sets

28. 28 Reachable Sets

29. 29 Reachable Sets

30. 30 Reachable Sets

31. 31 Reachable Sets

32. 32 Reachable Sets

33. 33 Reachable Sets

34. 34 Reachable Sets

35. 35 Reachable Sets

36. 36 Reachable Sets

37. 37 Reachable Sets

38. 38 Reachable Sets

39. 39 Reachable Sets

40. 40 Reachable Sets

41. 41 Reachable Sets

42. 42 Reachable Sets Q X

43. 43 End