On the polynomial dynamic system approach to software development

Science in China, Series F: Information Sciences

Volumn 47, Issue 4, 2004, Pages 437-457

  Wang, Xiangyun ^a   Li, Yongchao ^a   Cai, Kaiyuan ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

Discrete event dynamic system; Invariance; Polynomial dynamic system; Reachability; Reactive system; Software cybernetics; Software development

Indexed keywords

EID: 24944477811     PISSN: 10092757     EISSN: None     Source Type: Journal    
DOI: 10.1360/02yf0308     Document Type: Article

References (18)

1. Harel, D., Pnueli, A., On the development of reactive systems, Logics and Models of Concurrent Systems (ed. Apt, K.R.), NATO ASI series, Vol. F-13, 1985, 477-498.
2. Harel, D., Politi, M., Modeling Reactive Systems With Statecharts: The STATEMATE Approach, New York: MCGraw-Hill, 1998.
3. Alur, R., Henzinger, T. A., A really temporal logic, Proceedings of the 30th Annual Symposium on Foundations of Computer Science, New York: IEEE Computer Society Press, 1989, 164-169.
4. Benveniste, A., Berry, G., The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, 1991, 79(9): 1270-1282.
5. Barcio, B. T., Ramaswamy, S., BarBer, K. S. et al., An object-oriented modeling and simulation environment for reactive systems development. International Journal of Flexible Manufacturing Systems, 1997, 9(1): 51-80.
6. Harel, D., From play-in scenarios to code: An achievable dream, IEEE Computer, 2001, 34(1): 53-60.
7. Bjørner, N., Browne, A., Colon, M. et al., Verifying temporal properties of reactive systems: A STeP tutorial, Formal Methods in System Design, Boston: Kluwer Academic Publishers, 2000, 16(3): 227-270.
8. Marchand, H., Samman, M., Incremental design of a power transformer station controller synthesis methodology, IEEE Transactions on Software Engineering, 2000, 26(8): 729-741.
9. Ramadge, P. J., Wonham, W. M., Supervisory control of a class of discrete event processes, SIAM Journal on Control and Optimization, 1987, 25(1): 206-230.
10. Ramadge, P. J., Wonham, W. M., The control of discrete event systems, Proceedings of the IEEE, 1989, 77(1): 81-98.
11. Le Borgne, M., Berweniste, A., Le Guernic, P., Polynomial ideal theoretic methods in discrete events and hybrid dynamical systems, Proceeding of the 28th Conference on Decision and Control, IEEE Control Systems Society, 1989, 3(3): 2695-2700.
12. Le Borgne, M., Benveniste, A., Le Guernic, P., Dynamical systems over Galois fields and DEDS control problems, Proceedings of the 30th IEEE Conference on Decision and Control, Brighton, England, December 1991, 1505-1510.
13. Dutertre, B., Le Borgne, M., Control of polynomial dynamic systems: An example, Research Report 798, France: IRISA, Jan., 1994.
14. Marchand, H., Le Borgne, M., The supervisory control problem of discrete event systems using polynomial methods, Research Report 1271, France: IRISA, Oct., 1999.
15. Benveniste, A., Boumai, P., Gautier, T. et al., The signal declarative synchronous language: Controller synthesis & systems/architecture design. Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, Florida USA, December 2001, 3284-3289.
16. Cai, K.Y., Optimal software testing and adaptive software testing in the context of software cybernetics, Information and Software Technology, 2002, 44: 841-855.
17. Cai, K.Y., Optimal stopping of multi-project software testing in the context of software cybernetics, Science in China, Ser. F, 2003, 46(5): 335-354.
18. Cai, K. Y., Chen, T. Y., Tse, T. H., Towards research on software cybernetics, Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2002, 240-241.