Abstract
Cyclic scheduling problems arise in a variety of transportation applications and service domains. Within the class of those problems we can identify situations where there is need to make use of different modes of transportation. What is of particular interest in this paper is the design of a class of multimodal cyclic processes (MCP) for production engineering and supply chains. The paper presents a new modeling framework enabling to prototype and evaluate multimodal processes while comparing their cyclic steady states. A way in which the multimodal processes encompass the behavior of supporting them concurrently flowing cyclic processes (SCCP) is discussed in terms of constraints satisfaction problem. Possible implementations are illustrated on example of the flexible manufacturing system operation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bocewicz G., Wójcik R., Banaszak Z., On Undecidability of Cyclic Scheduling Problems, In: Mapping Relational Databases to the Semantic Web with Original Meaning, Lecture Notes in Computer Science LNAI, Vol. 5914, Springer-Verlag, Berlin-Heidelberg, 2009, 310-321
Bocewicz G., Wójcik R., Banaszak Z., AGVs distributed control subject to imprecise operation times. In: Agent and Multi-Agent Systems: Technologies and Applications, Lecture Notes in Artificial Intelligence LNAI, Vol. 4953, Springer-Verlag, Berlin-Heidelberg, 2008, 421-430
Bocewicz G., Wójcik R., Banaszak Z., Cyclic Steady State Refinement. In: Proceedings of the 9th International Conference on Practical Applications of Agents and Multi-Agent Systems, 2011, (in print)
Bocewicz G., Banaszak Z., Wójcik R., Design of admissible schedules for AGV systems with constraints: a logic-algebraic approach. In: Agent and Multi-Agent Systems: Technologies and Applications, Nguyen N.T., Grzech A., et al. (Eds.), Lecture Notes in Artificial Intelligence LNAI, Vol. 4496, Springer-Verlag, Berlin-Heidelberg, 2008, 578-587
Bocewicz G., Banaszak Z., Cyclic processes scheduling. In: Applied Computer Science, Vol. 6, No. 2, 2010, 41-70
Ernst A.T., Jiang H., Krishnamoorthy M., Owens B., Sier D., An annotated bibliography of personnel scheduling and rostering. In: Annals of Operations Research, 127, 2009, 21-144
Fournier, O., Lopez, P., Lan Sun Luk, J.-D., Cyclic scheduling following the social behavior of ant colonies. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 2002, 450-454
Kats V., Lei L., Levner E., Minimizing the cycle time of multiple-product processing networks with a fixed operation sequence, setups, and time-window constraints. In: European Journal of Operational Research, Vol. 187, 2008, 1196-1211
Liebchen, C., Möhring, R.H., A case study in periodic timetabling. In: Electronic Notes in Theoretical Computer Science, Vol. 66 (6), 2002, 21-34
Levner E., Kats V., Alcaide D., Pablo L, Cheng T.C.E., Complexity of cyclic scheduling problems: A state-of-the-art survey. In: Computers & Industrial Engineering, Vol. 59, Issue 2, 2010, 352-361
Polak M., Majdzik P., Banaszak Z., Wójcik R., The performance evaluation tool for automated prototyping of concurrent cyclic processes. Fundamenta Informatice. In: ISO Press, Editor-in-Chief, A. Skowron, Vol. 60, No.1-4, 2004, 269-289
Schulte Ch., Smolka G., Wurtz J., Finite Domain Constraint Programming in Oz. DFKI OZ documentation series, German Research Center for Artificial Intelligence, Saarbruecken, Germany, 1998
Slowik A., Steering of Balance Between Exploration and Exploitation Properties of Evolutionary Algorithms - Mix Selection, In: Artificial Intelligence and Soft Computing, L. Rutkowski et al. (Eds.): Lecture Notes in Artificial Intelligence, LNAI, Vol. 6114, Part II, Springer, Heidelberg, 2010, 213-220.
Song J.-S., Lee T.-E., Petri net modeling and scheduling for cyclic job shops with blocking. In: Computers & Industrial Engineering,Vol.34, No.2, 1998, 281-295
Soon-Ki Heo, Kyu-Hwang Lee, Ho-Kyung Lee, In-Beum Lee, Jin Hyun Park, A New Algorithm for Cyclic Scheduling and Design of Multipurpose Batch Plants. In: Ind. Eng. Chem. Res., 42 (4), 2003, 836-846
Trouillet B., Korbaa O, Gentina J.-C.k Formal Approach for FMS Cyclic Scheduling. In: IEEE SMC Transactions, Part C, 37, Issue 1, 2007, 126-137
Wang, B., Yang, H., Zhang, Z.-H., Research on the train operation plan of the Beijing-Tianjin inter-city railway based on periodic train diagrams. In: Tiedao Xuebao/Journal of the China Railway Society, Vol. 29 (2), 2007, 8-13
Von Kampmeyer T., Cyclic scheduling problems, Ph.D. Dissertation, Fachbereich Mathematik/ Informatik, Universität Osnabrück, 2006
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bocewicz, G., Banaszak, Z.A. (2011). Declarative Modeling of Multimodal Cyclic Processes. In: Golinska, P., Fertsch, M., Marx-Gómez, J. (eds) Information Technologies in Environmental Engineering. Environmental Science and Engineering(), vol 3. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19536-5_43
Download citation
DOI: https://doi.org/10.1007/978-3-642-19536-5_43
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19535-8
Online ISBN: 978-3-642-19536-5
eBook Packages: Earth and Environmental ScienceEarth and Environmental Science (R0)