LSAT

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 Switching 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

LSAT Eclipse project page.

References

1. Bram Sanden and Yuri Blankenstein and Ramon Schiffelers and Jeroen Voeten (2021): LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems. In: 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), pp. 1-8, 2021.
2. Bram Sanden and João Bastos and Jeroen Voeten and Marc Geilen and Michel A. Reniers and Twan Basten and Johan Jacobs and Ramon R. H. Schiffelers (2016): 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, pp. 1–8, 2016.
3. Bram Sanden (2018): performance analysis and optimization of supervisory controllers. Eindhoven University of Technology, 2018.
4. Bram Sanden and Michel Reniers and Marc Geilen and Twan Basten and Johan Jacobs and Jeroen Voeten and Ramon Schiffelers (2015): 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), pp. 416-425, 2015.

Selected Related Publications

@phdthesis{San18,

title = {performance analysis and optimization of supervisory controllers},

author = {Bram Sanden},

year  = {2018},

date = {2018-01-01},

urldate = {2018-01-01},

school = {Eindhoven University of Technology},

keywords = {},

pubstate = {published},

tppubtype = {phdthesis}

}

@inproceedings{SBVea16,

title = {Compositional specification of functionality and timing of manufacturing systems},

author = {Bram Sanden and João Bastos and Jeroen Voeten and Marc Geilen and Michel A. Reniers and Twan Basten and Johan Jacobs and Ramon R. H. Schiffelers},

url = {https://doi.org/10.1109/FDL.2016.7880372},

doi = {10.1109/FDL.2016.7880372},

year  = {2016},

date = {2016-01-01},

urldate = {2016-01-01},

booktitle = {2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016},

pages = {1–8},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{SRGea15,

title = {Modular model-based supervisory controller design for wafer logistics in lithography machines},

author = {Bram Sanden and Michel Reniers and Marc Geilen and Twan Basten and Johan Jacobs and Jeroen Voeten and Ramon Schiffelers},

doi = {10.1109/MODELS.2015.7338273},

year  = {2015},

date = {2015-01-01},

urldate = {2015-01-01},

booktitle = {2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)},

pages = {416-425},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}