Sisäänkirjautuminen

Adamski, Marian Andrzej

Design of Embedded Control Systems

Adamski, Marian Andrzej - Design of Embedded Control Systems, e-kirja

126,45€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9780387283272
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

Table of contents

Section I.Specification of Concurrent Embedded Control Systems

1. Using Sequents for Description of Concurrent Digital Systems Behavior
Arkadij Zakrevskij

2. Formal Logic Design of Reprogrammable Controllers
Marian Adamski

3. Hierarchical Petri Nets for Digital Controller Design
Grzegorz Andrzejewski

Section II.Analysis and Verification of Discrete-Event Systems

4. WCET Prediction for Embedded Processors Using an ADL
Adriano Tavares, Carlos Silva, Carlos Lima, José Metrolho, Carlos Couto

5. Verification of Control Paths Using Petri Nets
Torsten Schober, Andreas Reinsch, Werner Erhard

6. Memory-Saving Analysis of Petri Nets
Andrei Karatkevich

7. Symbolic State Exploration of UML Statecharts for Hardware Description
Grzegorz Labiak

8. Calculating State Spaces of Hierarchical Petri Nets Using BDD
Piotr Miczulski

9. A New Approach to Simulation of Concurrent Controllers
Agnieszka Wegrzyn, Marek Wegrzyn

Section III.Synthesis of Concurrent Embedded Control Systems

10. Optimal State Assignment of Synchronous Parallel Automata
Yury Pottosin

11. Optimal State Assignment of Asynchronous Parallel Automata
Ljudmila Cheremisinova

12. Design of Embedded Control Systems Using Hybrid Petri Nets
Thorsten Hummel, Wolfgang Fengler

Section IV.Implementation of Discrete-Event Systems in Programmable Logic

13. Structuring Mechanisms in Petri Net Models
Luís Gomes, João Paulo Barros, Anikó Costa

14. Implementing a Petri Net Specification in a FPGA Using VHDL
Enrique Soto, Miguel Pereira

15. Finite State Machine Implementation in FPGAs
Hana Kubátová

16. Block Synthesis of Combinational Circuits
Pyotr Bibilo, Natalia Kirienko

17. The Influence of Functional Decomposition on Modern Digital Design Process
Mariusz Rawski, Tadeusz Luba, Zbigniew Jachna, Pawel Tomaszewicz

Section V:.System Engineering for Embedded Systems

18. Development of Embedded Systems Using Oort
Sérgio Lopes, Carlos Silva, Adriano Tavares, João Monteiro

19. Optimizing Communication Architectures for Parallel Embedded Systems
Vaclav Dvorak

20. Remarks on Parallel Bit-Byte CPU Structures of the Programmable Logic Controller
Miroslaw Chmiel, Edward Hrynkiewicz

21. FPGA Implementation of Positional Filters
Dariusz Caban

22. A Methodology for Developing IP Cores that Replace Obsolete ICS
Wojciech Sakowski, Mirosllaw Bandzerewicz, Maciej Pyka, Wlodzimierz Wrona

DRM-restrictions

Printing: not available
Clipboard copying: not available

Avainsanat: TECHNOLOGY & ENGINEERING / General TEC000000

Tekijä(t)
 
 
Julkaisija
Springer
Julkaisuvuosi
2005
Kieli
en
Painos
1
Kategoria
Tekniikka, energia, liikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9780387283272

Samankaltaisia e-kirjoja