排序方式:
    總頁 2 
      Go

    1.RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems

    Ramdani, M, Kahloul,     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2021, Volume 18, Issue 3, Pages 1392-1405

    收錄情况: WOS

    2020影響因子:  5.083 

    2.On Parametrizing Feasible Reconfigurable Systems Under Real-Time, Energy, and Resource Sharing Constraints

    Goubaa, A, Khalgui,     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2021, Volume 18, Issue 3, Pages 1492-1504

    收錄情况: WOS

    2020影響因子:  5.083 

    3.Control of Black-Box Embedded Systems by Integrating Automaton Learning and Supervisory Control Theory of Discrete-Event Systems

    Zhang, Huimin, Li, Z     More...

    IEEE Transactions on Automation Science and Engineering[1545-5955], Published 2020, Volume 17, Issue 1, Pages 361-374

    收錄情况: WOS SCOPUS

    2020影響因子:  5.083  发表年影響因子:  5.083 

    4.Multiobjective Bike Repositioning in Bike-Sharing Systems via a Modified Artificial Bee Colony Algorithm

    Jia, HF, Miao, HZ, T     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2020, Volume 17, Issue 2, Pages 909-920

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 11  2020影響因子:  5.083  发表年影響因子:  5.083 

    5.Interval-Valued Intuitionistic Uncertain Linguistic Cloud Petri Net and Its Application to Risk Assessment for Subway Fire Accident

    Zhang, Cheng, Wang,     More...

    IEEE Transactions on Automation Science and Engineering[1545-5955], Published 2020,

    收錄情况: SCOPUS

    2020影響因子:  5.083  发表年影響因子:  5.083 

    6.Synthesis of Supervisory Control with Partial Observation on Normal State-Tree Structures

    Gu, Chan, Wang, Xi,     More...

    IEEE Transactions on Automation Science and Engineering[1545-5955], Published 2019, Volume 16, Issue 2, Pages 984-997

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 22  2020影響因子:  5.083  发表年影響因子:  4.938 

    7.Flexible Process Planning and End-of-Life Decision-Making for Product Recovery Optimization Based on Hybrid Disassembly

    Feng, Yixiong, Gao,     More...

    IEEE Transactions on Automation Science and Engineering[1545-5955], Published 2019, Volume 16, Issue 1, Pages 311-326

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 46  2020影響因子:  5.083  发表年影響因子:  4.938 

    8.Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking

    Guellouz, S, Benzina     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2019, Volume 16, Issue 3, Pages 1110-1124

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2020影響因子:  5.083  发表年影響因子:  4.938 

    9.Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems

    Zhang, HM, Feng, L,     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2018, Volume 15, Issue 1, Pages 2-15

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 45  2020影響因子:  5.083  发表年影響因子:  5.224 

    10.Toward a New Methodology for an Efficient Test of Reconfigurable Hardware Systems

    Ben Ahmed, A, Mosbah     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2018, Volume 15, Issue 4, Pages 1864-1882

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2020影響因子:  5.083  发表年影響因子:  5.224 

    11.RWiN: New Methodology for the Development of Reconfigurable WSN

    Grichi, H, Mosbahi,     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2017, Volume 14, Issue 1, Pages 109-125

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 46  2020影響因子:  5.083  发表年影響因子:  3.667 

    12.Optimization of Deterministic Timed Weighted Marked Graphs

    He, Z, Li, ZW, Giua,     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2017, Volume 14, Issue 2, Pages 1084-1095

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 19  2020影響因子:  5.083  发表年影響因子:  3.667 

    13.Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks

    Wang, X, Khemaissia,     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2015, Volume 12, Issue 1, Pages 258-271

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 96  2020影響因子:  5.083  发表年影響因子:  2.696 

    14.Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach

    Chen, YF, Li, ZW, Zh     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2014, Volume 11, Issue 2, Pages 549-563

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 127  2020影響因子:  5.083  发表年影響因子:  2.428 

    15.An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems

    Hu, HS, Zhou, MC, Li     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2013, Volume 10, Issue 3, Pages 772-782

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 38  2020影響因子:  5.083  发表年影響因子:  2.162 

    16.Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems (vol 8, pg 374, 2011)

    Chen, YF, Li, ZW, Kh     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2012, Volume 9, Issue 2, Pages 455-455

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2020影響因子:  5.083  发表年影響因子:  1.674 

    17.Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems

    Chen, YF, Li, ZW, Kh     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2011, Volume 8, Issue 2, Pages 374-393

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 210  2020影響因子:  5.083  发表年影響因子:  1.461 

    18.Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets

    Hu, HS, Zhou, MC, Li     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2011, Volume 8, Issue 4, Pages 794-804

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 47  2020影響因子:  5.083  发表年影響因子:  1.461 

    19.Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets

    Hu, HS, Zhou, MC, Li     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2010, Volume 7, Issue 3, Pages 549-557

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 53  2020影響因子:  5.083  发表年影響因子:  1.396 

    20.Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets

    Hu, HS, Zhou, MC, Li     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2010, Volume 7, Issue 4, Pages 933-944

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 45  2020影響因子:  5.083  发表年影響因子:  1.396 

    顯示      條  合計   22   條
      總頁 2 
        Go

      本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器

      Copyright © 2018 澳門科技大學學者庫