-
1
-
-
84944216817
-
Compositional refinement for hierarchical hybrid systems
-
Lecture Notes in Computer Science. Springer-Verlag, New York
-
ALUR, R., GROSU, R. LEE, I., AND SOKOLSKY, O. 2001. Compositional refinement for hierarchical hybrid systems. In Hybrid Systems: Computation and Control. Proceedings of the 4th International Conference (HSCC'01). Lecture Notes in Computer Science, vol. 2034. Springer-Verlag, New York, 33-48.
-
(2001)
Hybrid Systems: Computation and Control. Proceedings of the 4th International Conference (HSCC'01)
, vol.2034
, pp. 33-48
-
-
Alur, R.1
Grosu, R.2
Lee, I.3
Sokolsky, O.4
-
2
-
-
0001354261
-
A brief introduction to the theory and application of hybrid systems
-
ANTSAKLIS, P. J. 2000. A brief introduction to the theory and application of hybrid systems. Proc. IEEE 88, 7, 879-887.
-
(2000)
Proc. IEEE
, vol.88
, Issue.7
, pp. 879-887
-
-
Antsaklis, P.J.1
-
3
-
-
0031251544
-
Modeling formalisms for dynamic structure systems
-
BARROS, F. J. 1997. Modeling formalisms for dynamic structure systems. ACM Trans. Model. Comput. Simulat. 7, 4, 501-515.
-
(1997)
ACM Trans. Model. Comput. Simulat.
, vol.7
, Issue.4
, pp. 501-515
-
-
Barros, F.J.1
-
4
-
-
0032325282
-
Hierarchical testing of dynamic structure models: A practical approach
-
BARROS, F. J. 1998. Hierarchical testing of dynamic structure models: A practical approach. Trans. SCS 15, 4, 181-189.
-
(1998)
Trans. SCS
, vol.15
, Issue.4
, pp. 181-189
-
-
Barros, F.J.1
-
6
-
-
0346663132
-
Modeling and simulation of mobile software agents in chaos
-
Marseille, France. SCS International
-
BARROS, F. J. 2001. Modeling and simulation of mobile software agents in chaos. In Proceedings of the European Simulation Symposium/DEVS Workshop (Marseille, France). SCS International, 605-610.
-
(2001)
Proceedings of the European Simulation Symposium/DEVS Workshop
, pp. 605-610
-
-
Barros, F.J.1
-
7
-
-
0036349211
-
Modeling and simulation of dynamic structure heterogeneous flow systems
-
BARROS, F. J. 2002a. Modeling and simulation of dynamic structure heterogeneous flow systems. Simulat. Trans. SCS 78, 1, 18-27.
-
(2002)
Simulat. Trans. SCS
, vol.78
, Issue.1
, pp. 18-27
-
-
Barros, F.J.1
-
8
-
-
0346663131
-
Towards a theory of continuous flow models
-
BARROS, F. J. 2002b. Towards a theory of continuous flow models. Int. J. Gen. Syst. 31, 1, 29-39.
-
(2002)
Int. J. Gen. Syst.
, vol.31
, Issue.1
, pp. 29-39
-
-
Barros, F.J.1
-
10
-
-
84907447187
-
Modeling and simulation of switched systems: A dynamic structure approach
-
Montreal, Ont., Canada. SCS International, Simulation Series, 36
-
BARROS, F. J. 2003. Modeling and simulation of switched systems: A dynamic structure approach. In Proceedings of the 2003 Summer Computer Simulation Conference (Montreal, Ont., Canada). SCS International, Simulation Series, 36, 3, 426-431.
-
(2003)
Proceedings of the 2003 Summer Computer Simulation Conference
, vol.3
, pp. 426-431
-
-
Barros, F.J.1
-
11
-
-
84947921001
-
Simulation of hybrid systems
-
P. J. Antsaklis, W. Korn, A. Nerode, and S. Sastry, Eds. Lecture Notes in Computer Science. Springer-Verlag, New York
-
BRANICKY, M. S. AND MATTSON, S. E. 1997. Simulation of hybrid systems. In Hybrid Systems IV, P. J. Antsaklis, W. Korn, A. Nerode, and S. Sastry, Eds. Lecture Notes in Computer Science, vol. 1273. Springer-Verlag, New York, 31-56.
-
(1997)
Hybrid Systems IV
, vol.1273
, pp. 31-56
-
-
Branicky, M.S.1
Mattson, S.E.2
-
12
-
-
0347293384
-
The shift programming language and run-time system for dynamic networks of hybrid automata
-
Lecture Notes in Computer Science. Springer-Verlag, New York
-
DESHPANDE, A., GOLLU, A., AND SEMEKZATO, L. 1997. The shift programming language and run-time system for dynamic networks of hybrid automata. In Proceedings of the 1997 NATO Workshop on Discrete Event and Hybrid Systems. Lecture Notes in Computer Science. Springer-Verlag, New York.
-
(1997)
Proceedings of the 1997 NATO Workshop on Discrete Event and Hybrid Systems
-
-
Deshpande, A.1
Gollu, A.2
Semekzato, L.3
-
13
-
-
0030686834
-
Multirate extrapolation methods for differential equations with different time scales
-
ENGSTLER, C. AND LUBICH, C. 1997. Multirate extrapolation methods for differential equations with different time scales. Computing 58, 173-185.
-
(1997)
Computing
, vol.58
, pp. 173-185
-
-
Engstler, C.1
Lubich, C.2
-
14
-
-
0032404278
-
Real-time multi-rate asynchronous simulation with single and multiple processors
-
Orlando, Fla. SPIE
-
HOWE, R. M. 1998. Real-time multi-rate asynchronous simulation with single and multiple processors. In Proceedings of SPIE 12th Annual International Symposium on Aerospace/Defense Sensing, Simulation and Controls: Enabling Technology for Simulation Science, vol. 3369 (Orlando, Fla.). SPIE, 331-342.
-
(1998)
Proceedings of SPIE 12th Annual International Symposium on Aerospace/Defense Sensing, Simulation and Controls: Enabling Technology for Simulation Science
, vol.3369
, pp. 331-342
-
-
Howe, R.M.1
-
18
-
-
0032404249
-
Theory of quantized systems: Formal basis for DEVS/HLA distributed simulation environment
-
Orlando, Fla. SPIE
-
ZEIGLER, B. P. AND LEE, J. S. 1998. Theory of quantized systems: Formal basis for DEVS/HLA distributed simulation environment. In Proceedings of SPIE 12th Annual International Symposium on Aerospace/Defense Sensing, Simulation and Controls: Enabling Technology for Simulation Science, vol. 3369 (Orlando, Fla.). SPIE, 49-58.
-
(1998)
Proceedings of SPIE 12th Annual International Symposium on Aerospace/Defense Sensing, Simulation and Controls: Enabling Technology for Simulation Science
, vol.3369
, pp. 49-58
-
-
Zeigler, B.P.1
Lee, J.S.2
|