CONTROLLING THE SIMULATION OF TIME-DEPENDENT SYSTEMS

O. Koné

References

  1. [1] J.S. Carson II, Introduction to modelling and simulation, Proc. Winter Simulation Conf., Orlando, FL, 2005.
  2. [2] S. de Cesare, M. Themistocleous, & A. Serrano, Mapping UML and business process simulation models for BP and IT integration, Proc. IASTED Conf. on Modelling and Simulation, Mexico, 2005.
  3. [3] R. Alur & D. timed Dill, A theory of timed automata, Theoretical Computer Science, 126, 1994, 183–235. 65
  4. [4] W. Dangelmaier, H. Franke, B. Klpper, & P. Scheideler, Modeling and controlling decentralized logistics networks, Proc. IASTED Conf. on Applied Simulation and Modelling – Greece, 2004.
  5. [5] J. Kovács, I. Beny´o, & G. Lipovszki, RST simulator – an advanced tool for control education, Proc. IASTED Conf. on Applied Simulation and Modelling, Greece, 2004.
  6. [6] D. Vaes, J. Swevers, & P. Sas, Experimental validation of different MIMO-Feedback controller design methods on an automotive vibration test rig, Proc. IASTED Conf. on Control and Applications, Marina Del Rey, California, CA, 2004.
  7. [7] T. Le Gall, B. Jeannet, & H. Marchand, Supervisory control of infinite symbolic systems using abstract interpretation, Proc. IEEE Conf. on Decision and Control, Spain, 2005.
  8. [8] OMG Object Management Group, UML (unified modeling language) profile for schedulability, performance and time specification, Needham, MA, USA, 2003.
  9. [9] A. Bertolino, E. Marchetti, & R. Mirandola, Real-time UML based performance engineering to aid manager’s decisions in multi-project planning, Proc. Workshop on Software and Performance, 2002, 251–261.
  10. [10] X. Anagnos, Introducing a UML model for faster-than-realtime simulation, Proc. Winter Simulation Conf., Orlando, FL, 2005.
  11. [11] O. Koné, Controlled simulation of real-time systems, Proc. The Eighth IASTED International Conference on Control and Applications, Canada, May 2006.
  12. [12] K. Larsen & W. Yi, Timed abstracted bisimulation: Implicite specification and decidability, Proc. Mathematical Foundations of Programming Semantics (MFPS 9), 2001.
  13. [13] O. Koné, Conformance testing to real-time communications systems, Computer Communications, 25, Elsevier Science, 2002, pp. 32–45.

Important Links:

Go Back