000 04401nam a22005775i 4500
001 978-3-319-26725-8
003 DE-He213
005 20220801215530.0
007 cr nn 008mamaa
008 151223s2016 sz | s |||| 0|eng d
020 _a9783319267258
_9978-3-319-26725-8
024 7 _a10.1007/978-3-319-26725-8
_2doi
050 4 _aTK7867-7867.5
072 7 _aTJFC
_2bicssc
072 7 _aTEC008010
_2bisacsh
072 7 _aTJFC
_2thema
082 0 4 _a621.3815
_223
245 1 0 _aDesign of Reconfigurable Logic Controllers
_h[electronic resource] /
_cedited by Andrei Karatkevich, Arkadiusz Bukowiec, Michał Doligalski, Jacek Tkacz.
250 _a1st ed. 2016.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2016.
300 _aVIII, 185 p. 76 illus., 13 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aStudies in Systems, Decision and Control,
_x2198-4190 ;
_v45
505 0 _aPetri 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. .
520 _a 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.
650 0 _aElectronic circuits.
_919581
650 0 _aComputational intelligence.
_97716
650 0 _aControl engineering.
_931970
650 1 4 _aElectronic Circuits and Systems.
_944938
650 2 4 _aComputational Intelligence.
_97716
650 2 4 _aControl and Systems Theory.
_931972
700 1 _aKaratkevich, Andrei.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_944939
700 1 _aBukowiec, Arkadiusz.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_944940
700 1 _aDoligalski, Michał.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_944941
700 1 _aTkacz, Jacek.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_944942
710 2 _aSpringerLink (Online service)
_944943
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319267234
776 0 8 _iPrinted edition:
_z9783319267241
776 0 8 _iPrinted edition:
_z9783319800042
830 0 _aStudies in Systems, Decision and Control,
_x2198-4190 ;
_v45
_944944
856 4 0 _uhttps://doi.org/10.1007/978-3-319-26725-8
912 _aZDB-2-ENG
912 _aZDB-2-SXE
942 _cEBK
999 _c77588
_d77588