Introduction to Discrete Event Systems
暫譯: 離散事件系統導論

這段文字是對離散事件系統領域的全面介紹，提供了廣泛的內容，使不同背景的讀者都能輕鬆理解。這本書強調了一個統一的建模框架，超越特定的應用領域，以連貫的方式連結以下主題：語言與自動機理論、監督控制、Petri 網理論、馬可夫鏈與排隊理論、離散事件模擬以及並行估計技術。

擴展第三版的特色包括：
- 詳細處理自動機的等價性、事件診斷和去中心化事件診斷
- 處理部分觀察系統的集中式和去中心化控制
- 有關帶有保護的定時自動機（在 Alur-Dill 形式中）和混合自動機的章節
- 混合系統的介紹
- 涵蓋離散事件模擬，包括可用的新軟體工具
- 對離散事件系統及混合系統的敏感度分析的發展

這本經過驗證的教科書對於在控制、通信、計算機工程、計算機科學、製造工程、運籌學和工業工程等多個學科中研究離散事件系統的高級學生和研究人員來說是必不可少的。

​Christos G. Cassandras is Distinguished Professor of Engineering, Professor of Systems Engineering and Professor of Electrical and Computer Engineering at Boston UniversityHe received degrees from Yale University (B.S., 1977), Stanford University (M.S.E.E., 1978), and Harvard University (S.M., 1979; Ph.D., 1982). In 1982-84 he was with ITP Boston, Inc. where he worked on the design of automated manufacturing systems. In 1984-1996 he was a faculty member at the Department of Electrical and Computer Engineering, University of Massachusetts/Amherst. He specializes in the areas of discrete event and hybrid systems, stochastic optimization, and computer simulation, with applications to computer and sensor networks, manufacturing systems, and transportation systems. He has published over 200 refereed papers in these areas, and two textbooks. He has guest-edited several technical journal issues and serves on several journal Editorial Boards. Dr. Cassandras is currently Editor-in-Chief of the IEEE Transactions on Automatic Control and has served as Editor for Technical Notes and Correspondence and Associate Editor. He is a member of the IEEE CSS Board of Governors, chaired the CSS Technical Committee on Control Theory, and served as Chair of several conferences. He has been a plenary speaker at various international conferences, including the American Control Conference in 2001 and the IEEE Conference on Decision and Control in 2002. He is the recipient of several awards, including the 1999 Harold Chestnut Prize (IFAC Best Control Engineering Textbook) for Discrete Event Systems: Modeling and Performance Analysis, and a 1991 Lilly Fellowship. He is a member of Phi Beta Kappa and Tau Beta Pi. He is also a Fellow of the IEEE.++++
Stéphane Lafortune is Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor. He received degrees from Ecole Polytechnique de Montréal (B.Eng., 1980), McGill University (M.Eng., 1982), and the University of California at Berkeley (Ph.D., 1986). He joined the University of Michigan in 1986. He specializes in the areas of discrete event systems, fault diagnosis, supervisory control, and optimization, with applications to communication networks and transportation systems. He has published over 130 refereed papers in these areas, and one textbook. Dr. Lafortune is currently Department Editor of the Journal of Discrete Event Dynamic Systems: Theory and Applications. He served as Associate Editor and Associate-Editor-at-Large of the IEEE Transactions on Automatic Control in the period 1993-1999. He was a plenary speaker at various international meetings, including the 1996 International Workshop on Discrete Event Systems (WODES'96). He is the recipient of several awards, including the 1994 and 2001 George S. Axelby Outstanding Paper Awards from the IEEE Control Systems Society. He is a Fellow of the IEEE.

克里斯托斯·G·卡桑德拉斯是波士頓大學的傑出工程教授、系統工程教授以及電機與計算機工程教授。他於耶魯大學獲得學士學位（B.S.，1977年）、斯坦福大學獲得碩士學位（M.S.E.E.，1978年）以及哈佛大學獲得碩士（S.M.，1979年）和博士學位（Ph.D.，1982年）。在1982年至1984年間，他在ITP Boston, Inc.工作，專注於自動化製造系統的設計。1984年至1996年間，他是馬薩諸塞州大學阿默斯特分校電機與計算機工程系的教職員。他專長於離散事件系統和混合系統、隨機優化以及計算機模擬，並應用於計算機和感測器網絡、製造系統和交通系統。他在這些領域發表了超過200篇經過審核的論文，並出版了兩本教科書。他曾擔任多個技術期刊的客座編輯，並在多個期刊的編輯委員會中任職。卡桑德拉斯博士目前是《IEEE自動控制學報》的主編，並曾擔任技術備忘錄和通訊的編輯及副編輯。他是IEEE控制系統學會（CSS）理事會的成員，曾擔任CSS控制理論技術委員會的主席，並擔任多個會議的主席。他曾在各種國際會議上擔任全體演講者，包括2001年的美國控制會議和2002年的IEEE決策與控制會議。他獲得了多個獎項，包括1999年的哈羅德·切斯特納獎（IFAC最佳控制工程教科書）以表彰《離散事件系統：建模與性能分析》，以及1991年的莉莉獎學金。他是Phi Beta Kappa和Tau Beta Pi的成員，也是IEEE的會士。

斯特凡·拉福廷是密西根大學安娜堡分校的電機工程與計算機科學教授。他於蒙特利爾理工學院獲得工程學士學位（B.Eng.，1980年）、麥吉爾大學獲得工程碩士學位（M.Eng.，1982年），以及加州大學伯克利分校獲得博士學位（Ph.D.，1986年）。他於1986年加入密西根大學。他專長於離散事件系統、故障診斷、監督控制和優化，並應用於通信網絡和交通系統。他在這些領域發表了超過130篇經過審核的論文，並出版了一本教科書。拉福廷博士目前是《離散事件動態系統：理論與應用》期刊的部門編輯。他在1993年至1999年間擔任《IEEE自動控制學報》的副編輯和特約副編輯。他曾在各種國際會議上擔任全體演講者，包括1996年的離散事件系統國際研討會（WODES'96）。他獲得了多個獎項，包括1994年和2001年的喬治·S·阿克斯比傑出論文獎，這是由IEEE控制系統學會頒發的。他是IEEE的會士。