Cited By
View all- Cai KWang X(2004)Towards a Control-Theoretical Approach to Software Fault-ToleranceProceedings of the Quality Software, Fourth International Conference10.5555/1018442.1022072(198-205)Online publication date: 8-Sep-2004
A temporal logic approach to discrete event control for the safety canonical class
Authors: 
Kiam Tian Seow and R. DevanathanAuthors Info & Claims
Kiam Tian Seow and R. DevanathanAuthors Info & ClaimsPages 205 - 217
Abstract
No abstract available.
Index Terms
- A temporal logic approach to discrete event control for the safety canonical class
Recommendations
Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
The supervisory control problem of discrete event systems with temporal logic specifications is studied. The full branching time logic of CTL* is used for expressing specifications of discrete event systems. The control problem of CTL* is reduced to the ...
Supervisory control of fuzzy discrete event systems
To cope with situations in which a plant's dynamics are not precisely known, we consider the problem of supervisory control for a class of discrete event systems modeled by fuzzy automata. The behavior of such discrete event systems is described by ...
Decentralized Supervisory Control of Discrete Event Systems Based on Reinforcement Learning
A supervisor proposed by Ramadge and Wonham controls a discrete event system (DES) so as to satisfy logical control specifications. However a precise description of both the specifications and the DES is needed for the control. This paper proposes a ...
Comments
Information & Contributors
Information
Published In
Aug. 19, 1996
54 pages
Publisher
Elsevier Science Publishers B. V.
Netherlands
Publication History
Published: 19 August 1996
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
Cited By
View all- Cai KWang X(2004)Towards a Control-Theoretical Approach to Software Fault-ToleranceProceedings of the Quality Software, Fourth International Conference10.5555/1018442.1022072(198-205)Online publication date: 8-Sep-2004
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in