Design of Reconfigurable Logic Controllers

Herausgegeben:Karatkevich, Andrei; Bukowiec, Arkadiusz; Doligalski, Michal; Tkacz, Jacek

• Gebundenes Buch

Produktbeschreibung

This book presents the original concepts andmodern techniques for specification, synthesis, optimisation and implementationof parallel logical control devices. It deals with essential problems ofreconfigurable control systems like dependability, modularity and portability.Reconfigurable systems require a wider variety of design and verification optionsthan the application-specific integrated circuits. The book presents acomprehensive selection of possible design techniques. The diversity of themodelling approaches covers Petri nets, state machines and activity diagrams.The preferences of the presented optimization and synthesis methods arenot limited to increasing of the efficiency of resource use. One of the biggestadvantages of the presented methods is the platform independence, the FPGAdevices and single board computers are some of the examples of possibleplatforms. These issues and problems are illustrated with practical cases ofcomplete control systems. If you expect a new look at the reconfigurablesystems designing process or need ideas for improving the quality of theproject, this book is a good choice.g process or needideas for improving the quality of the project, this book is a good choice.

Produktdetails

• Studies in Systems, Decision and Control 45
• Verlag: Springer / Springer International Publishing / Springer, Berlin
• Artikelnr. des Verlages: 978-3-319-26723-4
• 1st ed. 2016
• Seitenzahl: 196
• Erscheinungstermin: 6. Januar 2016
• Englisch
• Abmessung: 241mm x 160mm x 17mm
• Gewicht: 409g
• ISBN-13: 9783319267234
• ISBN-10: 331926723X
• Artikelnr.: 43904035

Inhaltsangabe

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.