Design of Reconfigurable Logic Controllers [electronic resource] / edited by Andrei Karatkevich, Arkadiusz Bukowiec, Michał Doligalski, Jacek Tkacz.
Karatkevich, Andrei. editor.; Bukowiec, Arkadiusz. editor.; Doligalski, Michał. editor.; Tkacz, Jacek. editor.
2016
TK7888.4
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Design of Reconfigurable Logic Controllers [electronic resource] / edited by Andrei Karatkevich, Arkadiusz Bukowiec, Michał Doligalski, Jacek Tkacz.
Edition 1st ed. 2016.
ISBN 9783319267258
3319267256
9783319267234
331926723X
DOI https://doi.org/10.1007/978-3-319-26725-8
Published Cham : Springer International Publishing : Imprint: Springer, 2016.
Language English
Description 1 online resource (viii, 185 pages) : illustrations.
Item Number 10.1007/978-3-319-26725-8 doi
Call Number TK7888.4
Dewey Decimal Classification 621.3815
Summary 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.
Bibliography, etc. Note ReferencesModular Synthesis of Petri Nets; 1 Introduction; 2 Example of Control System; 3 Place Centered Specification of Petri Net in Gentzen Logic; 4 Encoding Inside State Machine Modules; 5 Implementation of Colored Hierarchical Macronet; 5.1 Modular Specification of Logic Controller; 5.2 General Template for Modular Logic Design; 5.3 One-Hot Encoding of Macroplaces; 5.4 Local Encoding Inside Macroplaces with Registered Outputs; 5.5 State Machine Style for Macroplace Encoding; 6 VHDL-Style of the Modular Petri Net Description; 7 Results of Experiments; 8 Summary; References
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Added Author Karatkevich, Andrei. editor.
Bukowiec, Arkadiusz. editor.
Doligalski, Michał. editor.
Tkacz, Jacek. editor.
Series Studies in systems, decision and control ; 45.
Available in Other Form Print version: 9783319267234
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Petri Nets in Design of Control Algorithms
Synthesis and Implementation of Parallel Logic Conrollers in All Programmable Systems-on-Chip
Circuit Implementation of Parallel Logical Control Algorithms Represented in PRALU Description
Effective Partial Reconfiguration of Logic Controllers Implemented in FPGA Devices
An Application of Logic Controller for the Aerosol Temperature Stabilization
Symbolic Coloring of Petri Nets
Modular Synthesis of Petri Nets
Architectural Synthesis of Petri Nets
Decomposition-Based Methods for FSM Implementation
Using UML Behavior Diagrams for Graphical Specification of Programs for Logic Controllers
Various Interpretations of Actions of UML Activity Diagrams in Logic Controller Design
Model Checking of UML Activity Diagrams Using a Rule-Based Logical Model
UML Support for Statecharts-Based Digital Logic Controller Design in FPGA Technology. .

Browse Subjects

Show more subjects...

Statistics

from
to
Export