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...
Uloženo v:
| Hlavní autoři: | , , |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
New York, NY :
Springer US
2005.
Cham : Springer Nature |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Design of Embedded Control Systems, Texte imprimé, 9780387236308 • Design of Embedded Control Systems, Texte imprimé, 9780387503585 • Design of Embedded Control Systems, Texte imprimé, 9781441936462 |
Obsah:
- 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.