On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places
DOI10.1093/IMAMCI/DNW043zbMATH Open1402.93120OpenAlexW2503122045MaRDI QIDQ4555871FDOQ4555871
Zhiwu Li, Murat Uzam, NaiQi Wu, Xiuyan Zhang
Publication date: 23 November 2018
Published in: IMA Journal of Mathematical Control and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/imamci/dnw043
Recommendations
- Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
- On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach
- Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller
Deterministic scheduling theory in operations research (90B35) Synthesis problems (93B50) Multivariable systems, multidimensional control systems (93C35) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Software, source code, etc. for problems pertaining to systems and control theory (93-04) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Cited In (2)
This page was built for publication: On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4555871)
