共 18 条
[1]
Alur R., Grosu R., Lee I., Sokolsky O., Compositional refinement for hierarchical hybrid systems, Hybrid Systems: Computation and Control. Proceedings of the 4th International Conference (HSCC'01), 2034, pp. 33-48, (2001)
[2]
Antsaklis P.J., A brief introduction to the theory and application of hybrid systems, Proc. IEEE, 88, 7, pp. 879-887, (2000)
[3]
Barros F.J., Modeling formalisms for dynamic structure systems, ACM Trans. Model. Comput. Simulat., 7, 4, pp. 501-515, (1997)
[4]
Barros F.J., Hierarchical testing of dynamic structure models: A practical approach, Trans. SCS, 15, 4, pp. 181-189, (1998)
[5]
Barros F.J., A Framework for representing numerical multirate integration methods, Proceedings of the 2000 AI, Simulation and Planning in High Autonomy Systems, pp. 149-154, (2000)
[6]
Barros F.J., Modeling and simulation of mobile software agents in chaos, Proceedings of the European Simulation Symposium/DEVS Workshop, pp. 605-610, (2001)
[7]
Barros F.J., Modeling and simulation of dynamic structure heterogeneous flow systems, Simulat. Trans. SCS, 78, 1, pp. 18-27, (2002)
[8]
Barros F.J., Towards a theory of continuous flow models, Int. J. Gen. Syst., 31, 1, pp. 29-39, (2002)
[9]
Barros F.J., Abstract simulators for dynamic structure hybrid components, Proceedings of the AI, Simulation and Planning in High Autonomy Systems, pp. 71-77, (2002)
[10]
Barros F.J., Modeling and simulation of switched systems: A dynamic structure approach, Proceedings of the 2003 Summer Computer Simulation Conference, 3, pp. 426-431, (2003)