Coupling Robust Optimization and Model-Checking Techniques for Robust Scheduling in the Context of Industry 4.0-Reference-Cited by-同舟云学术

Coupling Robust Optimization and Model-Checking Techniques for Robust Scheduling in the Context of Industry 4.0

Published:2020 Issue: Volume: Page:103-124
ISSN:0884-8289
Container-title:International Series in Operations Research & Management Science
language:
Short-container-title:

Author:

Marangé Pascale,Lemoine David,Aubry Alexis,Himmiche Sara,Norre Sylvie,Bloch Christelle,Pétin Jean-François

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-43177-8_6

Reference21 articles.

1. Alur, R., & Dill, D. L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183–235.

2. Baier, C., & Kwiatkowska, M. (1998). Model checking for a probabilistic branching time logic with fairness. Distributed Computing, 11(3), 125–155.

3. Ballarini, P., Djafri, H., Duflot, M., Haddad, S., & Pekergin, N. (2011). Petri nets compositional modeling and verification of Flexible Manufacturing Systems. In IEEE International Conference on Automation Science and Engineering, pp. 588–593. New York: IEEE.

4. Bertsimas, D., & Sim, M. (2004). The price of robustness. Operations Research, 52(1), 35–53.

5. Billaut, J.-C., Moukrim, A., & Sanlaville, E. (2013). Flexibility and robustness in scheduling. London: Wiley.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Industry 4.0-Driven Development of Optimization Algorithms: A Systematic Overview;Complexity;2021-02-12

2. Hybridization of Mixed-Integer Linear Program and Discrete Event Systems for Robust Scheduling on Parallel Machines;Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems;2021