ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Supervisory control of discrete event systems with CTL* temporal logic specifications
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)
◽
10.1109/cdc.2001.980826
◽
2003
◽
Cited By ~ 6
Author(s):
Shengbing Jiang
◽
R. Kumar
Keyword(s):
Temporal Logic
◽
Supervisory Control
◽
Discrete Event Systems
◽
Discrete Event
◽
Event Systems
Download Full-text
Related Documents
Cited By
References
Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
SIAM Journal on Control and Optimization
◽
10.1137/s0363012902409982
◽
2006
◽
Vol 44
(6)
◽
pp. 2079-2103
◽
Cited By ~ 55
Author(s):
Shengbing Jiang
◽
Ratnesh Kumar
Keyword(s):
Temporal Logic
◽
Supervisory Control
◽
Discrete Event Systems
◽
Discrete Event
◽
Event Systems
Download Full-text
Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation
IEEE Transactions on Automatic Control
◽
10.1109/tac.2020.3037156
◽
2020
◽
pp. 1-1
Author(s):
Kiam Tian Seow
Keyword(s):
Temporal Logic
◽
Supervisory Control
◽
Discrete Event Systems
◽
Discrete Event
◽
Event Systems
Download Full-text
Fault-tolerant supervisory control of discrete-event systems
10.31274/etd-180810-2755
◽
2009
◽
Author(s):
Qin Wen
Keyword(s):
Supervisory Control
◽
Discrete Event Systems
◽
Fault Tolerant
◽
Discrete Event
◽
Event Systems
Download Full-text
Specification of Intelligent Controllers for Discrete Event Systems in a Temporal Logic Framework
IFAC Proceedings Volumes
◽
10.1016/s1474-6670(17)49868-5
◽
1992
◽
Vol 25
(20)
◽
pp. 237-242
Author(s):
Dan Ionescu
◽
Jing-Yue Lin
◽
Hyung Soo Hwang
Keyword(s):
Temporal Logic
◽
Discrete Event Systems
◽
Discrete Event
◽
Event Systems
◽
Intelligent Controllers
Download Full-text
Strong co-observability conditions for decentralized supervisory control of discrete event systems
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)
◽
10.1109/cdc.2001.980821
◽
2003
◽
Author(s):
S. Takai
◽
T. Ushio
Keyword(s):
Supervisory Control
◽
Discrete Event Systems
◽
Discrete Event
◽
Event Systems
Download Full-text
Intersection-based Decentralized Supervisory Control of Probabilistic Discrete Event Systems
IEEE Transactions on Automatic Control
◽
10.1109/tac.2021.3061673
◽
2021
◽
pp. 1-1
Author(s):
Weilin Deng
◽
Daowen Qiu
◽
Jingkai Yang
Keyword(s):
Supervisory Control
◽
Discrete Event Systems
◽
Discrete Event
◽
Event Systems
Download Full-text
Local Mean Payoff Supervisory Control for Discrete Event Systems
IEEE Transactions on Automatic Control
◽
10.1109/tac.2021.3075186
◽
2021
◽
pp. 1-1
Author(s):
Yiding Ji
◽
Xiang Yin
◽
Stephane Lafortune
Keyword(s):
Supervisory Control
◽
Discrete Event Systems
◽
Discrete Event
◽
Event Systems
◽
Local Mean
◽
Mean Payoff
Download Full-text
Towards probabilistic intrusion detection in supervisory control of discrete event systems
IFAC-PapersOnLine
◽
10.1016/j.ifacol.2020.12.2321
◽
2020
◽
Vol 53
(2)
◽
pp. 1776-1782
Author(s):
Rômulo Meira-Góes
◽
Christoforos Keroglou
◽
Stéphane Lafortune
Keyword(s):
Intrusion Detection
◽
Supervisory Control
◽
Discrete Event Systems
◽
Discrete Event
◽
Event Systems
Download Full-text
Supervisory Control Of Discrete Event Systems Under Nondeterministic Observations
2019 18th European Control Conference (ECC)
◽
10.23919/ecc.2019.8796204
◽
2019
◽
Cited By ~ 1
Author(s):
Lei Zhou
◽
Shaolong Shu
◽
Feng Lin
Keyword(s):
Supervisory Control
◽
Discrete Event Systems
◽
Discrete Event
◽
Event Systems
Download Full-text
Use of a Metric in Supervisory Control of Probabilistic Discrete Event Systems
IFAC Proceedings Volumes
◽
10.3182/20100830-3-de-4013.00037
◽
2010
◽
Vol 43
(12)
◽
pp. 217-222
Author(s):
Vera Pantelic
◽
Mark Lawford
Keyword(s):
Supervisory Control
◽
Discrete Event Systems
◽
Discrete Event
◽
Event Systems
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close