Design of Embedded Control Systems
(Sprache: Englisch)
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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
106.99 €
Produktdetails
Produktinformationen zu „Design of Embedded Control Systems “
Klappentext zu „Design of Embedded Control Systems “
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.
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.
Inhaltsverzeichnis zu „Design of Embedded Control Systems “
- 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
Bibliographische Angaben
- 2010, Softcover reprint of hardcover 1st ed. 2005, XI, 267 Seiten, Maße: 15,7 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Marian Andrzej Adamski, Andrei Karatkevich, Marek Wegrzyn
- Verlag: Springer, Berlin
- ISBN-10: 1441936467
- ISBN-13: 9781441936462
Sprache:
Englisch
Kommentar zu "Design of Embedded Control Systems"
0 Gebrauchte Artikel zu „Design of Embedded Control Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Design of Embedded Control Systems".
Kommentar verfassen