Adamski, Marian Andrzej

Design of Embedded Control Systems

Adamski, Marian Andrzej - Design of Embedded Control Systems, ebook


Ebook, PDF with Adobe DRM
ISBN: 9780387283272
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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


Printing: not available
Clipboard copying: not available

Keywords: TECHNOLOGY & ENGINEERING / General TEC000000

Publication year
Technology, Energy, Traffic

Similar titles