2005
Design of Embedded Control Systems Authors:

• Marian Andrzej Adamski,
• Andrei Karatkevich,
• Marek Wegrzyn
• …show all 3hide
  

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

About this book

This volume presents new results in the design of embedded control systems, each chapter authored by an expert. The text focuses on current issues with new approaches for the analysis and synthesis of discrete systems and is aimed at programmable logic controllers and their specification and design. The book is a useful reference for engineers and academics working on the design of embedded systems and logical control, and can serve as supplemental reading for courses on Embedded Systems, CAD of Discrete Devices, Programming of Logical Controllers, and Logical Systems.

Table of contents / Sample pages From the contents:
Section I: Specification of Concurrent Embedded Control Systems.- Section II: Analysis and Verification of Discrete-Event Systems.- Section III: Synthesis of Concurrent Embedded Control Systems.- Section IV: Implementation of Discrete-Event Systems in Programmable Logic.- Section V: System Engineering for Embedded Systems.- Index.