Dynamic Analysis of Petri Net-Based Discrete Systems
Dynamic Analysis of Petri Net-Based Discrete Systems

Author: Andrei Karatkevich

Publisher: Springer Science & Business Media

Published: 2007-07-05

Total Pages: 171

ISBN-13: 3540715606

DOWNLOAD EBOOK

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).

Dynamic Analysis of Petri Net-Based Discrete Systems
Dynamic Analysis of Petri Net-Based Discrete Systems

Author: Andrei Karatkevich

Publisher: Springer Science & Business Media

Published: 2007-04-27

Total Pages: 171

ISBN-13: 3540714642

DOWNLOAD EBOOK

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).

Modeling and Control of Discrete-event Dynamic Systems
Modeling and Control of Discrete-event Dynamic Systems

Author: Branislav Hrúz

Publisher: Springer Science & Business Media

Published: 2007-08-17

Total Pages: 342

ISBN-13: 1846288770

DOWNLOAD EBOOK

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.

Supervisory Control of Discrete Event Systems Using Petri Nets
Supervisory Control of Discrete Event Systems Using Petri Nets

Author: John O. Moody

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 200

ISBN-13: 1461557119

DOWNLOAD EBOOK

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.

Control of Discrete-Event Systems
Control of Discrete-Event Systems

Author: Carla Seatzu

Publisher: Springer

Published: 2012-07-27

Total Pages: 488

ISBN-13: 1447142764

DOWNLOAD EBOOK

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.

Prototyping of Concurrent Control Systems Implemented in FPGA Devices
Prototyping of Concurrent Control Systems Implemented in FPGA Devices

Author: Remigiusz Wiśniewski

Publisher: Springer

Published: 2016-09-30

Total Pages: 178

ISBN-13: 3319458116

DOWNLOAD EBOOK

This book focuses on prototyping aspects of concurrent control systems and their further implementation and partial reconfiguration in programmable devices. Further, it lays out a full prototyping flow for concurrent control systems. Based on a given primary specification, a system is described with an interpreted Petri net, which naturally reflects the concurrent and sequential relationships of the design. The book shows that, apart from the traditional option of static configuration of the entire system, the latest programmable devices (especially FPGAs) offer far more sophistication. Partial reconfiguration allows selected parts of the system to be replaced without having to reprogram the entire structure of the device. Approaches to dynamic and static partial reconfiguration of concurrent control systems are presented and described in detail.“/p> The theoretical work is illustrated by examples drawn from various applications, with a milling machine and a traffic-light controller highlighted as representative interpreted Petri nets. Given the ubiquity of concurrent control systems in a huge variety of technological areas including transportation, medicine, artificial intelligence, manufacturing, security and safety and planetary exploration, the innovative software and hardware design methods described here will be of considerable interest to control engineers and systems and circuits researchers in many areas of industry and academia.

Computer Aided Systems Theory -- EUROCAST 2013
Computer Aided Systems Theory -- EUROCAST 2013

Author: Roberto Moreno-Díaz

Publisher: Springer

Published: 2013-12-12

Total Pages: 540

ISBN-13: 3642538568

DOWNLOAD EBOOK

The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February 2013 in Las Palmas de Gran Canaria, Spain. The total of 131 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on modelling biological systems; systems theory and applications; intelligent information processing; theory and applications of metaheuristic algorithms; model-based system design, verification and simulation; process modeling simulation and system optimization; mobile and autonomous transportation systems; computer vision, sensing, image processing and medical applications; computer-based methods and virtual reality for clinical and academic medicine; digital signal processing methods and applications; mechatronic systems, robotics and marine robots; mobile computing platforms and technologies; systems applications.

Enterprise Information Systems
Enterprise Information Systems

Author: Slimane Hammoudi

Publisher: Springer

Published: 2016-02-02

Total Pages: 662

ISBN-13: 3319291335

DOWNLOAD EBOOK

This book contains revised papers from the 17th International Conference on Enterprise Information Systems, ICEIS 2015, held in Barcelona, Spain, in April 2015. The 31 papers presented in this volume were carefully reviewed and selected from a total of 327 submissions. The book also contains one full-paper invited talk. The selected papers reflect state-of-the-art research that is oriented toward real-world applications and highlight the benefits of information systems and technology for industry and services. They are organized in topical sections on databases and information systems integration, artificial intelligence and decision support systems, information systems analysis and specification, software agents and Internet computing, human–computer interaction, and enterprise architecture.

Design of Reconfigurable Logic Controllers
Design of Reconfigurable Logic Controllers

Author: Andrei Karatkevich

Publisher: Springer

Published: 2015-12-23

Total Pages: 187

ISBN-13: 3319267256

DOWNLOAD EBOOK

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.