Design of Embedded Control Systems

• Κύριοι συγγραφείς: Adamski, Marian Andrzej (Συγγραφέας), Karatkevich, Andrei (Συγγραφέας), Wegrzyn, Marek (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2005.
• Θέματα: Engineering.; Microprogramming.; Microprocessors.; Computer-aided engineering.; Control engineering.; Robotics.; Mechatronics.; Electrical engineering.; Control.; Electrical Engineering.; Computer-Aided Engineering (CAD, CAE) and Design.; Control, Robotics, Mechatronics.; Control Structures and Microprogramming.; Processor Architectures.

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...

Πίνακας περιεχομένων:

• 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.