Overview
- 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
- Includes supplementary material: sn.pub/extras
Part of the book series: Studies in Systems, Decision and Control (SSDC, volume 45)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
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.
Editors and Affiliations
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
DOI: https://doi.org/10.1007/978-3-319-26725-8
Publisher: Springer Cham
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Hardcover ISBN: 978-3-319-26723-4Published: 06 January 2016
Softcover ISBN: 978-3-319-80004-2Published: 30 March 2018
eBook ISBN: 978-3-319-26725-8Published: 23 December 2015
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