An SDS modeling approach for simulation-based control

Proceedings - Winter Simulation Conference

Volumn 2005, Issue , 2005, Pages 1473-1482

  Ramakrishnan, Sreeram ^a   Thakur, Mayur ^a  

^a Architectural and Environmental Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; INTERFACES (COMPUTER); MATHEMATICAL MODELS; POLYNOMIAL APPROXIMATION; STATE SPACE METHODS;

FINITE STATE MACHINES (FSM); SEQUENTIAL DYNAMICAL SYSTEMS (SDS); STANDARD SDS MODEL;

CONTROL SYSTEMS;

EID: 33845936343     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2005.1574414     Document Type: Conference Paper

References (30)

1. Alur, R., S. Kannan, and M. Yannakakis. 1999. Communicating hierarchical state machines. In Automata, Languages and Programming 26th ICALP'99, ed. J. Wiedermann, P. van Emde Boas, and M. Nielsen, Volume 1644 of LNCS, 169-178.
2. Atkins, K., C. Barrett, C. Homan, A. Marathe, M. Marathe, and S. Thite. 2004. Marketecture: A simulation-based framework for studying experimental deregulated power markets. In Proceedings of the 6th IAEE European Energy Conference. To appear.
3. Barrett, C., R. Beckman, K. Berkbigler, K. Bisset, B. Bush, K. Campbell, S. Eubank, K. Henson, J. Hurford, D. Kubicek, M. Marathe, P. Romero, J. Smith, L. Smith, P. Speckman, P. Stretz, G. Thayer, E. Eeckhout, and M. Williams. 2001. Transims: Transportation analysis and simulation system. Technical Report LA-UR-00-1725, Los Alamos National Laboratory.
4. Barrett, C., S. Eubank, V. Kumar, and M. Marathe. 2004, May. Understanding large-scale social and infrastructure networks. SIAM News 37 (4).
5. Barrett, C., H. Hunt, M. Marathe, S. Ravi, D. Rosenkrantz, and R. Stearns. 2003, February. Reachability problems for sequential dynamical systems with threshold functions. Theoretical Computer Science 295 (1-3): 41-64.
6. Barrett, C., H. Mortveit, and C. Reidys. 2000. Elements of a theory of simulation II: Sequential dynamical systems. Applied Mathematics and Computation 107:121-136.
7. Brand, D., and P. Zafiropulo. 1983. On communicating finite-state machines. Journal of the ACM 30 (2): 323-342.
8. Cho, H., and R. Wysk. 1995. Intelligent workstation controller for computer-integrated manufacturing: Problems and models. Journal of Manufacturing Systems 14 (4): 252-263.
9. Concepcion, A., and B. Zeigler. 1988. DEVS formalism: A framework for hierarchical model development. IEEE Transactions on Software Engineering 14 (2): 228-241.
10. Davis, W., C. Pegden, K. Musselman, R. Ingalis, and W. Trybula. 1991. Simulation and scheduling. In Proceedings of the 1991 Winter Simulation Conference, 382-391.
11. Dilts, D., N. Boyd, and H. Whorms. 1991. The evolution of control architectures for automated manufacturing systems. Journal of Manufacturing Systems 10 (1): 79-93.
12. Drake, G., J. Smith, and B. Peters. 1995. Simulation as a planning and scheduling tool for flexible manufacturing systems. In Proceedings of the 1995 Winter Simulation Conference, 805-812.
13. Eubank, S., H. Guclu, V. Kumar, M. Marathe, A. Srinivasan, Z. Toroczkai, and N. Wang. 2004. Modeling disease outbreaks in realistic urban social networks. Nature 429:180-184.
14. Jones, A., and A. Saleh. 1990. A multi-level/multi-layer architecture for intelligent shop floor control. International Journal of Computer Integrated Manufacturing 3 (1): 60-70.
15. Joshi, S., E. Mettala, J. Smith, and R. Wysk. 1995. Formal models for control of flexible manufacturing cells: Physical and system model. IEEE Transaction on Robotics and Automation 11 (4): 558-570.
16. Kasturia, E., F. DiCesare, and A. Desrochers. 1988. Real-time control of multilevel manufacturing systems using colored petri-nets. In Proceedings of the IEEE International Conference on Robotics and Automation, 1114-1119.
17. Li, M., and P. Vitányi. 1997. An introduction to Kolmogorov complexity and its applications. 2nd ed. Springer-Verlag.
18. Manivannan, S., and J. Banks. 1991. Real-time control of a manufacturing cell using knowledge-based simulation. In Proceedings of the 1991 Winter Simulation Conference, 251-260.
19. Marathe, M., H. Hunt, R. Stearns, and V. Radhakrishnan. 1998. Approximation algorithms for PSPACE-hard hierarchically and periodically specified problems. SIAM Journal on Computing 27 (5): 1237-1261.
20. McConnell, P., and D. Medeiros. 1992. Real-time simulation for decision support in continuous flow manufacturing systems. In Proceedings of the 1992 Winter Simulation Conference, 936-944.
21. Mettala, E. 1989. Automatic generation of control software in computer integrated manufacturing. Ph. D. thesis, University Park, Pennsylvania.
22. Radiya, A., and R. Sargent. 1987. A new formalism for discrete event simulation. In Proceedings of the 1987 Winter Simulation Conference, 554-558.
23. Radiya, A., and R. Sargent. 1994. A logic-based foundation of discrete event modeling and simulation. ACM Transaction on Modeling and Computer Simulations:3-51.
24. Smith, J., and S. Joshi. 1995. A shop floor controller class for computer-integrated manufacturing. International Journal of Computer Integrated Manufacturing 8 (5): 327-339.
25. Smith, J., R. Wysk, D. Sturrok, S. Ramaswamy, G. Smith, and S. Joshi. 1994. Discrete event simulation for shop floor control. In Proceedings of the 1994 Winter Simulation Conference, 962-969.
26. Son, Y., H. Rodríguez-Rivera, and R. Wysk. 1999. A multi-pass simulation-based, real-time scheduling and shop floor control system. The quarterly Journal of the Society for Computer Simulation International 16 (4): 159-172.
27. Srinon, R., and S. Ramakrishnan. 2005. Simulation modeling using neutral xml constructs. In Proceedings of the International Conference on Systems Engineering.
28. Wu, S., and R. Wysk. 1988. Multi-pass expert control system: A control/scheduling structure for flexible manufacturing cells. Journal of Manufacturing Systems 7 (2).
29. Wu, S., and R. Wysk. 1989. An application of discrete-event simulation to on-line control and scheduling in flexible manufacturing. International Journal of Production Research 27 (9): 1603-1623.
30. Zeigler, B., H. Praehofer, and T. Kim. 2000. Theory of modeling and simulation.