Dynamic Analysis of Petri Net-Based Discrete Systems PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Dynamic Analysis of Petri Net-Based Discrete Systems PDF full book. Access full book title Dynamic Analysis of Petri Net-Based Discrete Systems by Andrei Karatkevich. Download full books in PDF and EPUB format.
Author: Andrei Karatkevich
Publisher: Springer Science & Business Media
ISBN: 3540714642
Category : Technology & Engineering
Languages : en
Pages : 171
Get Book Here
Book Description
Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs).
Author: Andrei Karatkevich
Publisher: Springer Science & Business Media
ISBN: 3540714642
Category : Technology & Engineering
Languages : en
Pages : 171
Get Book Here
Book Description
Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs).
Author: Andrei Karatkevich
Publisher: Springer Science & Business Media
ISBN: 3540715606
Category : Technology & Engineering
Languages : en
Pages : 171
Get Book Here
Book Description
Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs).
Author: Carla Seatzu
Publisher: Springer
ISBN: 1447142764
Category : Technology & Engineering
Languages : en
Pages : 488
Get Book Here
Book Description
Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized and distributed/decentralized systems developed in the framework of the Distributed Supervisory Control of Large Plants (DISC) project. Later parts of the text are devoted to the study of congested systems though fluidization, an over approximation allowing a much more efficient study of observation and control problems of timed Petri nets. Finally, the max-plus algebraic approach to the analysis and control of choice-free systems is also considered. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar with this class of systems, but also provides an introduction to research problems and open issues of current interest to readers already familiar with them. Most of the material in this book has been presented during a Ph.D. school held in Cagliari, Italy, in June 2011.
Author: John O. Moody
Publisher: Springer Science & Business Media
ISBN: 1461557119
Category : Technology & Engineering
Languages : en
Pages : 200
Get Book Here
Book Description
Supervisory Control of Discrete Event Systems Using Petri Nets presents a novel approach to its subject. The concepts of supervisory control and discrete event systems are explained, and the background material on general Petri net theory necessary for using the book's control techniques is provided. A large number of examples is used to illustrate the concepts and techniques presented in the text, and there are plenty of references for those interested in additional study or more information on a particular topic. Supervisory Control of Discrete Event Systems Using Petri Nets is intended for graduate students, advanced undergraduates, and practicing engineers who are interested in the control problems of manufacturing, communication and computer networks, chemical process plants, and other high-level control applications. The text is written from an engineering perspective, but it is also appropriate for students of computer science, applied mathematics, or economics. The book contains enough background material to stand alone as an introduction to supervisory control with Petri nets, but it may also be used as a supplemental text in a course on discrete event systems or intelligent autonomous control.
Author: Branislav Hrúz
Publisher: Springer Science & Business Media
ISBN: 1846288770
Category : Science
Languages : en
Pages : 342
Get Book Here
Book Description
Discrete-event dynamic systems (DEDs) permeate our world. They are of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking. This book begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Industrial examples illustrate the concepts and methods discussed, making this book an invaluable aid for students embarking on further courses in control, manufacturing engineering or computer studies.
Author: Jiacun Wang
Publisher: Springer Science & Business Media
ISBN: 146155537X
Category : Science
Languages : en
Pages : 286
Get Book Here
Book Description
Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of `classical' systems with sequential behaviors. This book introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets. Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.
Author: Ngoc-Thanh Nguyen
Publisher: Springer
ISBN: 3662493810
Category : Computers
Languages : en
Pages : 844
Get Book Here
Book Description
The two-volume proceedings of the ACIIDS 2016 conference, LNAI 9621 + 9622, constitutes the refereed proceedings of the 8th Asian Conference on Intelligent Information and Database Systems, held in Da Nang, Vietnam, in March 2016. The total of 153 full papers accepted for publication in these proceedings was carefully reviewed and selected from 392 submissions. They were organized in topical sections named: knowledge engineering and semantic Web; social networks and recommender systems; text processing and information retrieval; database systems and software engineering; intelligent information systems; decision support and control systems; machine learning and data mining; computer vision techniques; intelligent big data exploitation; cloud and network computing; multiple model approach to machine learning; advanced data mining techniques and applications; computational intelligence in data mining for complex problems; collective intelligence for service innovation, technology opportunity, e-learning, and fuzzy intelligent systems; analysis for image, video and motion data in life sciences; real world applications in engineering and technology; ontology-based software development; intelligent and context systems; modeling and optimization techniques in information systems, database systems and industrial systems; smart pattern processing for sports; and intelligent services for smart cities.
Author: Yuanqing Xia
Publisher: Springer
ISBN: 3642026966
Category : Technology & Engineering
Languages : en
Pages : 288
Get Book Here
Book Description
Time-delay occurs in many dynamical systems such as biological systems, chemical systems, metallurgical processing systems, nuclear reactor, long transmission lines in pneumatic, hydraulic systems and electrical networks. Especially, in recent years, time-delay which exists in networked control s- temshasbroughtmorecomplexproblemintoanewresearcharea.Frequently, itisasourceofthegenerationofoscillation,instabilityandpoorperformance. Considerable e?ort has been applied to di?erent aspects of linear time-delay systems during recent years. Because the introduction of the delay factor renders the system analysis more complicated, in addition to the di?culties caused by the perturbation or uncertainties, in the control of time-delay s- tems, the problems of robust stability and robust stabilization are of great importance. This book presents some basic theories of stability and stabilization of systems with time-delay, which are related to the main results in this book. More attention will be paid on synthesis of systems with time-delay. That is, sliding mode control of systems with time-delay; networked control systems with time-delay; networked data fusion with random delay.
Author: Wil van der Aalst
Publisher: Springer
ISBN: 3319578618
Category : Computers
Languages : en
Pages : 353
Get Book Here
Book Description
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017. The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.
Author: Andrei Karatkevich
Publisher: Springer
ISBN: 3319267256
Category : Technology & Engineering
Languages : en
Pages : 187
Get Book Here
Book Description
This book presents the original concepts and modern techniques for specification, synthesis, optimisation and implementation of parallel logical control devices. It deals with essential problems of reconfigurable control systems like dependability, modularity and portability. Reconfigurable systems require a wider variety of design and verification options than the application-specific integrated circuits. The book presents a comprehensive selection of possible design techniques. The diversity of the modelling approaches covers Petri nets, state machines and activity diagrams. The preferences of the presented optimization and synthesis methods are not limited to increasing of the efficiency of resource use. One of the biggest advantages of the presented methods is the platform independence, the FPGA devices and single board computers are some of the examples of possible platforms. These issues and problems are illustrated with practical cases of complete control systems. If you expect a new look at the reconfigurable systems designing process or need ideas for improving the quality of the project, this book is a good choice.g process or need ideas for improving the quality of the project, this book is a good choice.
