Zhiwu Li – författare
Visar alla böcker från författaren Zhiwu Li. Handla med fri frakt och snabb leverans.
15 produkter
Optimal Supervisory Control of Automated Manufacturing Systems
Av Yufeng Chen, Zhiwu Li
Inbunden, 2013
1823 kr
Lägg i varukorg
This monograph presents the state-of-the-art developments in the design of behaviorally and structurally optimal livenessen-forcing Petri net supervisors with computationally tractable approaches. It details optimal supervisory control problems arising in automated production systems and outlines a …
Optimal Supervisory Control of Automated Manufacturing Systems
Av Zhiwu Li, Yufeng Chen
E-bok, 2013
1052 kr
Lägg i varukorg
This monograph presents the state-of-the-art developments in the design of behaviorally and structurally optimal livenessen-forcing Petri net supervisors with computationally tractable approaches. It details optimal supervisory control problems arising in automated production systems and outlines a …
Formal Methods in Manufacturing Systems
Recent Advances
Av Zhiwu Li, Abdulrahman M. Al-Ahmari
Inbunden, 2013
2557 kr
Lägg i varukorg
Formal Methods in Manufacturing Systems: Recent Advances
Av Abdulrahman M. Al-Ahmari, Zhiwu Li
E-bok, 2013
3178 kr
Lägg i varukorg
Evolving technologies in mass production have led to the development of advanced techniques in the field of manufacturing. These technologies can quickly and effectively respond to various market changes, necessitating processes that focus on small batches of multiple products rather than large, …
Formal Methods in Manufacturing Systems: Recent Advances
Av Abdulrahman M. Al-Ahmari, Zhiwu Li
E-bok, 2013
3178 kr
Lägg i varukorg
Evolving technologies in mass production have led to the development of advanced techniques in the field of manufacturing. These technologies can quickly and effectively respond to various market changes, necessitating processes that focus on small batches of multiple products rather than large, …
Deadlock Resolution in Automated Manufacturing Systems
A Novel Petri Net Approach
Av ZhiWu Li, MengChu Zhou
Inbunden, 2009
1093 kr
Lägg i varukorg
Deadlock problems in flexible manufacturing systems (FMS) have received more and more attention in the last two decades. Petri nets are one of the more promising mathematical tools for tackling deadlocks in various resource allocation systems. In a system modeled with Petri nets, siphons are tied …
Deadlock Resolution in Automated Manufacturing Systems
A Novel Petri Net Approach
Av MengChu Zhou, ZhiWu Li
E-bok, 2009
1459 kr
Lägg i varukorg
Deadlock problems in flexible manufacturing systems (FMS) have received more and more attention in the last two decades. Petri nets are one of the more promising mathematical tools for tackling deadlocks in various resource allocation systems. In a system modeled with Petri nets, siphons are tied …
Deadlock Resolution in Automated Manufacturing Systems
A Novel Petri Net Approach
Av ZhiWu Li, MengChu Zhou
Häftad, 2010
1093 kr
Lägg i varukorg
Deadlock problems in flexible manufacturing systems (FMS) have received more and more attention in the last two decades. Petri nets are one of the more promising mathematical tools for tackling deadlocks in various resource allocation systems. In a system modeled with Petri nets, siphons are tied …
Verification and Evaluation of Computer and Communication Systems
15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised Selected Papers
Av Ayoub Nouri, Weimin Wu m. fl.
Häftad, 2022
622 kr
Lägg i varukorg
This book constitutes the proceedings of the 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021. Due to COVID-19 pandemic the conference was held virtually.The 5 full papers presented in this volume were …
Verification and Evaluation of Computer and Communication Systems
15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised Selected Papers
Av ZhiWu Li, Kamel Barkaoui m. fl.
E-bok, 2022
839 kr
Lägg i varukorg
This book constitutes the proceedings of the 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021. Due to COVID-19 pandemic the conference was held virtually. The 5 full papers presented in this volume were …
Scheduling and Reconfiguration of Real-Time Systems
A Supervisory Control Approach
Inbunden, 2023
1853 kr
Lägg i varukorg
This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory. Generally, any system can be viewed as an RTS if it performs real-time application functions and behaves correctly depending on given logical activities and …
Scheduling and Reconfiguration of Real-Time Systems
A Supervisory Control Approach
E-bok, 2023
2444 kr
Lägg i varukorg
This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory. Generally, any system can be viewed as an RTS if it performs real-time application functions and behaves correctly depending on given logical activities and …
Scheduling and Reconfiguration of Real-Time Systems
A Supervisory Control Approach
Häftad, 2024
1853 kr
Lägg i varukorg
This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory. Generally, any system can be viewed as an RTS if it performs real-time application functions and behaves correctly depending on given logical activities and …
Computational Approaches in Biomedical Nano-Engineering
E-bok, 2018
2053 kr
Lägg i varukorg
This book comprehensively and systematically treats modern understanding of the Nano-Bio-Technology and its therapeutic applications. The contents range from the nanomedicine, imaging, targeted therapeutic applications, experimental results along with modelling approaches. It will provide the …
Computational Approaches in Biomedical Nano-Engineering
E-bok, 2018
2098 kr
Lägg i varukorg
This book comprehensively and systematically treats modern understanding of the Nano-Bio-Technology and its therapeutic applications. The contents range from the nanomedicine, imaging, targeted therapeutic applications, experimental results along with modelling approaches. It will provide the …
