Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Titre(s) : Design of embedded control systems [Texte électronique] / Marian Andrzej Adamski, Andrei Karatkevich, and Marek Wegrzyn [editors]
Publication : New York : Springer, 2005
Description matérielle : 1 online resource (xi, 267 pages)
Note(s) : Includes bibliographical references and index. - Print version record.
"This volume presents new results in the design of embedded control systems, each
chapter authored by an expert. The text focuses on current issues with new approaches
for the analysis and synthesis of discrete systems and is aimed at programmable logic
controllers and their specification and design. The book is a useful reference for
engineers and academics working on the design of embedded systems and logical control,
and can serve as supplemental reading for courses on Embedded Systems, CAD of Discrete
Devices, Programming of Logical Controllers, and Logical Systems."--Jacket
Autre(s) auteur(s) : Adamski, Marian. Fonction indéterminée
Karatkevich, Andrei. Fonction indéterminée
Węgrzyn, Marek. Fonction indéterminée
Sujet(s) : Systèmes embarqués (informatique)
Systèmes informatiques
Ingénierie
Indice(s) Dewey :
629.8 (23e éd.) = Technique de la commande automatique
Identifiants, prix et caractéristiques : ISBN 9780387283272
Identifiant de la notice : ark:/12148/cb44641894h
Notice n° :
FRBNF44641894
(notice reprise d'un réservoir extérieur)
Table des matières : 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 ; Implementin