Modeling and control of flexible context-dependent manufacturing systems
•Modeling of flexible manufacturing systems using extended automata.•Use of extended automata as a modeling mechanism for context-recognition.•Control decisions taken for context-dependent processes.•Methodology for modeling and control with extended automata.•Examples of dynamic context-switching m...
Uloženo v:
| Vydáno v: | Information sciences Ročník 421; s. 1 - 14 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier Inc
01.12.2017
|
| Témata: | |
| ISSN: | 0020-0255, 1872-6291 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | •Modeling of flexible manufacturing systems using extended automata.•Use of extended automata as a modeling mechanism for context-recognition.•Control decisions taken for context-dependent processes.•Methodology for modeling and control with extended automata.•Examples of dynamic context-switching manufacturing systems.
In emerging Manufacturing Systems (MSs), flexibility is a key issue. It is related to the ability for a MS to recognize the context and switch its workflow accordingly. Although the literature has provided automated options to model and control MSs, programming context-dependent controllers remains challenging. This is an event-based construction that integrates a large and intricate combination of events and states in order to make the controller flexible, i.e., include context-sensitiveness strategies subject to switching at runtime. Without self-adaptation, each system configuration may require an entire control solution to be recalculated, which implies redesigning the whole modeling and implementation structures. This paper shows that a system model can nevertheless be enriched with elements collected from the context, which optimizes the design of formula-based constraints that can then be integrated to control frameworks for synthesis and code generation. The result is a controller that recognizes the context and takes control decisions accordingly. Examples are provided to illustrate the approach. |
|---|---|
| AbstractList | •Modeling of flexible manufacturing systems using extended automata.•Use of extended automata as a modeling mechanism for context-recognition.•Control decisions taken for context-dependent processes.•Methodology for modeling and control with extended automata.•Examples of dynamic context-switching manufacturing systems.
In emerging Manufacturing Systems (MSs), flexibility is a key issue. It is related to the ability for a MS to recognize the context and switch its workflow accordingly. Although the literature has provided automated options to model and control MSs, programming context-dependent controllers remains challenging. This is an event-based construction that integrates a large and intricate combination of events and states in order to make the controller flexible, i.e., include context-sensitiveness strategies subject to switching at runtime. Without self-adaptation, each system configuration may require an entire control solution to be recalculated, which implies redesigning the whole modeling and implementation structures. This paper shows that a system model can nevertheless be enriched with elements collected from the context, which optimizes the design of formula-based constraints that can then be integrated to control frameworks for synthesis and code generation. The result is a controller that recognizes the context and takes control decisions accordingly. Examples are provided to illustrate the approach. |
| Author | Ribeiro, Richardson Lucas Silva, André Teixeira, Marcelo |
| Author_xml | – sequence: 1 givenname: André surname: Lucas Silva fullname: Lucas Silva, André email: andsil@alunos.utfpr.edu.br – sequence: 2 givenname: Richardson surname: Ribeiro fullname: Ribeiro, Richardson email: richardsonr@utfpr.edu.br – sequence: 3 givenname: Marcelo surname: Teixeira fullname: Teixeira, Marcelo email: marceloteixeira@utfpr.edu.br |
| BookMark | eNp9kNFKwzAUhoNMcJs-gHd9gdacrE1avJKhTph4o9chTU4ko0tHksn29rabV14Mfjjww3fg_2Zk4nuPhNwDLYACf9gUzseCURAFrYeUV2QKtWA5Zw1MyJRSRnPKquqGzGLcUEpLwfmUrN57g53z35nyJtO9T6Hvst5mtsODazs8dXhIucEdeoM-ZVvl91bptA8jF48x4Tbekmuruoh3f3dOvl6eP5erfP3x-rZ8WueaNSLlAJypigkhWmhaLKvSgLWqVEPbKttqw7W1uqaiAWgZbykaKAHUojam4eViTuD8V4c-xoBW7oLbqnCUQOWoQm7koEKOKiSth4yM-Mdol1Ry41rluovk45nEYdKPwyCjdug1GhdQJ2l6d4H-BZ6hfP8 |
| CitedBy_id | crossref_primary_10_1007_s10626_019_00302_z crossref_primary_10_1016_j_iref_2024_05_048 crossref_primary_10_1080_00207543_2022_2081631 crossref_primary_10_3390_pr11030701 crossref_primary_10_1007_s12063_023_00412_w crossref_primary_10_1016_j_scico_2025_103350 crossref_primary_10_1007_s00170_021_07411_w crossref_primary_10_1016_j_cie_2022_108379 crossref_primary_10_1016_j_asoc_2021_107714 crossref_primary_10_1016_j_cie_2022_108248 crossref_primary_10_1007_s00170_017_1562_9 crossref_primary_10_1016_j_mechatronics_2022_102848 |
| Cites_doi | 10.1109/MIE.2014.2312079 10.1109/JPROC.2015.2510665 10.1109/TASE.2011.2124457 10.1016/j.ins.2014.07.047 10.1109/JAS.2017.7510349 10.1016/j.ins.2015.08.056 10.1109/TAC.2014.2337411 10.1080/00207543.2016.1235804 10.1016/S0020-0255(99)00078-X 10.1016/j.jmsy.2016.03.001 10.1016/j.ins.2015.09.053 10.1016/j.ins.2015.11.021 10.1109/MCC.2016.77 10.1016/j.ins.2013.01.008 |
| ContentType | Journal Article |
| Copyright | 2017 Elsevier Inc. |
| Copyright_xml | – notice: 2017 Elsevier Inc. |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.ins.2017.08.084 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Library & Information Science |
| EISSN | 1872-6291 |
| EndPage | 14 |
| ExternalDocumentID | 10_1016_j_ins_2017_08_084 S0020025516307836 |
| GroupedDBID | --K --M --Z -~X .DC .~1 0R~ 1B1 1OL 1RT 1~. 1~5 29I 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN 9JO AAAKF AAAKG AABNK AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AARIN AAXUO AAYFN ABAOU ABBOA ABEFU ABFNM ABJNI ABMAC ABTAH ABUCO ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADGUI ADJOM ADMUD ADTZH AEBSH AECPX AEKER AENEX AFFNX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIGVJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD APLSM ARUGR ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HAMUX HLZ HVGLF HZ~ H~9 IHE J1W JJJVA KOM LG9 LY1 M41 MHUIS MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SBC SDF SDG SDP SDS SES SEW SPC SPCBC SSB SSD SST SSV SSW SSZ T5K TN5 TWZ UHS WH7 WUQ XPP YYP ZMT ZY4 ~02 ~G- 77I 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c297t-1162a52777b19be454d1ffa4a2a5bafbcd6cffc807911b26b0ed1411a38dd9643 |
| ISICitedReferencesCount | 16 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000413056000001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0020-0255 |
| IngestDate | Sat Nov 29 06:25:04 EST 2025 Tue Nov 18 21:39:34 EST 2025 Fri Feb 23 02:33:58 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Formal modeling Automated programming Flexible manufacturing systems Factory automation Context recognition |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c297t-1162a52777b19be454d1ffa4a2a5bafbcd6cffc807911b26b0ed1411a38dd9643 |
| PageCount | 14 |
| ParticipantIDs | crossref_primary_10_1016_j_ins_2017_08_084 crossref_citationtrail_10_1016_j_ins_2017_08_084 elsevier_sciencedirect_doi_10_1016_j_ins_2017_08_084 |
| PublicationCentury | 2000 |
| PublicationDate | December 2017 2017-12-00 |
| PublicationDateYYYYMMDD | 2017-12-01 |
| PublicationDate_xml | – month: 12 year: 2017 text: December 2017 |
| PublicationDecade | 2010 |
| PublicationTitle | Information sciences |
| PublicationYear | 2017 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Lee (bib0015) 1999; 121 Yousif (bib0009) 2016; 3 Nishiyama, Ohwada, Mizoguchi (bib0010) 1998; 1 Jha, Nair (bib0012) 2012 Drath, Horch (bib0003) 2014; 8 Qamsane, Tajer, Philippot (bib0028) 2017; 55 Chen, Lin (bib0022) 2000 Chryssolouris (bib0002) 2005 Ouedraogo, Kumar, Malik, Akesson (bib0029) 2011; 8 Harrison, Vera, Ahmad (bib0005) 2016; 104 Rosa, Teixeira, Denardin, Torrico, Cury (bib0027) 2017 Lewis, Papadimitriou (bib0026) 1998 Chien, Lai, Lin, Lin (bib0011) 2011 A.L. Silva, Multiple Robots Controller, 2016 URL Liu, Peng, Wang, Yao, Liu (bib0004) 2017; 4 C. Torrico, Deslab 3.6, 2016 URL Malik, Teixeira (bib0025) 2016 Pena, Costa, Silva, Takahashi (bib0018) 2016; 329 Esmaeilian, Behdad, Wang (bib0001) 2016; 39 Tsai (bib0013) 1991; 2 Chen, Hwang, Jiang (bib0016) 2013; 234 Cassandras, Lafortune (bib0021) 2008 Liu, Wu, Su, Zhang (bib0017) 2016; 363 Saldivar, Li, Chen, Zhan, Zhang, Chen (bib0006) 2015 . Silva, Abreu, Reis, Oliveira (bib0014) 2014; 288 Al-Ahmari (bib0019) 2016; 329 Ramadge, Wonham (bib0020) 1989; 77 Teixeira, Malik, Cury, de Queiroz (bib0024) 2014; 60 Basile, Chiacchio, Coppola (bib0008) 2016 Yang, Shen, Wang (bib0007) 2016 Sköldstam, Åkesson, Fabian (bib0023) 2007 Chen (10.1016/j.ins.2017.08.084_bib0016) 2013; 234 Liu (10.1016/j.ins.2017.08.084_bib0017) 2016; 363 Harrison (10.1016/j.ins.2017.08.084_bib0005) 2016; 104 Sköldstam (10.1016/j.ins.2017.08.084_bib0023) 2007 Drath (10.1016/j.ins.2017.08.084_bib0003) 2014; 8 Ouedraogo (10.1016/j.ins.2017.08.084_bib0029) 2011; 8 Lee (10.1016/j.ins.2017.08.084_bib0015) 1999; 121 Tsai (10.1016/j.ins.2017.08.084_bib0013) 1991; 2 Silva (10.1016/j.ins.2017.08.084_bib0014) 2014; 288 10.1016/j.ins.2017.08.084_bib0030 Ramadge (10.1016/j.ins.2017.08.084_bib0020) 1989; 77 10.1016/j.ins.2017.08.084_bib0031 Chryssolouris (10.1016/j.ins.2017.08.084_bib0002) 2005 Basile (10.1016/j.ins.2017.08.084_bib0008) 2016 Saldivar (10.1016/j.ins.2017.08.084_bib0006) 2015 Qamsane (10.1016/j.ins.2017.08.084_bib0028) 2017; 55 Chen (10.1016/j.ins.2017.08.084_bib0022) 2000 Lewis (10.1016/j.ins.2017.08.084_bib0026) 1998 Rosa (10.1016/j.ins.2017.08.084_bib0027) 2017 Nishiyama (10.1016/j.ins.2017.08.084_bib0010) 1998; 1 Yang (10.1016/j.ins.2017.08.084_bib0007) 2016 Yousif (10.1016/j.ins.2017.08.084_bib0009) 2016; 3 Liu (10.1016/j.ins.2017.08.084_bib0004) 2017; 4 Pena (10.1016/j.ins.2017.08.084_bib0018) 2016; 329 Esmaeilian (10.1016/j.ins.2017.08.084_bib0001) 2016; 39 Malik (10.1016/j.ins.2017.08.084_bib0025) 2016 Chien (10.1016/j.ins.2017.08.084_bib0011) 2011 Cassandras (10.1016/j.ins.2017.08.084_bib0021) 2008 Al-Ahmari (10.1016/j.ins.2017.08.084_bib0019) 2016; 329 Teixeira (10.1016/j.ins.2017.08.084_bib0024) 2014; 60 Jha (10.1016/j.ins.2017.08.084_bib0012) 2012 |
| References_xml | – volume: 8 start-page: 56 year: 2014 end-page: 58 ident: bib0003 article-title: Industrie 4.0: Hit or hype? [industry forum] publication-title: IEEE Ind. Electron. Mag. – volume: 2 start-page: 978 year: 1991 end-page: 985 ident: bib0013 article-title: Multiple robot coordination and programming publication-title: IEEE Int. Conf. on Robotics and Automation – start-page: 469 year: 2011 end-page: 474 ident: bib0011 article-title: Dynamic programming algorithm based path planning of the multiple robot system publication-title: 2nd Int. Conf. on Digital Manufacturing and Automation – start-page: 670 year: 2016 end-page: 675 ident: bib0007 article-title: Applications of internet of things in manufacturing publication-title: 2016 IEEE 20th International Conference on Computer Supported Cooperative Work in Design (CSCWD) – volume: 329 start-page: 638 year: 2016 end-page: 648 ident: bib0019 article-title: Optimal robotic cell scheduling with controllers using mathematically based timed petri nets publication-title: Inf. Sci. (Ny) – start-page: 941 year: 2000 end-page: 946 ident: bib0022 article-title: Modeling of discrete event systems using finite state machines with parameters publication-title: IEEE Int. Conf. on Control Applications, Anchorage – year: 1998 ident: bib0026 article-title: Elements of the Theory of Computation – reference: C. Torrico, Deslab 3.6, 2016 URL: – volume: 39 start-page: 79 year: 2016 end-page: 100 ident: bib0001 article-title: The evolution and future of manufacturing: a review publication-title: J. Manuf. Syst. – volume: 1 start-page: 286 year: 1998 end-page: 291 ident: bib0010 article-title: Logic specifications for multiple robots based on a current programming language publication-title: IEEE/RSJ Int. Conf. on Intelligent Robots and Systems – start-page: 1 year: 2016 end-page: 6 ident: bib0025 article-title: Modular supervisor synthesis for extended finite-state machines subject to controllability publication-title: 13th Int. Workshop on Discrete Event Systems – reference: A.L. Silva, Multiple Robots Controller, 2016 URL: – start-page: 3387 year: 2007 end-page: 3392 ident: bib0023 article-title: Modeling of discrete event systems using finite automata with variables publication-title: 46th Conf. on Decision and Control – start-page: 407 year: 2016 end-page: 412 ident: bib0008 article-title: A cyber-physical view of automated warehouse systems publication-title: 2016 IEEE International Conference on Automation Science and Engineering (CASE) – volume: 329 start-page: 491 year: 2016 end-page: 502 ident: bib0018 article-title: Control of flexible manufacturing systems under model uncertainty using supervisory control theory and evolutionary computation schedule synthesis publication-title: Inf. Sci. (Ny) – start-page: 1 year: 2017 end-page: 6 ident: bib0027 article-title: Efficient implementation of distinguished controllers for discrete-event systems publication-title: IFAC World Congress, WC’17, Toulouse, France – year: 2008 ident: bib0021 article-title: Introduction to Discrete Event Systems – volume: 4 start-page: 27 year: 2017 end-page: 40 ident: bib0004 article-title: Review on cyber-physical systems publication-title: IEEE/CAA J. Autom. Sin. – volume: 77 start-page: 81 year: 1989 end-page: 98 ident: bib0020 article-title: The control of discrete event systems publication-title: Discrete Event Dyn. Syst. – volume: 55 start-page: 4283 year: 2017 end-page: 4303 ident: bib0028 article-title: A synthesis approach to distributed supervisory control design for manufacturing systems with grafcet implementation publication-title: Int. J. Prod. Res. – year: 2005 ident: bib0002 article-title: Manufacturing Systems: Theory and Practice – reference: . – volume: 121 start-page: 1 year: 1999 end-page: 25 ident: bib0015 article-title: Evolving complex robot behaviors publication-title: Inf. Sci. (Ny) – volume: 8 start-page: 560 year: 2011 end-page: 569 ident: bib0029 article-title: Nonblocking and safe control of discrete-event systems modeled as extended finite automata publication-title: IEEE Trans. Automa. Sci. Eng. – volume: 363 start-page: 221 year: 2016 end-page: 234 ident: bib0017 article-title: Design of optimal petri-net controllers for a class of flexible manufacturing systems with key resources publication-title: Inf. Sci. (Ny) – start-page: 1 year: 2015 end-page: 6 ident: bib0006 article-title: Industry 4.0 with cyber-physical integration: a design and manufacture perspective publication-title: 2015 21st Int. Conf. on Automation and Computing (ICAC) – volume: 3 start-page: 4 year: 2016 end-page: 5 ident: bib0009 article-title: Manufacturing and the cloud publication-title: IEEE Cloud Comput. – start-page: 152 year: 2012 end-page: 156 ident: bib0012 article-title: A logic programming interface for multiple robots publication-title: 3rd Nat. Conf. on Emerging Trends and Applications in Computer Science – volume: 234 start-page: 112 year: 2013 end-page: 120 ident: bib0016 article-title: Policy sharing between multiple mobile robots using decision trees publication-title: Inf. Sci. (Ny) – volume: 60 start-page: 118 year: 2014 end-page: 129 ident: bib0024 article-title: Supervisory control of des with extended finite-state machines and variable abstraction publication-title: IEEE Trans. Autom. Control – volume: 104 start-page: 973 year: 2016 end-page: 985 ident: bib0005 article-title: Engineering methods and tools for cyber-physical automation systems publication-title: Proc. IEEE – volume: 288 start-page: 27 year: 2014 end-page: 44 ident: bib0014 article-title: Development of a flexible language for mission description for multi-robot missions publication-title: Inf. Sci. (Ny) – volume: 8 start-page: 56 issue: 2 year: 2014 ident: 10.1016/j.ins.2017.08.084_bib0003 article-title: Industrie 4.0: Hit or hype? [industry forum] publication-title: IEEE Ind. Electron. Mag. doi: 10.1109/MIE.2014.2312079 – volume: 2 start-page: 978 year: 1991 ident: 10.1016/j.ins.2017.08.084_bib0013 article-title: Multiple robot coordination and programming – volume: 104 start-page: 973 issue: 5 year: 2016 ident: 10.1016/j.ins.2017.08.084_bib0005 article-title: Engineering methods and tools for cyber-physical automation systems publication-title: Proc. IEEE doi: 10.1109/JPROC.2015.2510665 – volume: 8 start-page: 560 issue: 3 year: 2011 ident: 10.1016/j.ins.2017.08.084_bib0029 article-title: Nonblocking and safe control of discrete-event systems modeled as extended finite automata publication-title: IEEE Trans. Automa. Sci. Eng. doi: 10.1109/TASE.2011.2124457 – ident: 10.1016/j.ins.2017.08.084_bib0030 – start-page: 3387 year: 2007 ident: 10.1016/j.ins.2017.08.084_bib0023 article-title: Modeling of discrete event systems using finite automata with variables – volume: 288 start-page: 27 year: 2014 ident: 10.1016/j.ins.2017.08.084_bib0014 article-title: Development of a flexible language for mission description for multi-robot missions publication-title: Inf. Sci. (Ny) doi: 10.1016/j.ins.2014.07.047 – volume: 4 start-page: 27 issue: 1 year: 2017 ident: 10.1016/j.ins.2017.08.084_bib0004 article-title: Review on cyber-physical systems publication-title: IEEE/CAA J. Autom. Sin. doi: 10.1109/JAS.2017.7510349 – year: 2008 ident: 10.1016/j.ins.2017.08.084_bib0021 – start-page: 1 year: 2015 ident: 10.1016/j.ins.2017.08.084_bib0006 article-title: Industry 4.0 with cyber-physical integration: a design and manufacture perspective – volume: 329 start-page: 491 year: 2016 ident: 10.1016/j.ins.2017.08.084_bib0018 article-title: Control of flexible manufacturing systems under model uncertainty using supervisory control theory and evolutionary computation schedule synthesis publication-title: Inf. Sci. (Ny) doi: 10.1016/j.ins.2015.08.056 – start-page: 407 year: 2016 ident: 10.1016/j.ins.2017.08.084_bib0008 article-title: A cyber-physical view of automated warehouse systems – volume: 60 start-page: 118 issue: 1 year: 2014 ident: 10.1016/j.ins.2017.08.084_bib0024 article-title: Supervisory control of des with extended finite-state machines and variable abstraction publication-title: IEEE Trans. Autom. Control doi: 10.1109/TAC.2014.2337411 – volume: 77 start-page: 81 year: 1989 ident: 10.1016/j.ins.2017.08.084_bib0020 article-title: The control of discrete event systems publication-title: Discrete Event Dyn. Syst. – start-page: 469 year: 2011 ident: 10.1016/j.ins.2017.08.084_bib0011 article-title: Dynamic programming algorithm based path planning of the multiple robot system – volume: 55 start-page: 4283 issue: 15 year: 2017 ident: 10.1016/j.ins.2017.08.084_bib0028 article-title: A synthesis approach to distributed supervisory control design for manufacturing systems with grafcet implementation publication-title: Int. J. Prod. Res. doi: 10.1080/00207543.2016.1235804 – year: 1998 ident: 10.1016/j.ins.2017.08.084_bib0026 – start-page: 941 year: 2000 ident: 10.1016/j.ins.2017.08.084_bib0022 article-title: Modeling of discrete event systems using finite state machines with parameters – volume: 121 start-page: 1 issue: 1–2 year: 1999 ident: 10.1016/j.ins.2017.08.084_bib0015 article-title: Evolving complex robot behaviors publication-title: Inf. Sci. (Ny) doi: 10.1016/S0020-0255(99)00078-X – ident: 10.1016/j.ins.2017.08.084_bib0031 – year: 2005 ident: 10.1016/j.ins.2017.08.084_bib0002 – volume: 1 start-page: 286 year: 1998 ident: 10.1016/j.ins.2017.08.084_bib0010 article-title: Logic specifications for multiple robots based on a current programming language – start-page: 152 year: 2012 ident: 10.1016/j.ins.2017.08.084_bib0012 article-title: A logic programming interface for multiple robots – volume: 39 start-page: 79 year: 2016 ident: 10.1016/j.ins.2017.08.084_bib0001 article-title: The evolution and future of manufacturing: a review publication-title: J. Manuf. Syst. doi: 10.1016/j.jmsy.2016.03.001 – volume: 329 start-page: 638 year: 2016 ident: 10.1016/j.ins.2017.08.084_bib0019 article-title: Optimal robotic cell scheduling with controllers using mathematically based timed petri nets publication-title: Inf. Sci. (Ny) doi: 10.1016/j.ins.2015.09.053 – volume: 363 start-page: 221 year: 2016 ident: 10.1016/j.ins.2017.08.084_bib0017 article-title: Design of optimal petri-net controllers for a class of flexible manufacturing systems with key resources publication-title: Inf. Sci. (Ny) doi: 10.1016/j.ins.2015.11.021 – start-page: 670 year: 2016 ident: 10.1016/j.ins.2017.08.084_bib0007 article-title: Applications of internet of things in manufacturing – start-page: 1 year: 2017 ident: 10.1016/j.ins.2017.08.084_bib0027 article-title: Efficient implementation of distinguished controllers for discrete-event systems – start-page: 1 year: 2016 ident: 10.1016/j.ins.2017.08.084_bib0025 article-title: Modular supervisor synthesis for extended finite-state machines subject to controllability – volume: 3 start-page: 4 issue: 4 year: 2016 ident: 10.1016/j.ins.2017.08.084_bib0009 article-title: Manufacturing and the cloud publication-title: IEEE Cloud Comput. doi: 10.1109/MCC.2016.77 – volume: 234 start-page: 112 year: 2013 ident: 10.1016/j.ins.2017.08.084_bib0016 article-title: Policy sharing between multiple mobile robots using decision trees publication-title: Inf. Sci. (Ny) doi: 10.1016/j.ins.2013.01.008 |
| SSID | ssj0004766 |
| Score | 2.3155 |
| Snippet | •Modeling of flexible manufacturing systems using extended automata.•Use of extended automata as a modeling mechanism for context-recognition.•Control... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 1 |
| SubjectTerms | Automated programming Context recognition Factory automation Flexible manufacturing systems Formal modeling |
| Title | Modeling and control of flexible context-dependent manufacturing systems |
| URI | https://dx.doi.org/10.1016/j.ins.2017.08.084 |
| Volume | 421 |
| WOSCitedRecordID | wos000413056000001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1872-6291 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0004766 issn: 0020-0255 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Ra9swEBZbu4f1YWzdRrutQw-jDy0Cy5Yt-7GMlm6MMtYW8mYkWQKH4JQmLfn5u7Mk12m7sQ32YowSOUH3-e6ku--OkE-60lgyJWfWVQkDe62Z1nnGMpdnBgFtStU3m5BnZ-VkUn0PoZhF305Adl25WlVX_1XUMAbCRursX4h7eCgMwD0IHa4gdrj-keCxu9ksUg9jJjq4hA5LXyJPCsdwvxv73y4xhfUGGQ6esrgYFTGfxkT3geR4GGzm4It_w7Zph-ft7FbFDEkffR9iOa22rafT_BhYXsOJgW1X8KkKvCFjZ_PxQQQYt_WkjoEhs5bAie4ow32LtzdeyZYyZUXqu3RFLSw8UTroUT4yyJ5k-kDV-1OHKexPsOo6l30lVt9u7l4FbQxI93sn8D0xalk8JZupzCtQgptHX44nX--ItNIHt-OfjmHwPiHw3g897siMnJOLl-RF2FXQI4-GV-SJ7bbJ1qjW5DbZCwwVuk9H0qRBt78mpxE3FHBDA27o3NGIG_oAN3QNNzTg5g25PDm--HzKQpsNZtJKLhnnRaryVEqpeaWtyEXDnVNCwahWTpumMM6ZMpFgGHVa6MQ2XHCusrJpsJzbW7LRzTu7Q6jRYAKcqGSTKOESqYxU3BWZFo0Dx1zskiSuWW1CDXpshTKrY7LhtIZlrnGZa2yPWsKUg2HKlS_A8rsviyiIOrwN3jOsATW_nvbu36a9J8_v3oMPZGN5fWP3yDNzu2wX1x8Dtn4CpNCW3Q |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Modeling+and+control+of+flexible+context-dependent+manufacturing+systems&rft.jtitle=Information+sciences&rft.au=Lucas+Silva%2C+Andr%C3%A9&rft.au=Ribeiro%2C+Richardson&rft.au=Teixeira%2C+Marcelo&rft.date=2017-12-01&rft.pub=Elsevier+Inc&rft.issn=0020-0255&rft.eissn=1872-6291&rft.volume=421&rft.spage=1&rft.epage=14&rft_id=info:doi/10.1016%2Fj.ins.2017.08.084&rft.externalDocID=S0020025516307836 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0020-0255&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0020-0255&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0020-0255&client=summon |