Subject
Control and Systems Engineering
Reference18 articles.
1. [1] E. M. Clarke, P. Zuliani. Statistical Model Checking for Cyber-physical Systems. Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, 2011, pp. 1-12.
2. A. Donzé, O. Maler. Systematic Simulation using Sensitivity Analysis. Hybrid Systems: Computation and Control, Springer Berlin Heidelberg, 2007.
3. A. Chutinan, B. Krogh. Computing Approximating Automata for a Class of Linear Hybrid Systems. Hybrid Systems V, Springer Berlin Heidelberg, 1999, pp. 16-37.
4. A. Chutinan, B. Krogh. Computing Polyhedral Approximations to Flow Pipes for Dynamic Systems. Decision and Control, Proceedings of the 37th IEEE Conference, Dec. 1998, pp. 2089-2094.
5. A. Chutinan, B. Krogh. Computational Techniques for Hybrid System Verification. Automatic Control, IEEE Transactions, 2003, pp. 64-75.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献