Smart Manufacturing -A New DES Frontier

ISSN: 0924-6703 (Print) 1573-7594 (Online)

In this topical collection (9 articles)

  1. No Access

    OriginalPaper

    Path planning for robotic teams based on LTL specifications and Petri net models

    Marius Kloetzer, Cristian Mahulea Pages 55-79

  2. OriginalPaper

    Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems

    Berend Jan Christiaan van Putten, Bram van der Sanden… Pages 103-135
    Download PDF (2658KB) View Article

  3. No Access

    OriginalPaper

    An improved approach for marking optimization of timed weighted marked graphs

    Zhou He, Miao Liu, Ziyue Ma, Zhiwu Li, Alessandro Giua Pages 127-143

  4. No Access

    OriginalPaper

    Due-date quotation model for manufacturing system scheduling under uncertainty

    Zhiguo Wang, Tsan Sheng Ng, Chee Khiang Pang Pages 271-293

  5. No Access

    OriginalPaper

    Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling

    Michael Ibrahim, Spyros Reveliotis Pages 393-409

  6. OriginalPaper

    Time-optimal control of large-scale systems of systems using compositional optimization

    Fredrik Hagebring, Bengt Lennartson Pages 411-443
    Download PDF (2233KB) View Article

  7. No Access

    OriginalPaper

    SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time

    Xi Wang, Zhiwu Li, Thomas Moor Pages 501-520

  8. No Access

    OriginalPaper

    Failure detection and localization for timed event graphs in \((\max \limits ,+)\) -algebra

    Euriell Le Corronc, Yannick Pencolé, Alexandre Sahuguède… Pages 513-552

  9. No Access

    OriginalPaper

    Synthesis of covert actuator attackers for free

    Liyong Lin, Yuting Zhu, Rong Su Pages 561-577