Author:
van Beek D.A.,Reniers M.A.,Rooda J.E.,Schiffelers R.R.H.
Reference16 articles.
1. Syntax and consistent equation semantics of hybrid Chi;van Beek;Journal of Logic and Algebraic Programming,2006
2. D. A. van Beek, M. A. Reniers, J. E. Rooda, and R. R. H. Schiffelers. Foundations of an interchange format for hybrid systems. In Alberto Bemporad, Antonio Bicchi, and Giorgio Butazzo, editors, Hybrid Systems: Computation and Control, 10th International Workshop, volume 4416 of Lecture Notes in Computer Science, pages 587-600, Pisa, 2007a. Springer-Verlag.
3. D. A. van Beek, M. A. Reniers, J. E. Rooda, and R. R. H. Schiffelers. Revised hybrid system interchange format. Technical Report HYCON Deliverable D3.6.3, HYCON NoE, 2007b.
4. Stefano Di Cairano, Alberto Bemporad, and Michal Kvasnica. An architecture for data interchange of switched linear systems. Technical Report D 3.3.1, HYCON NoE, 2006.
5. G. Frehse, O. Stursberg, S. Engell, R. Huuck, and B. Lukoschus. Verification of hybrid controlled processing systems based on decomposition and deduction. In 2001 IEEE International Symposium on Intelligent Control, pages 150-155, Mexico City, 2001. IEEE.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献