.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Design of Embedded Control Systems
. Ed(S): Adamski, Marian Andrzej; Karatkevich, Andrei; Wegrzyn, Marek
€ 133.13
FREE Delivery in Ireland
Description for Design of Embedded Control Systems
Hardback. Presents new results in the design of embedded control systems, each chapter authored by an expert. This text focuses on issues with approaches for the analysis and synthesis of discrete systems and is aimed at programmable logic controllers and their specification and design. It is useful for engineers and academics. Editor(s): Adamski, Marian Andrzej; Karatkevich, Andrei; Wegrzyn, Marek. Num Pages: 267 pages, biography. BIC Classification: THR; UGC; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 576.
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 ... Read more
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 ... Read more
Product Details
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
267
Condition
New
Number of Pages
267
Place of Publication
New York, NY, United States
ISBN
9780387236308
SKU
V9780387236308
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Design of Embedded Control Systems