 | Costas Courcoubetis - 1993 - عدد الصفحات: 520
...Proceedings of the Seventh IEEE Symposium on Logic in Computer Science, pages 394-406, 1992. [KPSY92] Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. In Proceedings of the Workshop on Theory of Hybrid Systems, 1992. To appear. [QS82] JP Queille and J.... | |
 | Serge Abiteboul, Eli Shamir - 1994 - عدد الصفحات: 668
...software by continuous smooth functions, IEEE Trans, on Software Engineering, Vol. 17, No. 4, 1991. 8. Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine, Integration graphs: A class of decidable hybrid systems, In A. Ravn and H. Rischel, editors, Workshop on Hybrid Systems, Lect. Notes in Comp. Sci. Springer- Verlag,... | |
 | Baudouin LeCharlier - 1994 - عدد الصفحات: 474
...Sifakis, and S. Yovine. Symbolic modelchecking for real-time systems. In LICS'92, June 1992. [KPSY93] Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, October 1993. LNCS 736, Springer Verlag. [Lam87]... | |
 | Horst Reichel - 1995 - عدد الصفحات: 454
...He Weidong and Zhou Chaochen: A Case Study of Optimization. UNU/IIST Report No. 34, December 1994. 11. Y. Kesten, A. Pnueli, J. Sifakis and S. Yovine:...Decidable Hybrid Systems. In Hybrid Systems, LNCS 736, RL Grossman, A. Nerode, AP Ravn and H. Rischel (Editors), pp. 179-208, 1993. 12. BC Kuo: Automatic... | |
 | Ed Brinksma - 1995 - عدد الصفحات: 308
...Henzinger and H. Wong-Toi. Phase portrait approximations of hybrid systems. Submitted, 1995. [KPSY93] Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. In RL Grossman, A. Nerode, AP Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer... | |
 | Nancy Lynch, Bruce Krogh - 2007 - عدد الصفحات: 465
...discrete time systems. In Proc. American Contr. Conf., pages 1241-1245, Evanston, IL, USA, 1997. [18] Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. In RL Grossman, A. Nerode, AP Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of Lecture Notes... | |
 | Zhiming Liu - 2005 - عدد الصفحات: 574
...Clarke, 0. Grumberg, and D. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999. 5. Y. Kesten, A. Pnueli, J Sifakis, and S. Yovine. Integration...Class of Decidable Hybrid Systems. In Hybrid Systems, volume 736 of Lecture Notes in Computer Science, pages 179—208. Springer Verlag, 1994. 6. Thomas... | |
 | Dimitrios Hristu-Varsakelis, William S. Levine - 2007 - عدد الصفحات: 822
...and S. Smale. Differential Equations, Dynamical Systems and Linear Algebra. Academic Press, 1974. 41. Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. In RL Grossman, A. Nerode, AP Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer... | |
 | Dines Bjørner, Martin C. Henson - 2007 - عدد الصفحات: 624
...Fifth International Workshop on Hybrid Systems 62. Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine (1993) Integration graphs: A class of decidable hybrid systems. In Hybrid Systems, LNCS 736. Springer, Berlin Heidelberg New York: 179-208 63. C. Kleuker (2000) Constraint Diagrams. PhD Thesis,... | |
| |
Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. 