Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
Volltext verfügbar? / Dokumentlieferung
doi:10.22028/D291-36462
Titel: | Shortest Legal Firing Sequence of Net Condition/Event Systems Using Integer Linear Programming |
VerfasserIn: | Zhang, Jiafeng Li, Hongyi Frey, Georg Li, Zhiwu |
Sprache: | Englisch |
Titel: | 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE) : 20-24 Aug. 2018 |
Startseite: | 1556 |
Endseite: | 1561 |
Erscheinungsjahr: | 2018 |
Konferenzort: | Munich, Germany |
Freie Schlagwörter: | Analytical models Technological innovation Firing Law Computational modeling Semantics Integer linear programming |
DDC-Sachgruppe: | 600 Technik |
Dokumenttyp: | Konferenzbeitrag (in einem Konferenzband / InProceedings erschienener Beitrag) |
Abstract: | Net condition/event systems (NCESs) are modular extensions of the well-known Petri nets. Due to their modular property and non-interleaving semantics, NCESs are applied in modeling, analysis, and control of dynamic reconfigurable discrete event systems in recent years. A system reconfiguration should be finished before the maximum permissible reconfiguration delay. Therefore, to compute a shortest legal firing sequence (SLFS) from the state where a reconfiguration requirement arises to a target state which is proper for implementing the required reconfiguration is necessary. This paper combines the optimality principle and integer linear programming (ILP) techniques to find an SLFS in NCESs under the firing rule `arbitrary maximal steps', where both event processing modes `AND' and `OR' of transitions are considered. An SLFS can be computed in a single ILP step. The amount of variables and constraints is polynomial with the size of the underlying NCES and the maximum permissible reconfiguration delay. A manufacturing system is adopted as an illustrative example. |
DOI der Erstveröffentlichung: | 10.1109/COASE.2018.8560459 |
URL der Erstveröffentlichung: | https://ieeexplore.ieee.org/document/8560459 |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-364622 hdl:20.500.11880/33104 http://dx.doi.org/10.22028/D291-36462 |
ISBN: | 978-1-5386-3593-3 978-1-5386-3594-0 |
Datum des Eintrags: | 14-Jun-2022 |
Fakultät: | NT - Naturwissenschaftlich- Technische Fakultät |
Fachrichtung: | NT - Systems Engineering |
Professur: | NT - Prof. Dr. Georg Frey |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Es gibt keine Dateien zu dieser Ressource.
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.