Author of the publication

A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation.

, , and . Simulation, 86 (10): 587-611 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Linearly implicit quantization-based integration methods for stiff ordinary differential equations., , , and . Simulation Modelling Practice and Theory, (2013)A vectorial DEVS extension for large scale system modeling and parallel simulation., and . Simulation, 90 (5): 522-546 (2014)Time discretization versus state quantization in the simulation of a one-dimensional advection-diffusion-reaction equation., , , and . Simulation, 92 (1): 47-61 (2016)Continuous-time probabilistic ultimate bounds and invariant sets: Computation and assignment., , , and . Automatica, (2016)Control design with guaranteed ultimate bound for perturbed systems., , and . Automatica, 44 (7): 1815-1821 (2008)A systematic method to obtain ultimate bounds for perturbed systems., , and . Int. J. Control, 80 (2): 167-178 (2007)Discrete Event Simulation of Hybrid Systems.. SIAM J. Scientific Computing, 25 (5): 1771-1797 (2004)Improving Linearly Implicit Quantized State System Methods., , and . Simulation, (2019)The Rosario dataset: Multisensor data for localization and mapping in agricultural environments., , , and . I. J. Robotics Res., (2019)Probabilistic ultimate bounds and invariant sets for LTI systems with Gaussian disturbances., , and . AuCC, page 537-542. IEEE, (2011)