Optimal scheduling using branch and bound with SPIN 4.0

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2648, Issue , 2003, Pages 1-17

  Ruys, Theo C ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

JOB SHOP SCHEDULING; OPTIMAL SYSTEMS; OPTIMIZATION; SCHEDULING; TRAVELING SALESMAN PROBLEM;

BRANCH AND BOUND TECHNIQUES; DISCRETE OPTIMISATION; JOB SHOP SCHEDULING PROBLEMS; MODEL CHECKER; OPTIMAL SCHEDULING; OPTIMAL SOLUTIONS; PROMELA MODELS; TRAVELLING SALESMAN PROBLEM;

MODEL CHECKING;

EID: 35248834656     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44829-2_1     Document Type: Article

References (22)

1. Advanced Methods for Timed Systems (AMETIST) Project. IST-2001-35304. Homepage: http://ametist.cs.utwente.nl/.
2. G. Behrmann, A. Fehnker, T. Hune, K. Larsen, P. Pettersson, and J. Romijn. Efficient Guiding Towards Cost-Optimality in UPPAAL. In T. Margaria and W. Yi, editors, Procs. of the 7th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), volume 2031 of LNCS, pages 174-188, Genova, Italy, April 2001. Springer.
3. ∼obenli/.
4. D. Bošnački, D. Dams, and L. Holenderski. Symmetric SPIN. In Havelund et al. [9], pages 1-19.
5. E. Brinksma and A. Mader. Verification and Optimization of a PLC Control Schedule. In Havelund et al. [9], pages 73-92.
6. S. Edelkamp, A. L. Lafuente, and S. Leue. Directed Explicit Model Checking with HSF-SPIN. In M. B. Dwyer, editor, Model Checking Software, Procs. of the 8th Int. SPIN Workshop, volume 2057 of LNCS, pages 57-79, Toronto, Canada, May 2001. Springer.
7. A. Fehnker. Scheduling a Steel Plant with Timed Automata. In Procs. of the 6th Int. Conf. on Real-Time Computing Systems and Applications (RTCSA 1999), pages 280-286. IEEE Computer Society, 1999.
8. A. Fehnker. Citius Vilius Melius - Guiding and Cost-Optimality in Model Checking of Timed and Hybrid Systems. PhD thesis, University of Nijmegen, The Netherlands, April 2002.
9. K. Havelund, J. Penix, and W. Visser, editors. SPIN Model Checking and Software Verification, Procs. of the 7th Int. SPIN Workshop (SPIN'2000), volume 1885 of LNCS, Stanford, California, USA, August 2000. Springer.
10. G. J. Holzman. The SPIN Model Checker - Primer and Reference Manual. Addison-Wesley, Boston, USA, 2003.
11. G. J. Holzmann. SPIN homepage: http://spinroot.com/.
12. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs, New Jersey, USA, 1991.
13. G. J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997.
14. G. J. Holzmann, D. Peled, and M. Yannakakis. On Nested Depth First Search. In J.-C. Grégoire, G. J. Holzmann, and D. A. Peled, editors, The SPIN Verification System, Procs. of the 2nd Int. SPIN Workshop (SPIN'96), volume 32 of DIMACS Series, Rutgers University, New Jersey, USA, August 1996. AMS.
15. K. Larsen, G. Behrmann, E. Brinksma, A. Fehnker, T. Hune, P. Pettersson, and J. Romijn. As Cheap As Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. In G. Berry, H. Comon, and A. Finkel, editors, Procs. of the 13th Int. Conf. on Computer Aided Verification (CAV 2001), volume 2102 of LNCS, pages 493-505, Paris, France, July 2001. Springer.
16. Princeton University, Mathematics Department. Traveling Salesman Problem - Homepage, http://www.math.princeton.edu/tsp/.
17. G. Reinelt. The Travelling Salesman - Computational Solutions for TSP Applications, volume 840 of LNCS. Springer, 1994.
18. T. C. Ruys. Low-Fat Recipes for SPIN. In Havelund et al. [9], pages 287-321.
19. T. C. Ruys. Towards Effective Model Checking. PhD thesis, University of Twente, Enschede, The Netherlands, March 2001. Available from the author's homepage.
20. T. C. Ruys and E. Brinksma. Experience with Literate Programming in the Modelling and Validation of Systems. In B. Steffen, editor, Procs. of the 4th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), number 1384 in LNCS, pages 393-408, Lisbon, Portugal, April 1998.
21. G. S. Shedler. Regenerative Stochastic Simulation. Academic Press, Boston, 1993.
22. W. L. Winston. Operations Research - Applications and Algorithms. Duxbury Press, Belmont, California, USA, third edition, 1994.