Comparison of some integration procedures related to universal machine equations, 1988. ,
Theory of Modeling and Simulation, Second Edition, 2000. ,
Generalized discrete event abstraction of continuous systems : GDEVS formalism Simulation Modelling Practice and Theory, pp.47-70, 2006. ,
<title>Theory of quantized systems: formal basis for DEVS/HLA distributed simulation environment</title>, Enabling Technology for Simulation Science II, pp.49-58, 1998. ,
DOI : 10.1117/12.319354
Quantized-state systems: a DEVS approach for continuous system simulation, Trans. Soc. Comput. Simul. Int, vol.18, issue.3, pp.123-132, 2001. ,
Quantization-Based Simulation of Differential Algebraic Equation Systems, SIMULATION: Transactions of the Society for Modeling and Simulation, vol.79, issue.7, pp.363-376, 2003. ,
DOI : 10.1177/0037549703038881
Hybrid dynamic systems: models for continous and hybrid system simulation, WSC '03: Proceedings of the 35th conference on Winter simulation, pp.641-649, 2003. ,
PowerDEVS: A DEVS-based environment for hybrid system modeling and simulation, tech. rep, 2003. ,
Theory of Modeling and Simulation, 1976. ,
An introduction to set theory, tech. rep, 2003. ,
AToM3: A tool for multi-formalism and meta-modelling, FASE '02: Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, pp.174-188, 2002. ,
Diamsim : a discrete event modeling and simulation environment, International Conference Automatics and Informatics, pp.159-168, 2001. ,
A Second-Order Approximation for DEVS Simulation of Continuous Systems, SIMULATION, vol.78, issue.2, pp.76-89, 2002. ,
DOI : 10.1177/0037549702078002206
DEVS theory of quantized systems, " tech. rep, 2004. ,
A third order discrete event simulation method for continuous system simulation. part i: Theory, " tech. rep, 2005. ,
BFS-DEVS: A general DEVS-based formalism for behavioral fault simulation Simulation Modelling Practice and Theory, pp.945-970, 2006. ,