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...
Κύριοι συγγραφείς: | , , |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | 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.