Introduction to Discrete Event Systems / Edition 1

Introduction to Discrete Event Systems / Edition 1

by Christos G. Cassandras, Stephane Lafortune
     
 

ISBN-10: 0792386094

ISBN-13: 9780792386094

Pub. Date: 01/28/1999

Publisher: Springer-Verlag New York, LLC

Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language

Overview

Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queuing theory, discrete-event simulation, and concurrent estimation techniques. This edition includes recent research results pertaining to the diagnosis of discrete event systems, decentralized supervisory control, and interval-based timed automata and hybrid automata models.

Product Details

ISBN-13:
9780792386094
Publisher:
Springer-Verlag New York, LLC
Publication date:
01/28/1999
Series:
International Series on Discrete Event Dynamic Systems
Edition description:
Older Edition
Pages:
828
Product dimensions:
6.48(w) x 9.58(h) x 1.78(d)

Table of Contents

Preface – Second Edition.- Preface.- 1 Systems and Models: Introduction.- System and Control Basics.- Discrete Event Systems.- Summary of System Classifications.- The Goals of System Theory.- Summary.- Problems.- Selected References.- 2 Languages and Automata: Introduction.- The Concepts of Languages and Automata.- Operations on Automata.- Finite-State Automata.- Analysis of Discrete-Event Systems.- Summary.- Problems.- Selected References.- 3 Supervisory Control: Introduction.- Feedback Control with Supervisors.- Specifications on Controlled System.- Control with Partial Controllability.- Nonblocking Control.- Control with Modular Specifications.- Control Under Partial Observation.- Decentralized Control.- Summary.- Problems.- Selected References.- 4 Petri Nets: Introduction.- Petri Net Basics.- Comparison of Petri Nets and Automata.- Analysis of Petri Nets.- Control of Petri Nets.- Summary.- Problems.- Selected References.- 5 Timed and Hybrid Models: Introduction.- Timed Automata.- Timed Petri Nets.- Dioid Algebras.- Alternative Timed Models.- Timed Automata with Guards.- Hybrid Models.- Summary.- Problems.- Selected References.- 6 Stochastic Timed Automata: Introduction.- Stochastic Process Basics.- Stochastic Clock Structures.- Stochastic Timed Automata.- The Generalized Semi-Markov Process.- The Poisson Counting Process.- Properties of the Poisson Process.- Automata with Poisson Clock Structure.- Extensions of the GSMP.- Summary.- Problems.- Selected References.- 7 Markov Chains: Introduction.- Discrete-Time Markov Chains.- Continuous-Time Markov Chains.- Birth-Death Chains.- Uniformization of Markov Chains.- Summary.-Problems.- Selected References.- 8 Introduction to Queueing Theory: Introduction.- Specification of Queueing Models.- Performance of a Queueing System.- Queueing System Dynamics.- Little's Law.- Simple Markovian Queueing Systems.- Markovian Queueing Networks.- Non-Markovian Queueing Systems.- Summary.- Problems.- Selected References.- 9 Controlled Markov Chains: Introduction.- Applying 'Control' in Markov Chains.- Markov Decision Processes.- Solving Markov Decision Problems.- Control of Queueing Systems.- Summary.- Problems.- Selected References.- 10 Introduction to Discrete-Event Simulation: Introduction.- The Event Scheduling Scheme.- The Process-Oriented Simulation Scheme.- Discrete-Event Simulation Languages.- Random Number Generation.- Random Variate Generation.- Output Analysis.- Summary.- Problems.- Selected References.- 11 Sensitivity Analysis and Concurrent Estimation: Introduction.- Sample Functions and Their Derivatives.- Perturbation Analysis: Some Key Ideas.- PA of GI/G/1 Queueing Systems.- IPA for Stochastic Timed Automata.- Sensitivity Estimation Revisited.- Extensions of IPA.- Smoothed Perturbation Analysis (SPA).- IPA for Stochastic Hybrid Automata.- PA for Finite Parameter Changes.- Concurrent Estimation.- Summary.- Problems.- Selected References.- I: Review of Probability Theory: Basic Concepts and Definitions.- Conditional Probability.- Random Variables.- Conditional Distributions.- Functions of Random Variables.- Expectation.- Characteristic Functions.- Random Sequences and Random Processes.- II: IPA Estimator.- Index.- About the Authors.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >