LSAT, the Eclipse LSAT™ (Logistics Specification and Analysis Tool ), is a tool that is developed by TNO-ESI. At the heart of the tool, Finite Automata and Switched Max-Plus Linear systems are used to capture and analyze the behavioral and performance properties of logistics solutions for flexible manufacturing systems. Users can define activity models using [1]. This tool embeds a domain-specific language [2] for activity models and some related analysis methods [3]. A case study of modelling the wafer logistics in lithography machines is presented in [4].
Links
Selected Related Publications
-
![[DOI]](https://computationalmodeling.info/wp/wp-content/plugins/papercite/img/external.png)
B. van der Sanden, J. Bastos, J. Voeten, M. Geilen, M. A. Reniers, T. Basten, J. Jacobs, and R. R. H. Schiffelers, “Compositional specification of functionality and timing of manufacturing systems,” in 2016 forum on specification and design languages, FDL 2016, bremen, germany, september 14-16, 2016, 2016, p. 1–8.
[Bibtex]@InProceedings{SBVea16, author = {Bram van der Sanden and Jo{\~{a}}o Bastos and Jeroen Voeten and Marc Geilen and Michel A. Reniers and Twan Basten and Johan Jacobs and Ramon R. H. Schiffelers}, title = {Compositional specification of functionality and timing of manufacturing systems}, booktitle = {2016 Forum on Specification and Design Languages, {FDL} 2016, Bremen, Germany, September 14-16, 2016}, year = {2016}, pages = {1--8}, doi = {10.1109/FDL.2016.7880372}, timestamp = {Wed, 24 May 2017 08:31:17 +0200}, url = {https://doi.org/10.1109/FDL.2016.7880372}, } - B. van der Sanden, “Performance analysis and optimization of supervisory controllers,” PhD Thesis, 2018.
[Bibtex]@PhdThesis{San18, author = {Bram van der Sanden}, title = {performance analysis and optimization of supervisory controllers}, school = {Eindhoven University of Technology}, year = {2018}, } - B. van der Sanden, M. Reniers, M. Geilen, T. Basten, J. Jacobs, J. Voeten, and R. Schiffelers, “Modular model-based supervisory controller design for wafer logistics in lithography machines,” in 2015 acm/ieee 18th international conference on model driven engineering languages and systems (models), 2015, pp. 416-425.
[Bibtex]@INPROCEEDINGS{SRGea15, author={van der Sanden, Bram and Reniers, Michel and Geilen, Marc and Basten, Twan and Jacobs, Johan and Voeten, Jeroen and Schiffelers, Ramon}, booktitle={2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)}, title={Modular model-based supervisory controller design for wafer logistics in lithography machines}, year={2015}, volume={}, number={}, pages={416-425}, doi={10.1109/MODELS.2015.7338273} }
References
[1] B. van der Sanden, Y. Blankenstein, R. Schiffelers, and J. Voeten, “Lsat: specification and analysis of product logistics in flexible manufacturing systems,” in 2021 ieee 17th international conference on automation science and engineering (case), 2021, pp. 1-8.
[Bibtex]
B. van der Sanden, Y. Blankenstein, R. Schiffelers, and J. Voeten, “Lsat: specification and analysis of product logistics in flexible manufacturing systems,” in 2021 ieee 17th international conference on automation science and engineering (case), 2021, pp. 1-8. [Bibtex]
@INPROCEEDINGS{SBSV21,
author={van der Sanden, Bram and Blankenstein, Yuri and Schiffelers, Ramon and Voeten, Jeroen},
booktitle={2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)},
title={LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems},
year={2021},
volume={},
number={},
pages={1-8},
doi={10.1109/CASE49439.2021.9551412}
}[2] B. van der Sanden, J. Bastos, J. Voeten, M. Geilen, M. A. Reniers, T. Basten, J. Jacobs, and R. R. H. Schiffelers, “Compositional specification of functionality and timing of manufacturing systems,” in 2016 forum on specification and design languages, FDL 2016, bremen, germany, september 14-16, 2016, 2016, p. 1–8.
[Bibtex]
B. van der Sanden, J. Bastos, J. Voeten, M. Geilen, M. A. Reniers, T. Basten, J. Jacobs, and R. R. H. Schiffelers, “Compositional specification of functionality and timing of manufacturing systems,” in 2016 forum on specification and design languages, FDL 2016, bremen, germany, september 14-16, 2016, 2016, p. 1–8. [Bibtex]
@InProceedings{SBVea16,
author = {Bram van der Sanden and Jo{\~{a}}o Bastos and Jeroen Voeten and Marc Geilen and Michel A. Reniers and Twan Basten and Johan Jacobs and Ramon R. H. Schiffelers},
title = {Compositional specification of functionality and timing of manufacturing systems},
booktitle = {2016 Forum on Specification and Design Languages, {FDL} 2016, Bremen, Germany, September 14-16, 2016},
year = {2016},
pages = {1--8},
doi = {10.1109/FDL.2016.7880372},
timestamp = {Wed, 24 May 2017 08:31:17 +0200},
url = {https://doi.org/10.1109/FDL.2016.7880372},
}[3] B. van der Sanden, “Performance analysis and optimization of supervisory controllers,” PhD Thesis, 2018.
[Bibtex]
[Bibtex]
@PhdThesis{San18,
author = {Bram van der Sanden},
title = {performance analysis and optimization of supervisory controllers},
school = {Eindhoven University of Technology},
year = {2018},
}[4] B. van der Sanden, M. Reniers, M. Geilen, T. Basten, J. Jacobs, J. Voeten, and R. Schiffelers, “Modular model-based supervisory controller design for wafer logistics in lithography machines,” in 2015 acm/ieee 18th international conference on model driven engineering languages and systems (models), 2015, pp. 416-425.
[Bibtex]
B. van der Sanden, M. Reniers, M. Geilen, T. Basten, J. Jacobs, J. Voeten, and R. Schiffelers, “Modular model-based supervisory controller design for wafer logistics in lithography machines,” in 2015 acm/ieee 18th international conference on model driven engineering languages and systems (models), 2015, pp. 416-425. [Bibtex]
@INPROCEEDINGS{SRGea15,
author={van der Sanden, Bram and Reniers, Michel and Geilen, Marc and Basten, Twan and Jacobs, Johan and Voeten, Jeroen and Schiffelers, Ramon},
booktitle={2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)},
title={Modular model-based supervisory controller design for wafer logistics in lithography machines},
year={2015},
volume={},
number={},
pages={416-425},
doi={10.1109/MODELS.2015.7338273}
}