Cover Image

Synthesis and Control of Discrete Event Systems /

The first motivation of Synthesis and Control of Discrete Event Systems is to inform the reader of recent developments and current trends in system synthesis. This is a field of active research aiming to supply efficient techniques for developing safe systems in various areas, covering control of em...

Full description

Bibliographic Details
Main Author:	Caillaud, Benoît
Corporate Author:	SpringerLink (Online service)
Other Authors:	Darondeau, Philippe, Lavagno, Luciano, Xie, Xiaolan
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2002.
Subjects:	Engineering. Computer-aided design. System theory. Machinery. Computer engineering. Systems engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

System Synthesis with VHDL /
by: Eles, Petru
Published: (1998)

Concurrent and Comparative Discrete Event Simulation /
by: Ulrich, Ernst G.
Published: (1994)

A Priori Wire Length Estimates for Digital Design /
by: Stroobandt, Dirk
Published: (2001)

Behavioral Synthesis and Component Reuse with VHDL /
by: Jerraya, Ahmed A.
Published: (1997)

The Synthesis Approach to Digital System Design /
by: Michel, Petra
Published: (1992)

Logic Synthesis for Control Automata /
by: Baranov, S. I. (Samariĭ Iosifovich)
Published: (1994)

High - Level Synthesis : Introduction to Chip and System Design /
by: Gajski, Daniel D.
Published: (1992)

Co-Synthesis of Hardware and Software for Digital Embedded Systems /
by: Gupta, Rajesh Kumar
Published: (1995)

Representations of Discrete Functions /
by: Sasao, Tsutomu
Published: (1996)

Logic Synthesis and Verification /
by: Hassoun, Soha
Published: (2002)

Circuit Synthesis with VHDL /
by: Airiau, Roland
Published: (1994)

Sequential Logic Synthesis /
by: Ashar, Pranav
Published: (1992)

Logic Synthesis and Optimization /
by: Sasao, Tsutomu
Published: (1993)

Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench /
by: Thomas, D. E.
Published: (1990)

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods /
by: Chang, Jui-Ming
Published: (1999)

Logic Synthesis Using Synopsys® /
by: Kurup, Pran
Published: (1996)

High-Level VLSI Synthesis /
by: Camposano, Raul
Published: (1991)

Artificial Neural Networks for Modelling and Control of Non-Linear Systems /
by: Suykens, Johan A. K.
Published: (1996)

Understanding Behavioral Synthesis : a Practical Guide to High-Level Design /
by: Elliott, John P.
Published: (1999)

Synthesis of Finite State Machines : Functional Optimization /
by: Kam, Timothy
Published: (1997)

Synthesis of Finite State Machines : Logic Optimization /
by: Villa, Tiziano
Published: (1997)

Optimal VLSI Architectural Synthesis : Area, Performance and Testability /
by: Gebotys, Catherine H.
Published: (1992)

VLSI Synthesis of DSP Kernels : Algorithmic and Architectural Transformations /
by: Mehendale, Manesh
Published: (2001)

Algorithms for Synthesis and Testing of Asynchronous Circuits /
by: Lavagno, Luciano
Published: (1993)

VHDL Modeling for Digital Design Synthesis /
by: Hsu, Yu-Chin
Published: (1995)

System Design : a Practical Guide with SpecC /
by: Gerstlauer, Andreas
Published: (2001)

Advanced ASIC Chip Synthesis : Using Synopsys® Design CompilerTM and PrimeTime® /
by: Bhatnagar, Himanshu
Published: (1999)

Design Automation for Timing-Driven Layout Synthesis /
by: Sapatnekar, Sachin S.
Published: (1993)

Practical Synthesis of High-Performance Analog Circuits /
by: Ochotta, Emil S.
Published: (1998)

Logic Synthesis for Low Power VLSI Designs /
by: Iman, Sasan
Published: (1998)

Logic Synthesis for Field-Programmable Gate Arrays /
by: Murgai, Rajeev
Published: (1995)

VHDL and FPLDs in Digital Systems Design, Prototyping and Customization /
by: Salcic, Zoran
Published: (1998)

Reuse Methodology Manual for System-on-a-Chip Designs /
by: Keating, Michael, 1950 May 2-
Published: (1998)

A Practical Guide to Analog Behavioral Modeling for IC System Design /
by: Duran, Paul A.
Published: (1998)

High Level Synthesis of ASICs under Timing and Synchronization Constraints /
by: Ku, David C.
Published: (1992)

High-Level Synthesis for Real-Time Digital Signal Processing /
by: Vanhoof, Jan
Published: (1993)

Switching Theory for Logic Synthesis /
by: Sasao, Tsutomu
Published: (1999)

Synthesis of Power Distribution to Manage Signal Integrity in Mixed-Signal ICs /
by: Stanisic, Balsha R.
Published: (1996)

Accelerator Data-Path Synthesis for High-Throughput Signal Processing Applications /
by: Geurts, Werner
Published: (1997)

Reuse Methodology Manual : For System-on-a-Chip Designs /
by: Keating, Michael, 1950 May 2-
Published: (1999)