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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Adamski, Marian Andrzej (Editor ), Karatkevich, Andrei (Editor ), Wegrzyn, Marek (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Temas:
Control engineering.
Electrical engineering.
Computer-aided engineering.
Robotics.
Automation.
Microprogramming .
Microprocessors.
Computer architecture.
Control and Systems Theory.
Electrical and Electronic Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Control, Robotics, Automation.
Control Structures and Microprogramming.
Processor Architectures.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares