|
Showing 1 - 7 of
7 matches in All Departments
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.
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.
|
Computer Supported Cooperative Work and Social Computing - 13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18-19, 2018, Revised Selected Papers (Paperback, 1st ed. 2019)
Yuqing Sun, Tun Lu, Xiaolan Xie, Liping Gao, Hongfei Fan
|
R1,656
Discovery Miles 16 560
|
Ships in 10 - 15 working days
|
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.
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."
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."
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.
|
Data Science - 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20-23, 2019, Proceedings, Part II (Paperback, 1st ed. 2019)
Rui MAO, Hongzhi Wang, Xiaolan Xie, Zeguang Lu
|
R1,688
Discovery Miles 16 880
|
Ships in 10 - 15 working days
|
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.
|
You may like...
The Car
Arctic Monkeys
CD
R387
Discovery Miles 3 870
Barbie
Margot Robbie, Ryan Gosling
Blu-ray disc
R266
Discovery Miles 2 660
The Expendables 2
Sylvester Stallone, Jason Statham, …
Blu-ray disc
(1)
R64
Discovery Miles 640
|