The Springer International Series in Engineering and Computer Science

Modeling and Control of Logical Discrete Event Systems

Authors: Kumar, Ratnesh, Garg, Vijay K.

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-1-4615-2217-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $179.00
price for USA
  • ISBN 978-0-7923-9538-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $139.00
price for USA
  • ISBN 978-1-4613-5931-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The field of discrete event systems has emerged to provide a formal treatment of many of the man-made systems such as manufacturing systems, communica­ tion networks. automated traffic systems, database management systems, and computer systems that are event-driven, highly complex, and not amenable to the classical treatments based on differential or difference equations. Discrete event systems is a growing field that utilizes many interesting mathematical models and techniques. In this book we focus on a high level treatment of discrete event systems. where the order of events. rather than their occurrence times, is the principal concern. Such treatment is needed to guarantee that the system under study meets desired logical goals. In this framework, dis­ crete event systems are modeled by formal languages or, equivalently, by state machines. The field of logical discrete event systems is an interdisciplinary field-it in­ cludes ideas from computer science, control theory, and operations research. Our goal is to bring together in one book the relevant techniques from these fields. This is the first book of this kind, and our hope is that it will be useful to professionals in the area of discrete event systems since most of the material presented has appeared previously only in journals. The book is also designed for a graduate level course on logical discrete event systems. It contains all the necessary background material in formal language theory and lattice the­ ory. The only prerequisite is some degree of "mathematical maturity".

Table of contents (5 chapters)

  • Introduction to Formal Language Theory

    Kumar, Ratnesh (et al.)

    Pages 1-34

  • Introduction to Lattice Theory

    Kumar, Ratnesh (et al.)

    Pages 35-61

  • Control under Complete Observation

    Kumar, Ratnesh (et al.)

    Pages 62-86

  • Control under Partial Observation

    Kumar, Ratnesh (et al.)

    Pages 87-114

  • Control of Non-Terminating Behavior

    Kumar, Ratnesh (et al.)

    Pages 115-136

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-1-4615-2217-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $179.00
price for USA
  • ISBN 978-0-7923-9538-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $139.00
price for USA
  • ISBN 978-1-4613-5931-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Modeling and Control of Logical Discrete Event Systems
Authors
Series Title
The Springer International Series in Engineering and Computer Science
Series Volume
300
Copyright
1995
Publisher
Springer US
Copyright Holder
Springer Science+Business Media New York
eBook ISBN
978-1-4615-2217-1
DOI
10.1007/978-1-4615-2217-1
Hardcover ISBN
978-0-7923-9538-6
Softcover ISBN
978-1-4613-5931-9
Series ISSN
0893-3405
Edition Number
1
Number of Pages
XIII, 143
Topics