Normal view MARC view ISBD view

Design of Embedded Control Systems [electronic resource] /by Marian Andrzej Adamski, Andrei Karatkevich, Marek Wegrzyn.

by Adamski, Marian Andrzej [author.]; Karatkevich, Andrei [author.]; Wegrzyn, Marek [author.]; SpringerLink (Online service).
Material type: materialTypeLabelBookPublisher: Boston, MA : Springer US, 2005.Description: XII, 268 p. 20 illus. online resource.ISBN: 9780387283272.Subject(s): Engineering | Microprogramming | Computer science | Computer aided design | Physics | Control engineering systems | Engineering | Control , Robotics, Mechatronics | Control Structures and Microprogramming | Computer-Aided Engineering (CAD, CAE) and Design | Processor Architectures | ComplexityDDC classification: 629.8 Online resources: Click here to access online
Contents:
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.
In: Springer eBooksSummary: 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.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
TJ163.12 (Browse shelf) Available
Long Loan MAIN LIBRARY
TJ210.2-211.495 (Browse shelf) Available

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.

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.

There are no comments for this item.

Log in to your account to post a comment.
@ Jomo Kenyatta University Of Agriculture and Technology Library

Powered by Koha