Shengbing Jiang, Ratnesh Kumar  Home/Search
Context Related
| uky.edu/~kumar/PUBS/ctl1.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uky.edu/~kumar/jpub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Supervisory control problem of discrete event systems with temporal logic specifications is studied in this paper. The full branching time logic{CTL* is used for expressing specifications of discrete event systems. The control problem of CTL* is reduced to the decision problem of CTL*. A small model theorem for the control of CTL* is obtained. It is shown that the control problem of CTL* (resp., CTL) is complete for deterministic double (resp., single) exponential time. A sound and complete... (Update)
Context of citations to this paper: More
...cation into temporal logic one is quite straightforward. Temporal logic has been used in the analysis and control of DES [26, 16, 19, 20, 1, 15, 25, 14]; and it has also been used as a modeling formalism for diagnosing DESs in [7] However, to the best knowledge of the...
...of decentralized control. Other re lated approaches to problems of decentralized control of discrete event systems include [6, 22, 5, 19]. a) H Figure 1: a) Centralized architecture, where the product of hybrid systems T1 and T2 is regarded as a single system. b)...
Cited by: More
Linear Time Logic Control of Linear Systems - Tabuada, Pappas (Correct)
Discrete synchronization of hybrid systems I - Tabuada, Pappas (Correct)
Failure Diagnosis of Discrete Event Systems with Linear-time.. - Jiang, Kumar (2001) (Correct)
Active bibliography (related documents): More All
0.5: An Intelligent Environment For Simulating Mechanical Assembly.. - Gupta, al. (1998) (Correct)
0.4: A Method for the Automatic Derivation of Controllers.. - Barbeau, Kabanza.. (Correct)
0.3: Open Systems in Reactive Environments: Control and.. - Kupferman, Madhusudan, .. (2000) (Correct)
Similar documents based on text: More All
0.4: Diagnosis of Repeated Failures For Discrete Event - Systems With Linear-Time (Correct)
0.4: Optimal Sensor Selection for Discrete Event Systems with.. - Jiang, Kumar (Correct)
0.2: extended Computation Tree Logic - Roch (2000) (Correct)
Related documents from co-citation: More All
2: Undecidable Problems in Decentralized Observation and Control - Tripakis - 2001
2: An invariant based approach to the design of hybrid control systems containing c.. - Stiver, Antsaklis et al. - 1995
2: Synthesis of Communication Processes from Temporal Logic Specifications (context) - Manna, Wolper - 1984
BibTeX entry: (Update)
S. Jiang and R. Kumar. Supervisory control of discrete event systems with CTL* temporal logic specications. IEEE Trans. on Automatic Control, submitted. http://citeseer.ist.psu.edu/447912.html More
@misc{ jiang-supervisory,
author = "S. Jiang and R. Kumar",
title = "Supervisory control of discrete event systems with CTL* temporal logic
specications",
text = "IEEE Trans. on Automatic Control, submitted.",
url = "citeseer.ist.psu.edu/447912.html" }
Citations (may not include all citations):828 Model Checking - Clarke, Orna et al. - 1999
725 Temporal and Modal logic (context) - Emerson - 1990
234 Supervisory control of a class of discrete event processes (context) - Ramadge, Wonham - 1987
131 The complexity of tree automata and logics of programs (context) - Emerson, Jutla - 1988
70 Introduction to discrete event systems (context) - Cassandras, Lafortune - 1999
52 Modeling and Control of Logical Discrete Event Systems (context) - Kumar, Garg - 1995
45 Deciding full branching time logic (context) - Emerson, Sistla - 1984
34 automatic verication of linear temporal logic (context) - Gerth, Peled et al. - 1995
24 on Foundations of Computer Science (context) - Pnueli, logic et al. - 1977
19 the Foundations of Computer Science (context) - Safra, complexity et al. - 1988
17 Lecture Notes in Computer Science (context) - Emerson, tableaux et al. - 1985
15 Control problems in a temporal logic framework (context) - Thistle, Wonham - 1986
13 on and Y. J. Halpern. \Sometimes" and \Not Never (context) - Emers - 1986
5 A method for the synthesis of controllers to handle safety (context) - Barbeau, Kabanza et al. - 1998
4 A Reachability Synthesis Procedure for Discrete Event System.. (context) - Lin, Inoescu - 1994
4 Synthesis of controllers for real-time discrete event system.. (context) - Ostro - 1989
3 Analysis and synthesis of discrete event systems using tempo.. (context) - Lin - 1993
3 Control of innite behavior of nite automata (context) - Thistle, Wonham - 1994
3 A temporal logic approach to discrete event control for the .. (context) - Seow, Devanathan - 1996
3 Synthesis and verication of discrete controllers for robotic.. (context) - Antoniotti - 1995
2 Temporal framework for assembly sequence representation and .. (context) - Seow, Devanathan - 1994
2 Decidability for a temporal logic used in discrete-event sys.. (context) - Knight, Passino - 1990
1 Introduction to Modal Logic (context) - Hugghes, Creswell - 1977
1 Verifying a class of nondeterministic discrete event systems.. (context) - Lin, Inoescu - 1992
Documents on the same site (http://www.engr.uky.edu/~kumar/jpub.html): More
An Integer Programming Approach to Placement and Routing in .. - Kumar, Leong, Heath (Correct)
On Supervisory Control of Sequential Behaviors - Kumar, Garg (1992) (Correct)
A Discrete Event Systems Approach for Protocol Conversion - Kumar, Nelvagal, Marcus (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC