-
3
-
-
27744458367
-
Generalized discrete event abstraction of continuous systems : GDEVS formalism
-
january
-
N. Giambiasi and J.-C. Carmona, "Generalized discrete event abstraction of continuous systems : GDEVS formalism," Simulation Modelling Practice and Theory, Elsevier, vol. 14, pp. 47-70, january 2006.
-
(2006)
Simulation Modelling Practice and Theory, Elsevier
, vol.14
, pp. 47-70
-
-
Giambiasi, N.1
Carmona, J.-C.2
-
4
-
-
0032404249
-
Theory of quantized systems: Formal basis for DEVS/HLA distributed simulation environment
-
B. P. Zeigler and J. Lee, "Theory of quantized systems: Formal basis for DEVS/HLA distributed simulation environment," in Proceedings of SPIE, pp. 49-58, 1998.
-
(1998)
Proceedings of SPIE
, pp. 49-58
-
-
Zeigler, B.P.1
Lee, J.2
-
5
-
-
0036321883
-
Quantized-state systems: A DEVS approach for continuous system simulation
-
E. Kofman and S. Junco, "Quantized-state systems: a DEVS approach for continuous system simulation," Trans. Soc. Comput. Simul. Int., vol. 18, no. 3, pp. 123-132, 2001.
-
(2001)
Trans. Soc. Comput. Simul. Int
, vol.18
, Issue.3
, pp. 123-132
-
-
Kofman, E.1
Junco, S.2
-
6
-
-
0344012974
-
Quantization-based simulation of differential algebraic equation systems
-
E. Kofman, "Quantization-based simulation of differential algebraic equation systems," Trans. Soc. Comput. Simul. Int., vol. 79, no. 7, pp. 363-376, 2003.
-
(2003)
Trans. Soc. Comput. Simul. Int
, vol.79
, Issue.7
, pp. 363-376
-
-
Kofman, E.1
-
7
-
-
1642478032
-
-
M. C. D'Abreu and G. A. Wainer, Hybrid dynamic systems: models for continous and hybrid system simulation, in WSC '03: Proceedings of the 35th conference on Winter simulation, pp. 641-649, Winter Simulation Conference, 2003.
-
M. C. D'Abreu and G. A. Wainer, "Hybrid dynamic systems: models for continous and hybrid system simulation," in WSC '03: Proceedings of the 35th conference on Winter simulation, pp. 641-649, Winter Simulation Conference, 2003.
-
-
-
-
8
-
-
50049114832
-
-
E.Kofman, M.Lapadula, and E.Pagliero, PowerDEVS: A DEVS-based environment for hybrid system modeling and simulation, tech. rep., Rosario National University, 2003. http://fceia.unr.edu.ar/~kofman/pubs.html.
-
E.Kofman, M.Lapadula, and E.Pagliero, "PowerDEVS: A DEVS-based environment for hybrid system modeling and simulation," tech. rep., Rosario National University, 2003. http://fceia.unr.edu.ar/~kofman/pubs.html.
-
-
-
-
10
-
-
50049115245
-
An introduction to set theory,
-
ACIMS Laboratory, University of Arizona
-
B. P. Zeigler, "An introduction to set theory," tech. rep., ACIMS Laboratory, University of Arizona, 2003. http://www.acims.arizona.edu/ EDUCATION/.
-
(2003)
tech. rep
-
-
Zeigler, B.P.1
-
11
-
-
84937217390
-
AToM3: A tool for multi-formalism and meta-modelling
-
London, UK, pp, Springer-Verlag
-
J. de Lara and H. Vangheluwe, "AToM3: A tool for multi-formalism and meta-modelling," in FASE '02: Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, (London, UK), pp. 174-188, Springer-Verlag, 2002.
-
(2002)
FASE '02: Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
, pp. 174-188
-
-
de Lara, J.1
Vangheluwe, H.2
-
12
-
-
50049084790
-
Diamsim : A discrete event modeling and simulation environment
-
Sofia, pp, juin
-
A. Naamane and N. Giambiasi, "Diamsim : a discrete event modeling and simulation environment," in International Conference Automatics and Informatics, (Sofia), pp. 159-168, juin 2001.
-
(2001)
International Conference Automatics and Informatics
, pp. 159-168
-
-
Naamane, A.1
Giambiasi, N.2
-
13
-
-
0036478739
-
A second order approximation for DEVS simulation of continuous systems
-
E. Kofman, "A second order approximation for DEVS simulation of continuous systems," Trans. Soc. Comput. Simul. Int., vol. 78, no. 2, pp. 76-89, 2002.
-
(2002)
Trans. Soc. Comput. Simul. Int
, vol.78
, Issue.2
, pp. 76-89
-
-
Kofman, E.1
-
14
-
-
50049135076
-
DEVS theory of quantized systems,
-
ACIMS Laboratory, University of Arizona
-
B. P. Zeigler, "DEVS theory of quantized systems," tech. rep., ACIMS Laboratory, University of Arizona, 2004. www.acims.arizona.edu/ PUBLICATIONS/CDRLs/UnivArizonaCDRL1.doc.
-
(2004)
tech. rep
-
-
Zeigler, B.P.1
-
15
-
-
50049124890
-
A third order discrete event simulation method for continuous system simulation. part i: Theory,
-
E. Kofman, "A third order discrete event simulation method for continuous system simulation. part i: Theory," tech. rep., 2005. http://fceia.unr.edu.ar/~kofman/pubs.html.
-
(2005)
tech. rep
-
-
Kofman, E.1
-
16
-
-
33749069078
-
BFS-DEVS: A general DEVS-based formalism for behavioral fault simulation
-
October
-
L. Capocchi, F. Bernardi, D. Federici, and P. Bisgambiglia, "BFS-DEVS: A general DEVS-based formalism for behavioral fault simulation," Simulation Modelling Practice and Theory, Elsevier, vol. 14, pp. 945-970, October 2006.
-
(2006)
Simulation Modelling Practice and Theory, Elsevier
, vol.14
, pp. 945-970
-
-
Capocchi, L.1
Bernardi, F.2
Federici, D.3
Bisgambiglia, P.4
|