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, MappingUML and business process simulation models for BP and ITintegration, Proc. IASTED Conf. on Modelling and Simulation,Mexico, 2005.
  3. [3] R. Alur & D. timed Dill, A theory of timed automata, Theo-retical 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´acs, I. Beny´o, & G. Lipovszki, RST simulator – anadvanced tool for control education, Proc. IASTED Conf. onApplied Simulation and Modelling, Greece, 2004.
  6. [6] D. Vaes, J. Swevers, & P. Sas, Experimental validation ofdifferent MIMO-Feedback controller design methods on anautomotive vibration test rig, Proc. IASTED Conf. on Controland Applications, Marina Del Rey, California, CA, 2004.
  7. [7] T. Le Gall, B. Jeannet, & H. Marchand, Supervisory control ofinfinite symbolic systems using abstract interpretation, Proc.IEEE Conf. on Decision and Control, Spain, 2005.
  8. [8] OMG Object Management Group, UML (unified modelinglanguage) profile for schedulability, performance and timespecification, Needham, MA, USA, 2003.
  9. [9] A. Bertolino, E. Marchetti, & R. Mirandola, Real-time UMLbased performance engineering to aid manager’s decisionsin multi-project planning, Proc. Workshop on Software andPerformance, 2002, 251–261.
  10. [10] X. Anagnos, Introducing a UML model for faster-than-real-time simulation, Proc. Winter Simulation Conf., Orlando, FL,2005.
  11. [11] O. Kon´e, Controlled simulation of real-time systems, Proc.The Eighth IASTED International Conference on Control andApplications, Canada, May 2006.
  12. [12] K. Larsen & W. Yi, Timed abstracted bisimulation: Implicitespecification and decidability, Proc. Mathematical Foundationsof Programming Semantics (MFPS 9), 2001.
  13. [13] O. Kon´e, Conformance testing to real-time communicationssystems, Computer Communications, 25, Elsevier Science,2002, pp. 32–45.

Important Links:

Go Back