Author:
Han Zhi,Chutinan Alongkrit,Krogh Bruce H.
Subject
Applied Mathematics,Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering
Reference14 articles.
1. Automatic symbolic verification of embedded systems;Alur;IEEE Transactions on Software Engineering,1996
2. Alur, R., Henzinger, T. A., Lafferriere, G., & Pappas, G. J. (2000). Discrete abstractions of hybrid systems. In F.W. Vaandrager, & J.H.V. Schuppen (Eds.), Proceedings of the IEEE (pp. 971–984).
3. Chutinan, A., & Butts, K. R. (2002). Dynamic analysis of hybrid system models for design validation. Technical report, University of California.
4. Verification of infinite-state dynamic systems using approximate quotient transition systems;Chutinan;IEEE Transactions on Automatic Control,2001
5. Computational techniques for hybrid system verification;Chutinan;IEEE Transactions on Automatic Control,2003