Show simple item record  

dc.contributor.authorMalik, Robien_NZ
dc.contributor.authorPena, Patícia N.en_NZ
dc.date.accessioned2019-05-27T23:20:11Z
dc.date.available2018-01-01en_NZ
dc.date.available2019-05-27T23:20:11Z
dc.date.issued2018en_NZ
dc.identifier.citationMalik, R., & Pena, P. N. (2018). Optimal Task Scheduling in a Flexible Manufacturing System using Model Checking. IFAC-PapersOnLine, 51, 230–235. https://doi.org/10.1016/j.ifacol.2018.06.306en
dc.identifier.issn2405-8963en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/12562
dc.description.abstractThis paper demonstrates the use of model checking to solve the problem of optimal task scheduling in a flexible manufacturing system. The system is modelled as a discrete event system, for which the least restrictive safe behaviour is synthesised according to supervisory control theory. Then timing constraints are added to the model in the form of extended finite-state machines, and time-optimal schedules are computed using the discrete event systems and model checking tool Supremica. In the case study considered in this paper, which previously was only solved heuristically, the method successfully produces optimal schedules to manufacture up to 30 products of two different types. The method is furthermore used to find an optimal cycle, solving the scheduling problem of the case study for an arbitrary number of products in optimal or asymptotically close to optimal time.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherElsevier Ltd.en_NZ
dc.rightsThis is the author's accepted version. © 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd.
dc.source14th IFAC International Workshop on Discrete Event Systems (WODES)en_NZ
dc.subjectApplicationsen_NZ
dc.subjectPerformance evaluationen_NZ
dc.subjectoptimizationen_NZ
dc.subjectSupervisory control theoryen_NZ
dc.subjectSUPERVISORY CONTROLen_NZ
dc.subjectDISCRETEen_NZ
dc.titleOptimal Task Scheduling in a Flexible Manufacturing System using Model Checkingen_NZ
dc.typeConference Contribution
dc.identifier.doi10.1016/j.ifacol.2018.06.306en_NZ
dc.relation.isPartOfIFAC-PapersOnLineen_NZ
pubs.begin-page230
pubs.elements-id226171
pubs.end-page235
pubs.finish-date2018-06-01en_NZ
pubs.issue7en_NZ
pubs.publication-statusPublisheden_NZ
pubs.start-date2018-05-30en_NZ
pubs.volume51en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record