Design of Embedded Control Systems
157.15 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10317200
Beschreibung
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.
Eigenschaften
Breite: | 155 |
Höhe: | 235 |
Seiten: | 267 |
Sprachen: | Englisch |
Autor: | Andrei Karatkevich, Marek Wegrzyn, Marian Andrzej Adamski |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen