Design of Embedded Control Systems (Record no. 593)

000 -LEADER
fixed length control field 05147nam a22006015i 4500
001 - CONTROL NUMBER
control field 978-0-387-28327-2
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20141014113429.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100301s2005 xxu| s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780387283272
-- 978-0-387-28327-2
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/0-387-28327-7
Source of number or code doi
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TJ210.2-211.495
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TJ163.12
072 #7 - SUBJECT CATEGORY CODE
Subject category code TJFM
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code TJFD
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code TEC004000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code TEC037000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 629.8
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Adamski, Marian Andrzej.
Relator term author.
245 10 - TITLE STATEMENT
Title Design of Embedded Control Systems
Medium [electronic resource] /
Statement of responsibility, etc by Marian Andrzej Adamski, Andrei Karatkevich, Marek Wegrzyn.
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Boston, MA :
Name of publisher, distributor, etc Springer US,
Date of publication, distribution, etc 2005.
264 #1 -
-- Boston, MA :
-- Springer US,
-- 2005.
300 ## - PHYSICAL DESCRIPTION
Extent XI, 267 p.
Other physical details online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Specification of Concurrent Embedded Control Systems -- Using Sequents for Description of Concurrent Digital Systems Behavior -- Formal Logic Design of Reprogrammable Controllers -- Hierarchical Petri Nets for Digital Controller Design -- Analysis and Verification of Discrete-Event Systems -- WCET Prediction for Embedded Processors Using an ADL -- Verification of Control Paths Using Petri Nets -- Memory-Saving Analysis of Petri Nets -- Symbolic State Exploration of UML Statecharts for Hardware Description -- Calculating State Spaces of Hierarchical Petri Nets Using BDD -- A New Approach to Simulation of Concurrent Controllers -- Synthesis of Concurrent Embedded Control Systems -- Optimal State Assignment of Synchronous Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded Control Systems Using Hybrid Petri Nets -- Implementation of Discrete-Event Systems in Programmable Logic -- Structuring Mechanisms in Petri Net Models -- Implementing a Petri Net Specification in a FPGA Using VHDL -- Finite State Machine Implementation in FPGAs -- Block Synthesis of Combinational Circuits -- The Influence of Functional Decomposition on Modern Digital Design Process -- System Engineering for Embedded Systems -- Development of Embedded Systems Using Oort -- Optimizing Communication Architectures for Parallel Embedded Systems -- Remarks on Parallel Bit-Byte CPU Structures of the Programmable Logic Controller -- FPGA Implementation of Positional Filters -- A Methodology for Developing IP Cores that Replace Obsolete ICS.
520 ## - SUMMARY, ETC.
Summary, etc 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.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Microprogramming.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer aided design.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Physics.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Control engineering systems.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Engineering.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Control , Robotics, Mechatronics.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Control Structures and Microprogramming.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer-Aided Engineering (CAD, CAE) and Design.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Processor Architectures.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Complexity.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Karatkevich, Andrei.
Relator term author.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Wegrzyn, Marek.
Relator term author.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9780387236308
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/0-387-28327-7
912 ## -
-- ZDB-2-ENG
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-Books

No items available.


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha