JOURNAL ARTICLE
Online supervision of discrete event systems
Rajinderjeet Singh MinhasW.M. Wonham
Year: 2004 Vol: 2 Pages: 1685-1690
Abstract
This paper considers complex systems whose complexity is the result of the interactions of a number of subsystems. For such systems, a modular approach is presented to check the controllability of a specification with respect to a plant. This reduces the space complexity of checking the controllability from O(IXG'IIXSI) to O(nIXG')IXSI). The paper also presents an online modular approach to suprema1 supervisor synthesis.
Keywords:
Computer science Event (particle physics) Discrete event simulation Distributed computing Simulation
Metrics
5
Cited By
0.67
FWCI (Field Weighted Citation Impact)
5
Refs
0.66
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Petri Nets in System Modeling
Physical Sciences → Computer Science → Computational Theory and Mathematics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Distributed systems and fault tolerance
Physical Sciences → Computer Science → Computer Networks and Communications
Related Documents
BOOK-CHAPTER
Supervision of Discrete-Event Systems: Basics
Communications and control engineering/Communications and control engineering series Year: 2018 Pages: 85-146
BOOK-CHAPTER
Supervision of Vector Discrete-Event Systems
Communications and control engineering/Communications and control engineering series Year: 2018 Pages: 361-410
BOOK-CHAPTER
Hierarchical Supervision of Discrete-Event Systems
Communications and control engineering/Communications and control engineering series Year: 2018 Pages: 205-255
JOURNAL ARTICLE
Supervision localization of timed discrete-event systems
Renyuan ZhangKai CaiYongmei GanZhaoan WangW.M. Wonham
Journal: Automatica Year: 2013 Vol: 49 (9)Pages: 2786-2794
JOURNAL ARTICLE
Supervision Patterns in Discrete Event Systems Diagnosis
Thierry JéronHervé MarchandSophie PinchinatMarie-Odile Cordier
Year: 2006 Pages: 262-268