Advertisement

© 2016

Design of Reconfigurable Logic Controllers

  • Andrei Karatkevich
  • Arkadiusz Bukowiec
  • Michał Doligalski
  • Jacek Tkacz

Benefits

  • Presents the concept of design application specific logic controllers by means of Petri nets and UML

  • Proposes a model of interpreted colored Petri net for descriptions of algorithms of logic controller

  • Introduces formal analytical methods, including sequent calculus and formal reasoning As well as the original algorithm of coloring

Book

Part of the Studies in Systems, Decision and Control book series (SSDC, volume 45)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Andrei Karatkevich
    Pages 1-14
  3. P. N. Bibilo, Yu. V. Pottosin, V. I. Romanov, A. D. Zakrevskij
    Pages 31-43
  4. Remigiusz Wiśniewski, Monika Wiśniewska, Marian Adamski
    Pages 45-55
  5. Michał Doligalski, Marek Ochowiak, Anna Gościniak
    Pages 57-66
  6. Jacek Tkacz
    Pages 67-76
  7. Jacek Tkacz, Marian Adamski
    Pages 77-91
  8. Arkadiusz Bukowiec
    Pages 93-102
  9. Mariusz Rawski, Piotr Szotkowski, Paweł Tomaszewicz
    Pages 103-129
  10. Michał Grobelny, Iwona Grobelna, Marian Adamski
    Pages 143-151
  11. Iwona Grobelna, Michał Grobelny, Marian Adamski
    Pages 153-163
  12. Back Matter
    Pages 181-185

About this book

Introduction

 

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.

Keywords

FPGA HDL Logic Controller Logic Synthesis Petri Net Reconfigurable Logic Sequent Calculus State Machine Structural Decomposition

Editors and affiliations

  • Andrei Karatkevich
    • 1
  • Arkadiusz Bukowiec
    • 2
  • Michał Doligalski
    • 3
  • Jacek Tkacz
    • 4
  1. 1.Faculty of Computer Science, Electrical Engineering and AutomaticsUniversity of Zielona GóraZielona GóraPoland
  2. 2.Faculty of Computer Science, Electrical Engineering and AutomaticsUniversity of Zielona GóraZielona GóraPoland
  3. 3.Faculty of Computer Science, Electrical Engineering and AutomaticsUniversity of Zielona GóraZielona GóraPoland
  4. 4.Faculty of Computer Science, Electrical Engineering and AutomaticsUniversity of Zielona GóraZielona GóraPoland

Bibliographic information

  • Book Title Design of Reconfigurable Logic Controllers
  • Editors Andrei Karatkevich
    Arkadiusz Bukowiec
    Michał Doligalski
    Jacek Tkacz
  • Series Title Studies in Systems, Decision and Control
  • Series Abbreviated Title Studies in Systems, Decision and Control
  • DOI https://doi.org/10.1007/978-3-319-26725-8
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Engineering Engineering (R0)
  • Hardcover ISBN 978-3-319-26723-4
  • Softcover ISBN 978-3-319-80004-2
  • eBook ISBN 978-3-319-26725-8
  • Series ISSN 2198-4182
  • Series E-ISSN 2198-4190
  • Edition Number 1
  • Number of Pages VIII, 185
  • Number of Illustrations 63 b/w illustrations, 13 illustrations in colour
  • Topics Circuits and Systems
    Computational Intelligence
    Control and Systems Theory
  • Buy this book on publisher's site
Industry Sectors
Automotive
Biotechnology
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering