Skip to main content
SpringerLink
Log in

Design of Embedded Control Systems

  • Book
  • © 2005

Overview

Authors:
  1. Marian Andrzej Adamski

    1. University of Zielona Gora, Poland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Andrei Karatkevich

    1. University of Zielona Gora, Poland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Marek Wegrzyn

    1. University of Zielona Gora, Poland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Offers state-of-the-art results in the design of embedded control systems
  • Each chapter focuses on a particular design/specification issue of programmable logic controllers discussed by an expert on the topic
  • A useful reference for control engineers and instructors, students in embedded systems
  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Specification of Concurrent Embedded Control Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Using Sequents for Description of Concurrent Digital Systems Behavior

      • Arkadij Zakrevskij
      Pages 3-13

    3. Formal Logic Design of Reprogrammable Controllers

      • Marian Adamski
      Pages 15-26

    4. Hierarchical Petri Nets for Digital Controller Design

      • Grzegorz Andrzejewski
      Pages 27-36

  3. Analysis and Verification of Discrete-Event Systems

    1. Front Matter

      Pages 37-37
      Download chapter PDF

    2. WCET Prediction for Embedded Processors Using an ADL

      • Adriano Tavares, Carlos Silva, Carlos Lima, José Metrolho, Carlos Couto
      Pages 39-50

    3. Verification of Control Paths Using Petri Nets

      • Torsten Schober, Andreas Reinsch, Werner Erhard
      Pages 51-62

    4. Memory-Saving Analysis of Petri Nets

      • Andrei Karatkevich
      Pages 63-72

    5. Symbolic State Exploration of UML Statecharts for Hardware Description

      • Grzegorz Łabiak
      Pages 73-83

    6. Calculating State Spaces of Hierarchical Petri Nets Using BDD

      • Piotr Miczulski
      Pages 85-94

    7. A New Approach to Simulation of Concurrent Controllers

      • Agnieszka Węgrzyn, Marek Węgrzyn
      Pages 95-108

  4. Synthesis of Concurrent Embedded Control Systems

    1. Front Matter

      Pages 109-109
      Download chapter PDF

    2. Optimal State Assignment of Synchronous Parallel Automata

      • Yury Pottosin
      Pages 111-124

    3. Optimal State Assignment of Asynchronous Parallel Automata

      • Ljudmila Cheremisinova
      Pages 125-137

    4. Design of Embedded Control Systems Using Hybrid Petri Nets

      • Thorsten Hummel, Wolfgang Fengler
      Pages 139-149

  5. Implementation of Discrete-Event Systems in Programmable Logic

    1. Front Matter

      Pages 151-151
      Download chapter PDF

    2. Structuring Mechanisms in Petri Net Models

      • Luís Gomes, João Paulo Barros, Anikó Costa
      Pages 153-166

    3. Implementing a Petri Net Specification in a FPGA Using VHDL

      • Enrique Soto, Miguel Pereira
      Pages 167-174

    4. Finite State Machine Implementation in FPGAs

      • Hana Kubátová
      Pages 175-184
Back to top

Keywords

About this book

A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book. These concern different aspects of such important and long-term design problems, including the following, which seem to be the main ones. First, the behavior of a device under design must be described properly, and some adequate formal language should be chosen for that. Second, effective algorithmsshouldbeusedforcheckingtheprepareddescriptionforcorrectness, foritssyntacticandsemanticveri?cationattheinitialbehaviorlevel.Third,the problem of logic circuit implementation must be solved using some concrete technological base; ef?cient methods of logic synthesis, test, and veri?cation should be developed for that. Fourth, the task of the communication between the control device and controlled objects (and maybe between different control devices)waitsforitssolution.Alltheseproblemsarehardenoughandcannotbe successfully solved without ef?cient methods and algorithms oriented toward computer implementation. Some of these are described in this book. The languages used for behavior description have been descended usually from two well-known abstract models which became classic: Petri nets and ?nite state machines (FSMs). Anyhow, more detailed versions are developed and described in the book, which enable to give more complete information concerningspeci?cqualitiesoftheregardedsystems.Forexample,themodelof parallelautomatonispresented,whichunliketheconventional?niteautomaton can be placed simultaneously into several places, calledpartial. As a base for circuit implementation of control algorithms, FPGA is accepted in majority of cases.

Authors and Affiliations

  • University of Zielona Gora, Poland

    Marian Andrzej Adamski, Andrei Karatkevich, Marek Wegrzyn

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation