Production Cell. Sekerinski, E. In Sekerinski, E. & Sere, K., editors, Program Development by Stepwise Refinement: Case Studies Using the B Method, of Formal Approaches to Computing and Information Technology Series, pages 197–254. Springer-Verlag, 1998. Paper doi abstract bibtex This chapter is about specifying and implementing a control program for a production cell using action systems in AMN. The production cell consists of five ma- chines: two conveyor belts, an elevating and rotating table, a two-arm robot, and a press. The machines are equipped with a total of 18 sensors for determining the positions of the machines and for sensing the transported plates and a total of eight actuators for setting the motors. The production cell is a typical example of a discrete control system. In reality, all machines evolve continuously. However, at certain points the change of their state is notified to the control program, which may react to this change. Hence, the evolution of the system can be sufficiently represented as a sequence of steps. This means that discrete control systems can be modelled with (discrete) action systems. This chapter presents a general approach to developing control programs for discrete systems in AMN, and illustrates this with the complete development of a control program for a production cell.
@incollection{Sekerinski98ProductionCell,
series = {Formal {Approaches} to {Computing} and {Information} {Technology} {Series}},
title = {Production {Cell}},
url = {https://www.cas.mcmaster.ca/~emil/pubs/SekerinskiSere98CaseStudiesB.pdf},
abstract = {This chapter is about specifying and implementing a control program for a production cell using action systems in AMN. The production cell consists of five ma- chines: two conveyor belts, an elevating and rotating table, a two-arm robot, and a press. The machines are equipped with a total of 18 sensors for determining the positions of the machines and for sensing the transported plates and a total of eight actuators for setting the motors.
The production cell is a typical example of a discrete control system. In reality, all machines evolve continuously. However, at certain points the change of their state is notified to the control program, which may react to this change. Hence, the evolution of the system can be sufficiently represented as a sequence of steps. This means that discrete control systems can be modelled with (discrete) action systems. This chapter presents a general approach to developing control programs for discrete systems in AMN, and illustrates this with the complete development of a control program for a production cell.},
booktitle = {Program {Development} by {Stepwise} {Refinement}: {Case} {Studies} {Using} the {B} {Method}},
publisher = {Springer-Verlag},
author = {Sekerinski, Emil},
editor = {Sekerinski, Emil and Sere, Kaisa},
year = {1998},
doi = {10.1007/978-1-4471-0585-5_6},
pages = {197--254},
}
Downloads: 0
{"_id":"EQk7PaqsHNQG9aZQr","bibbaseid":"sekerinski-productioncell-1998","author_short":["Sekerinski, E."],"bibdata":{"bibtype":"incollection","type":"incollection","series":"Formal Approaches to Computing and Information Technology Series","title":"Production Cell","url":"https://www.cas.mcmaster.ca/~emil/pubs/SekerinskiSere98CaseStudiesB.pdf","abstract":"This chapter is about specifying and implementing a control program for a production cell using action systems in AMN. The production cell consists of five ma- chines: two conveyor belts, an elevating and rotating table, a two-arm robot, and a press. The machines are equipped with a total of 18 sensors for determining the positions of the machines and for sensing the transported plates and a total of eight actuators for setting the motors. The production cell is a typical example of a discrete control system. In reality, all machines evolve continuously. However, at certain points the change of their state is notified to the control program, which may react to this change. Hence, the evolution of the system can be sufficiently represented as a sequence of steps. This means that discrete control systems can be modelled with (discrete) action systems. This chapter presents a general approach to developing control programs for discrete systems in AMN, and illustrates this with the complete development of a control program for a production cell.","booktitle":"Program Development by Stepwise Refinement: Case Studies Using the B Method","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Sere"],"firstnames":["Kaisa"],"suffixes":[]}],"year":"1998","doi":"10.1007/978-1-4471-0585-5_6","pages":"197–254","bibtex":"@incollection{Sekerinski98ProductionCell,\n\tseries = {Formal {Approaches} to {Computing} and {Information} {Technology} {Series}},\n\ttitle = {Production {Cell}},\n\turl = {https://www.cas.mcmaster.ca/~emil/pubs/SekerinskiSere98CaseStudiesB.pdf},\n\tabstract = {This chapter is about specifying and implementing a control program for a production cell using action systems in AMN. The production cell consists of five ma- chines: two conveyor belts, an elevating and rotating table, a two-arm robot, and a press. The machines are equipped with a total of 18 sensors for determining the positions of the machines and for sensing the transported plates and a total of eight actuators for setting the motors.\nThe production cell is a typical example of a discrete control system. In reality, all machines evolve continuously. However, at certain points the change of their state is notified to the control program, which may react to this change. Hence, the evolution of the system can be sufficiently represented as a sequence of steps. This means that discrete control systems can be modelled with (discrete) action systems. This chapter presents a general approach to developing control programs for discrete systems in AMN, and illustrates this with the complete development of a control program for a production cell.},\n\tbooktitle = {Program {Development} by {Stepwise} {Refinement}: {Case} {Studies} {Using} the {B} {Method}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Sekerinski, Emil},\n\teditor = {Sekerinski, Emil and Sere, Kaisa},\n\tyear = {1998},\n\tdoi = {10.1007/978-1-4471-0585-5_6},\n\tpages = {197--254},\n}\n\n","author_short":["Sekerinski, E."],"editor_short":["Sekerinski, E.","Sere, K."],"key":"Sekerinski98ProductionCell","id":"Sekerinski98ProductionCell","bibbaseid":"sekerinski-productioncell-1998","role":"author","urls":{"Paper":"https://www.cas.mcmaster.ca/~emil/pubs/SekerinskiSere98CaseStudiesB.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["production","cell","sekerinski"],"title":"Production Cell","year":1998}