Muutke küpsiste eelistusi

E-raamat: Prototyping of Concurrent Control Systems Implemented in FPGA Devices

  • Formaat: PDF+DRM
  • Sari: Advances in Industrial Control
  • Ilmumisaeg: 30-Sep-2016
  • Kirjastus: Springer International Publishing AG
  • Keel: eng
  • ISBN-13: 9783319458113
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 110,53 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Prototyping of Concurrent Control Systems Implemented in FPGA DevicesSuurem pilt
  • Formaat: PDF+DRM
  • Sari: Advances in Industrial Control
  • Ilmumisaeg: 30-Sep-2016
  • Kirjastus: Springer International Publishing AG
  • Keel: eng
  • ISBN-13: 9783319458113
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This book focuses on prototyping aspects of concurrent control systems and their further implementation and partial reconfiguration in programmable devices. Further, it lays out a full prototyping flow for concurrent control systems. Based on a given primary specification, a system is described with an interpreted Petri net, which naturally reflects the concurrent and sequential relationships of the design.The book shows that, apart from the traditional option of static configuration of the entire system, the latest programmable devices (especially FPGAs) offer far more sophistication. Partial reconfiguration allows selected parts of the system to be replaced without having to reprogram the entire structure of the device. Approaches to dynamic and static partial reconfiguration of concurrent control systems are presented and described in detail.The theoretical work is illustrated by examples drawn from various applications, with a milling machine and a traffic-light controller

highlighted as representative interpreted Petri nets.Given the ubiquity of concurrent control systems in a huge variety of technological areas including transportation, medicine, artificial intelligence, manufacturing, security and safety and planetary exploration, the innovative software and hardware design methods described here will be of considerable interest to control engineers and systems and circuits researchers in many areas of industry and academia.

Introduction.- Related Work.- Perfect Graphs and Comparability Graphs.- Hypergraphs and Exact Transversals.- Analysis of Concurrent Control Systems.- Decomposition of Concurrent Control Systems.- Prototyping of Concurrent Systems.- Modelling of Concurrent Systems in Hardware Languages.- Implementation of Concurrent Control Systems in FPGA.
1 Introduction
1(14)
1.1 Context and Motivation
1(5)
1.2 Outline of the Book
6(9)
References
7(8)
2 Related Work
15(16)
2.1 Petri Nets and Interpreted Petri Nets
15(12)
2.2 Computational Complexity of Algorithms
27(4)
References
28(3)
3 Perfect Graphs and Comparability Graphs
31(18)
3.1 Preliminaries
31(5)
3.2 Perfect Graphs
36(2)
3.3 Comparability Graphs
38(4)
3.4 Recognition and Coloring of Comparability Graphs
42(7)
3.4.1 Recognition of Comparability Graphs
42(3)
3.4.2 Coloring of Comparability Graphs
45(2)
References
47(2)
4 Hypergraphs and Exact Transversals
49(10)
4.1 Main Definitions and Properties of Hypergraphs
49(3)
4.2 Properties of C-Exact Hypergraphs
52(1)
4.3 Algorithms Related to C-Exact Hypergraphs
53(6)
References
56(3)
5 Analysis of Concurrent Control Systems
59(18)
5.1 State Equation and Place Invariants
59(5)
5.2 Concurrency Analysis
64(5)
5.3 Sequentiality Analysis
69(3)
5.4 Properties of Concurrency and Sequentiality Hypergraphs
72(5)
References
74(3)
6 Decomposition of Concurrent Control Systems
77(22)
6.1 SM-Decomposition Based on Place Invariants
78(7)
6.1.1 The Idea of Method
78(2)
6.1.2 Examples
80(5)
6.2 SM-Decomposition Based on Graph Theory
85(5)
6.2.1 The Idea of Method
85(2)
6.2.2 Examples
87(3)
6.3 SM-Decomposition Based on Hypergraph Theory
90(9)
6.3.1 The Idea of Method
90(1)
6.3.2 Examples
91(6)
References
97(2)
7 Prototyping of Concurrent Control Systems
99(18)
7.1 Prototyping Flow of the Concurrent Systems
99(4)
7.1.1 Specification by an Interpreted Petri Net
99(1)
7.1.2 Decomposition of the System
100(2)
7.1.3 Modeling of the Decomposed Modules
102(1)
7.1.4 Verification of the System
102(1)
7.1.5 Implementation of the System
103(1)
7.2 Prototyping of Integrated Concurrent Control Systems
103(14)
7.2.1 Specification by an Interpreted Petri Net
104(3)
7.2.2 Decomposition and Synchronization of the System
107(2)
7.2.3 Modeling of the Decomposed Modules as FSMs
109(3)
7.2.4 Verification of the System (Software Simulation)
112(1)
7.2.5 Implementation of the System
113(1)
References
113(4)
8 Modelling of Concurrent Systems in Hardware Languages
117(22)
8.1 Traditional Modelling of Concurrent Systems in Hardware Description Languages
117(11)
8.1.1 The Basic Assumptions
118(1)
8.1.2 Description of Transitions, Places, Outputs
118(2)
8.1.3 Description of Concurrency
120(2)
8.1.4 Description of Conflicts
122(2)
8.1.5 Examples
124(4)
8.2 Modelling of Concurrent Systems as a Composition of Sequential Automata
128(11)
8.2.1 Description of an FSM in Verilog
128(3)
8.2.2 Examples
131(5)
References
136(3)
9 Implementation of Concurrent Control Systems in FPGA
139(28)
9.1 Introduction to the Programmable Devices
139(2)
9.2 Field Programmable Gate Arrays
141(4)
9.3 Implementation of Concurrent Controllers in FPGA
145(1)
9.4 Partial Reconfiguration of Concurrent Controllers
146(21)
9.4.1 The Idea of Partial Reconfiguration of an FPGA
147(1)
9.4.2 Partial Reconfiguration of Concurrent Systems
148(1)
9.4.3 Static Partial Reconfiguration
149(5)
9.4.4 Dynamic Partial Reconfiguration
154(10)
References
164(3)
10 Conclusions
167(4)
Index 171
Remigiusz Winiewski had worked for Aldec, Inc., as an Application and Senior Application Engineer, where he participated in the realization of projects related to prototyping of systems and designs implemented in programmable devices. He was invited to the company headquarters in Las Vegas, where he performed specialized trainings and presentations for companies such as Intel and Xilinx. In 2001 he was involved in exhibitions during the Design, Automation and Test in Europe (DATE), held in Munich.

In October 2003 Doctor Winiewski joined Institute of Computer Engineering and Electronics of University of Zielona Góra, where he was appointed as an Assistant Lecturer. His research interests focus on overcoming problems related to the reduction of the area of control units implemented in programmable devices.











Following the completion of his Ph. D. thesis, in April 2009, Doctor Winiewski joined the Institute of Computer Engineering and Electronics of Universityof Zielona Góra,  as an Assistant Professor.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97833194581132e.html
Märksõnad: