Xiaolan Xie – författare

Visar alla böcker från författaren Xiaolan Xie. Handla med fri frakt och snabb leverans.

12 produkter

Kategorier

12 produkter

Synthesis and Control of Discrete Event Systems
AvBenoît Caillaud,Philippe Darondeaum. fl.
Inbunden, Engelska, 2002
1 111 kr
Skickas inom 10-15 vardagar
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware.
Formal Methods in Manufacturing
AvJavier Campos,Carla Seatzum. fl.
Häftad, Engelska, 2017
1 302 kr
Skickas inom 10-15 vardagar
Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today’s industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration.Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.
Formal Methods in Manufacturing
AvXiaolan Xie,Carla Seatzum. fl.
E-bok
Engelska, 2018
1 542 kr
Läs direkt efter köp
Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from todayâ€™s industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration.
Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.
Synthesis and Control of Discrete Event Systems
AvBenoît Caillaud,Philippe Darondeaum. fl.
Häftad, Engelska, 2010
1 098 kr
Skickas inom 10-15 vardagar
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware.
Formal Methods in Manufacturing
AvJavier Campos,Carla Seatzum. fl.
Inbunden, Engelska, 2014
3 338 kr
Skickas inom 10-15 vardagar
Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today’s industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration.Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.
Synthesis and Control of Discrete Event Systems
AvXiaolan Xie,Luciano Lavagnom. fl.
E-bok
PDF, Engelska, 2013
1 416 kr
Läs direkt efter köp
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware.
Computer Supported Cooperative Work and Social Computing
13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18–19, 2018, Revised Selected Papers
AvYuqing Sun,Tun Lum. fl.
Häftad, Engelska, 2019
576 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 13th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2018, held in Guilin, China, in August 2018. The 33 revised full papers presented along with the 13 short papers were carefully reviewed and selected from 150 submissions. The papers of this volume are organized in topical sections on: collaborative models, approaches, algorithms, and systems, social computing, data analysis and machine learning for CSCW and social computing.
Computer Supported Cooperative Work and Social Computing
13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18–19, 2018, Revised Selected Papers
AvHongfei Fan,Liping Gaom. fl.
E-bok
Engelska, 2018
710 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 13th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2018, held in Guilin, China, in August 2018.
The 33 revised full papers presented along with the 13 short papers were carefully reviewed and selected from 150 submissions. The papers of this volume are organized in topical sections on: collaborative models, approaches, algorithms, and systems, social computing, data analysis and machine learning for CSCW and social computing.
Data Science
5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20–23, 2019, Proceedings, Part II
AvRui Mao,Hongzhi Wangm. fl.
Häftad, Engelska, 2019
576 kr
Skickas inom 10-15 vardagar
This two volume set (CCIS 1058 and 1059) constitutes the refereed proceedings of the 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019 held in Guilin, China, in September 2019. The 104 revised full papers presented in these two volumes were carefully reviewed and selected from 395 submissions. The papers cover a wide range of topics related to basic theory and techniques for data science including data mining; data base; net work; security; machine learning; bioinformatics; natural language processing; software engineering; graphic images; system; education; application.
Data Science
5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20–23, 2019, Proceedings, Part II
AvZeguang Lu,Xiaolan Xiem. fl.
E-bok
Engelska, 2019
698 kr
Läs direkt efter köp
This two volume set (CCIS 1058 and 1059) constitutes the refereed proceedings of the 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019 held in Guilin, China, in September 2019.
The 104 revised full papers presented in these two volumes were carefully reviewed and selected from 395 submissions. The papers cover a wide range of topics related to basic theory and techniques for data science including data mining; data base; net work; security; machine learning; bioinformatics; natural language processing; software engineering; graphic images; system; education; application.
Wireless Sensor Networks
15th China Conference, CWSN 2021, Guilin, China, October 22–25, 2021, Revised Selected Papers
AvLi Cui,Xiaolan Xie
Häftad, Engelska, 2021
901 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 15th China Conference on Wireless Sensor Networks, CWSN 2021 held in Guilin, China, in October 2021.The 19 papers were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on theory and technology on wireless sensor network; application on internet of things; security and privacy protection on internet of things; fog computing and wireless computing.
Wireless Sensor Networks
15th China Conference, CWSN 2021, Guilin, China, October 22–25, 2021, Revised Selected Papers
AvXiaolan Xie,Li Cui
E-bok
Engelska, 2021
1 138 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 15th China Conference on Wireless Sensor Networks, CWSN 2021 held in Guilin, China, in October 2021.
The 19 papers were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on theory and technology on wireless sensor network; application on internet of things; security and privacy protection on internet of things; fog computing and wireless computing.

Företag, bibliotek eller offentlig verksamhet?

Xiaolan Xie – författare

Synthesis and Control of Discrete Event Systems

Formal Methods in Manufacturing

Formal Methods in Manufacturing

Synthesis and Control of Discrete Event Systems

Formal Methods in Manufacturing

Synthesis and Control of Discrete Event Systems

Computer Supported Cooperative Work and Social Computing

Computer Supported Cooperative Work and Social Computing

Data Science

Data Science

Wireless Sensor Networks

Wireless Sensor Networks

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration