References

1. A.Deshpande, D.Godbole, A.Gollu, L.Semenzato, R.Sengupta, D.Swaroop, and P.Varaiya, "Automated highway system tool interchange format."(preprint) California PATH Technical Report, Institute of Transportation Studies. University of California at Berkeley, 1996.
   
   
2. J.Lygeros, D.N.Godbole, and S.Sastry, "A verified hybrid control design for automated vehicles."(preprint), 1996.
   
   
3. R.Alur, C.Courcoubetis, T.Henzinger, and P.H.Ho,"Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems" in Hybrid Systems I (R.Grossman, A.Nerode, A.Ravn, and H.Rischel. eds). Lecture Notes in Computer Science 736, pp.209-229, Springer-Verlag, 1993.
   
   
4. A.Deshpande, Control of Hybrid Systems. PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1994.
   
   
5. M.S.Branicky, V.S.Borkar, and S.K.Mitter, "A unified framework for hybrid control: Background, model and theory," Tech. Rep. LIDS-P-2239, Laboratory for Information and Decesion Systems, MIT, 1994.
   
   
6. A.Nerode and W.Kohn, "Multiple agent hybrid control architecture," in Hybrid System (R.L.Grossman, A.Nerode, A.P.Ravn, and H.Rischel, eds.). pp.297-316. New York; Springer Verlag, 1993.
   
   
7. W.Kohn and A.Nerode, "An autonomous control theory: an overview." in IEEE symposium on Computer Aided Control Systems Design, pp.204-210,1992.
   
   
8. W.Kohn and A,Nerode, "Multiple agent autonomous hybrid control systems." In Logical Methods: A symposium in honor of Nerode's 60th birthday, Birkhauser, 1993.
   
   
9. W.Kohn and A.Nerode, "Multi-agent hybrid systems." In IEEE Control and Decision Conference, pp.2956, 2972, 1992.
   
   
10. W.Kohn and A.Nerode, "Models for hybrid systems: automata, topologies, controllability and observability." in Hybrid Systems, LNCS 736, pp.317-356, Springer Verlag,1993.
    
    
11. T.Basar and P.Bernhard, H-infinite Optimal control and related minimax design problems. Birkhauser, 1991.
    
    
12. G.Holzmann, Design and Validation of Computer Protocols. Prentice-Hall, 1991.
    
    
13. J.R.Burch E.Clarke, K.McMillan, D.Dill, and L.Hwang, "symbolic model checking: 10^20 states and beyond." Information and Computation, vol.9,no.2,pp.142-170,1992.
    
    
14. ?? and R.Kurshan, Cospan User's Guide. AT&T Bell Lab., 1987.
    
    
15. ?? Aziz, et al., "HSIS: a BDD-baded environment for formal verification" in ACM/IEEE International Conference on CAD, 1994.
    
    
16. A.Hsu, F.Eskafi, S.Sachs, and P.Varaiya, "Protocol design for an automated highway system" Discrete Event Dynamic Systems, vol.2,no.1, pp.183-206,1994.
    
    
17. R.Alur and D.Dill, "A theory of timed automata" Theoretical Computer Science, vol.126,00.183-235, 1994.
    
    
18. T.Henzenger, X.Nicollin, J.Sifakis, and S.Yovine, "Symbolic model checking for real-time systems" Infromation and computation, Vol.111,no.2,pp.193-244,1994.
    
    
19. C.Daws and S.Yovine,"Two examples of verification of multirate timed automata with KRONOS" in Proc. 1995 IEEE Real-Time systems Symposium, RTSS'95, (Pisa, Italy), IEEE Computer Society Press, Dec.1995.
    
    
20. K.Larsen, P.Pettersson, and W.Yi,"Compositional and symbolic model checking of real-time systems" in Proceedings of the 16th Annual Real-time Systems Symposium, pp.76-87, IEEE Computer Society Press, 1995.
    
    
21. R.P.Kurshan, Computer-aided verification of coordinating processes; the automata-theoretic approach. Princeton University Press, 1994.
    
    
22. R.Balarin, Iterative Methodes for Formal Verification of Digital Systems. PhD thesis, University of California at Berkeley,1994.
    
    
23. F.Balarin, K.Petty, and A.L.Sangiovanni-Vincentelli, "Formal verification of the PATHO real-time operating system" in IEEE Control and Decision Conference, pp.2459-2465,1994.
    
    
24. R.Alur,T.Henzinger, and P.H.Ho,"Automatic symbolic verification of embedded systems" IEEE Transactions on Software Engineering., to appear.
    
    
25. T.Henzinger, P.H.Ho, and H.Wong-Toi"A user guide to HYTECH" in TACAS 95: Tools and algorithms for the contruction and analysis of systems(E.Brinksma, et al. eds.), Lecture Notes in Computer Science 1019,pp.41-71, Springer-Verlag, 1995, Full version available as Technical Report CSD-TR-95-1532, Cornell University.
    
    
26. R.Alur and T.Henzinger,"Local liveness for compositional modeling of fair reactive systems" in CAV 95 Computer aided Verification (P.Wolper, ed.), Lecture Notes in Computer Science 939, pp.166-179, Springer Verlag, 1995.
    
    
27. T.Henzinger and P.H.Ho, "Algorithm analysis of nonlinear hybrid systems," in CAV95: Computer-aided Verification (P.Wolper, ed.), Lecture Notes in Computer Science 939, pp.225-238, Springer Verlag, 1995.
    
    
28. T.Henzinger and H.Wong -Toi "Linear Phase-portrait approximations for nonlinear hybrid systems" To appear in the Proceedings of the 1995 DIMACS Workwhop on Verification and Control of Hybrid Systems, 1996.
    
    
29. O.Maler, A.Pnueli, and J.Sifakis, "On the synthesis of discrete controllers for timed systems" in STACS 95(E.Mayr and et al. eds.), Lecture Notes in Computer Science 900, pp.229-242, Springer-Verlag, 1995.
    
    
30. N.Bjorner, I.Browne, E.Chang, M.Colon, A.Kapur, Z.Manna, H.Sipma, and T.Uribe,"STeP: the stanford temporal prover, user's manual" tech. rep. Computer Science Department, Stanford University. Jan.1996.
    
    
31. Z.Manna and A.Pnueli, Temporal Verification of Reactive Systems: Safety. New York: Springer-Verlag, 1995.
    
    
32. Z.Manna and A.Pnueli, "Temporal Verification diagrams" in Proc. Int. Symp. on Theoretical Aspects of Computer Software, vol.789 of LNCS, pp. 726-765, Springer-Verlag, 1994.
    
    
33. N.Bjorner, I.Browne, and Z.Manna, "Automatic generation of invariants and intermediate assertions" in First Intl. Conference on Principles and Practice of Constraint Programming, vol.976 of LNCS, pp.589-623, Springer-Verlag, Sept.1995.
    
    
34. Y.Kesten, Z.Manna, and A.Pneuli, "Verifying clocked transition systems." in Hybrid Systems III, LNCS, Springer-Verlag, 1996. To appear.
    
    
35. C.Heitmeyer and N.Lynch, "The generalized railroad crossing: A case study in formal verification of real-time systems," in Proc. ICCC Real-time systems sumposium, San Juan, Puerto Rico, 1994.
    
    
36. I.Browne, Z.Manna, and H.Sipma, "Modular verification diagrams" Draft manuscript, 1996.
    
    
37. A.Puri and P.Varaiya,"Driving safely in smart cars" in American Control Conference, pp.3597-3599, 1995.
    
    
38. Q.T.Luong, J.Weber, D.Koller, and J.Malik,"An integrated stereo-based approach to automatic vehicle guidance" in proceedings of the fifth ICCV, (Boston), pp.52-57, 1995.
    
    
39. J.Malik and R.Rosenholtz, "Computing local surface orientation and shape from texture for curved surfaces" International Journal of Computer Vision, 1996.
    
    
40. J.Weber and J.Malik,"Robust comutation of optical flow in a multi-scale differentila framework" International Journal of Computer Vision, vol.14, no.1, pp.67-81,1995.
    
    
41. D.Jones and J.Malik,"Computational framework for determining stereo correponence from a set of linear spatial filters" Image and Vision Computing, vol.10,no.10,pp.699-708,1992.
    
    
42. D.Koller, J.Weber, T.Huang, J.Mailik, G.Ogasawara, B.Rao, and S.Russell,"Towards robust automatic traffic scene analysis in real-time" in Proceedings of the International Conference on Pettern Recognition, (Israel), Nov.1994.
    
    
43. J.Forbes, T.Huang, K.Kanazawa, and S.Russell, "The BATmobile: Towards a Bayesian automated taxi" in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), (Montreal, Canada), Morgan Kaufmann, Aug.1995.
    
    
44. S.Glesner and D.Koller,"Constructing flexible dynamical belief networks from first-order probabilistic knowledge bases," in Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty,(Berlin), Springer-Verlag, 1995.
    
    
45. k.Kanazawa, D.Koller, and S.Russell, "Stochastic simulation algorithms for dynamic probabilistic networks" in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence(UAI-95),(Montreal), Morgan Kaufmann, 1995.
    
    
46. S.J.Russell and E.H.Wefald, "Principles of metareasoning" Artificail Intelligence, vol.49,pp.361-395,May,1991.
    
    
47. S.Zilberstein and S.Russell,"Optimal composition of real-time Systems", Artificial Intelligence, vol.83,1996.
    
    
48. S.Russell, J.Binder, D.Koller, and K.Kanazawa,"Local Learning in probabilistic networks with hidden variables" in proceedings of the fourteenth international joint conference on artificial intelligence(IJCAI-95), (Montreal, Canada), Morgan Kaufmann, Aug.1995.
    
    
49. S.Dasgupta,"Some complexity issues pertaining to Veayesian nets" Final project, CS 281, UC Berkeley, Spring 1995.
    
    
50. R.Parr and S.Russell, "Approximating optimal policies for partially observable stochastic domains" in proceedings of the fourteenth international Joint Conference on artificial intelligence(IJCAI-95),(Montreal, Canada), Morgan Kaufmann, Aug.1995.
    
    
51. R.Sutton,"Temporal abstraction in reinforcement learning" in Prceedings of the Twelfth International Conference on Machine Learning, (Tahoe City,CA) Morgan Kaufmann, July,1995.
    
    
52. L.A.Zadeh,"Fuzzy logic, neural networks, and soft cmputing" Communications of the ACM, vol.3,pp.77-84,1994.
    
    
53. J.S.Jang,"Anfis: adaptive-network-based fuzzy inference system" IEEE Transactions on Systems, Man and Cybernetics. vol.23, pp.665-685,1993.
    
    
54. M.A.Lee and H.Takagi,"Integrating design stage of fuzzy systems using genetic algorithms" in Second IEEE International conference on Fuzzy Systems, pp.612-617,1993.
    
    
55. M.Smith,"Parallel dynamic switching of reasoning methodes in a fuzzy systems," in Second IEEE International Conference on Fuzzy Systems, pp.968-973,1993.

---

[Top|Home]

---