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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Adamski, Marian Andrzej (Συγγραφέας), Karatkevich, Andrei (Συγγραφέας), Wegrzyn, Marek (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Boston, MA : Springer US, 2005.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.