2005

Design of Embedded Control Systems

ISBN: 978-0-387-23630-8 (Print) 978-0-387-28327-2 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. Specification of Concurrent Embedded Control Systems

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-13

      Using Sequents for Description of Concurrent Digital Systems Behavior

    3. No Access

      Book Chapter

      Pages 15-26

      Formal Logic Design of Reprogrammable Controllers

    4. No Access

      Book Chapter

      Pages 27-36

      Hierarchical Petri Nets for Digital Controller Design

  2. Analysis and Verification of Discrete-Event Systems

    1. Front Matter

      Pages 37-37

    2. No Access

      Book Chapter

      Pages 39-50

      WCET Prediction for Embedded Processors Using an ADL

    3. No Access

      Book Chapter

      Pages 51-62

      Verification of Control Paths Using Petri Nets

    4. No Access

      Book Chapter

      Pages 63-72

      Memory-Saving Analysis of Petri Nets

    5. No Access

      Book Chapter

      Pages 73-83

      Symbolic State Exploration of UML Statecharts for Hardware Description

    6. No Access

      Book Chapter

      Pages 85-94

      Calculating State Spaces of Hierarchical Petri Nets Using BDD

    7. No Access

      Book Chapter

      Pages 95-108

      A New Approach to Simulation of Concurrent Controllers

  3. Synthesis of Concurrent Embedded Control Systems

    1. Front Matter

      Pages 109-109

    2. No Access

      Book Chapter

      Pages 111-124

      Optimal State Assignment of Synchronous Parallel Automata

    3. No Access

      Book Chapter

      Pages 125-137

      Optimal State Assignment of Asynchronous Parallel Automata

    4. No Access

      Book Chapter

      Pages 139-149

      Design of Embedded Control Systems Using Hybrid Petri Nets

  4. Implementation of Discrete-Event Systems in Programmable Logic

    1. Front Matter

      Pages 151-151

    2. No Access

      Book Chapter

      Pages 153-166

      Structuring Mechanisms in Petri Net Models

    3. No Access

      Book Chapter

      Pages 167-174

      Implementing a Petri Net Specification in a FPGA Using VHDL

    4. No Access

      Book Chapter

      Pages 175-184

      Finite State Machine Implementation in FPGAs

    5. No Access

      Book Chapter

      Pages 185-192

      Block Synthesis of Combinational Circuits

    6. No Access

      Book Chapter

      Pages 193-204

      The Influence of Functional Decomposition on Modern Digital Design Process

  5. System Engineering for Embedded Systems

    1. Front Matter

      Pages 205-205

    2. No Access

      Book Chapter

      Pages 207-219

      Development of Embedded Systems Using Oort

    3. No Access

      Book Chapter

      Pages 221-230

      Optimizing Communication Architectures for Parallel Embedded Systems

    4. No Access

      Book Chapter

      Pages 231-242

      Remarks on Parallel Bit-Byte CPU Structures of the Programmable Logic Controller

previous Page of 2