Subject
Applied Mathematics,Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering
Reference39 articles.
1. The algorithmic analysis of hybrid systems;Alur;Theortical Computer Science,1995
2. Bemporad, A., & Morari, M. (1999). Verification of Hybrid Systems via mathematical programming. In: Vaandrager, F. W., & van Schuppen, J. H. (1999). Hybrid systems computation and control, HSCC99, Lecture Notes in Computer Science, Vol. 1569 (pp. 31–45). Berlin: Springer.
3. Bengtsson, J., Larsen, K. G., Larsson, F., Pettersson, P., & Yi, W. (1996). UPPAL: A tool suite for automatic verification of real-time systems. In Hybrid systems III: Verification and control, Lecture Notes in Computer Science, Vol. 1066 (pp. 232–243). Berlin: Springer.
4. Verification of Infinite-State Dynamics Systems using approximate quotient transition systems;Chutinan;IEEE Transactions on Automatic Control,2001
5. Computational techniques for hybrid systems verification;Chutinan;IEEE Transactions on Automatic Control,2003
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献