-
1
-
-
84942214821
-
Adding liveness properties to coupled finite state machines
-
preprint, Murray Hill, NJ
-
S. Aggarwal, C. Coucoubetis, and P. Wolper, “Adding liveness properties to coupled finite state machines,” preprint, AT&T Bell Laboratories, Murray Hill, NJ, 1988.
-
(1988)
AT&T Bell Laboratories
-
-
Aggarwal, S.1
Coucoubetis, C.2
Wolper, P.3
-
2
-
-
0022667867
-
Optimal control of production rate in a failure prone manufacturing system
-
Feb.
-
R. Akella and P. R. Kumar, “Optimal control of production rate in a failure prone manufacturing system,” IEEE Trans. Automat. Contr., vol. 31, no. 2, pp. 116–126, Feb. 1986.
-
(1986)
IEEE Trans. Automat. Contr.
, vol.31
, Issue.2
, pp. 116-126
-
-
Akella, R.1
Kumar, P.R.2
-
3
-
-
0042328557
-
Application of formal language theory to problems of security and synchronization
-
R. V. Book, Ed. New York: Academic Press
-
J. Beauquier and M. Nivat, “Application of formal language theory to problems of security and synchronization,” in Formal Language Theory—Perspective and Open Problems, R. V. Book, Ed. New York: Academic Press, 1980, pp. 407–454.
-
(1980)
Formal Language Theory—Perspective and Open Problems
, pp. 407-454
-
-
Beauquier, J.1
Nivat, M.2
-
4
-
-
0024051030
-
An algebraic model for asynchronous circuits verification
-
July
-
C. Berthet and E. Cerny, “An algebraic model for asynchronous circuits verification,” IEEE Trans. Comput., vol. 37, no. 7, pp. 835–847, July 1988.
-
(1988)
IEEE Trans. Comput.
, vol.37
, Issue.7
, pp. 835-847
-
-
Berthet, C.1
Cerny, E.2
-
5
-
-
84942214822
-
Optimality ot zero inventory policies for unrealiable manufacturing systems
-
preprint, University of Illinois, Urbana, IL
-
T. Bielecki and P. R. Kumar, “Optimality ot zero inventory policies for unrealiable manufacturing systems,” preprint, Dept. Electrical Engineering, University of Illinois, Urbana, IL, 1986.
-
(1986)
Dept. Electrical Engineering
-
-
Bielecki, T.1
Kumar, P.R.2
-
6
-
-
84942214823
-
Optimal routing and flow control of a network of parallel processors
-
preprint, Columbia University, NY, Jan.
-
A. D. Bovopoulos and A. A. Lazar, “Optimal routing and flow control of a network of parallel processors,” preprint, Dept. Electrical Engineering, Columbia University, NY, Jan. 1985.
-
(1985)
Dept. Electrical Engineering
-
-
Bovopoulos, A.D.1
Lazar, A.A.2
-
7
-
-
0020087928
-
Optimal operating rules for automated manufacturing systems
-
Feb.
-
J. A. Buzacott, “Optimal operating rules for automated manufacturing systems,” IEEE Trans. Automat. Contr., vol. 27, no. 2, pp. 80–86, Feb. 1982.
-
(1982)
IEEE Trans. Automat. Contr.
, vol.27
, Issue.2
, pp. 80-86
-
-
Buzacott, J.A.1
-
8
-
-
0024868746
-
On the supremal languages of sublanguages that arise in supervisor synthesis problems with partial observation
-
H. Choand S. J. Marcus, “On the supremal languages of sublanguages that arise in supervisor synthesis problems with partial observation,” Mathematics Contr., Signals Syst., vol. 2, no. 2, pp. 47–69, 1989.
-
(1989)
Mathematics Contr., Signals Syst.
, vol.2
, Issue.2
, pp. 47-69
-
-
Choand, H.1
Marcus, S.J.2
-
9
-
-
0023983510
-
Supervisory control of discrete event processes with partial observations
-
Mar.
-
R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, “Supervisory control of discrete event processes with partial observations,” IEEE Trans. Automat. Contr., vol. 33, no. 3, pp. 249–260, Mar. 1988.
-
(1988)
IEEE Trans. Automat. Contr.
, vol.33
, Issue.3
, pp. 249-260
-
-
Cieslak, R.1
Desclaux, C.2
Fawaz, A.3
Varaiya, P.4
-
10
-
-
0022026963
-
A linear system-theoretic view of discrete event processes and its use for the performance evaluation in manufacturing
-
G. Cohen, D. Dubois, J. P. Quadrat, and M. Voit, “A linear system-theoretic view of discrete event processes and its use for the performance evaluation in manufacturing,” IEEE Trans. Automat. Contr., vol. 30, no. 3, pp. 210–220, 1985.
-
(1985)
IEEE Trans. Automat. Contr.
, vol.30
, Issue.3
, pp. 210-220
-
-
Cohen, G.1
Dubois, D.2
Quadrat, J.P.3
Voit, M.4
-
11
-
-
0022992409
-
A bin packing system for objects with sizes from finite set: necessary and sufficient conditions for stability and some applications
-
(Athens, Greece), Dec.
-
C. A. Courcoubetis and R. R. Weber, “A bin packing system for objects with sizes from finite set: necessary and sufficient conditions for stability and some applications,” in Proc. 25th Conf. Decision and Control, (Athens, Greece), pp. 1686–1691, Dec. 1986.
-
(1986)
Proc. 25th Conf. Decision and Control
, pp. 1686-1691
-
-
Courcoubetis, C.A.1
Weber, R.R.2
-
12
-
-
84976834622
-
Self-stabilizing systems in spiteof distributed control
-
Nov.
-
E. W. Dijkstra, “Self-stabilizing systems in spiteof distributed control,” Commun. ACM, vol. 17, no. 11, pp. 643–644, Nov. 1974.
-
(1974)
Commun. ACM
, vol.17
, Issue.11
, pp. 643-644
-
-
Dijkstra, E.W.1
-
13
-
-
84976731477
-
The consensus problem in unreliable distributed systems (a brief survey)
-
Research Rep. YALEU/DCS/RR-273, Yale University, June
-
M. J. Fisher, “The consensus problem in unreliable distributed systems (a brief survey),” Research Rep. YALEU/DCS/RR-273, Dept. Computer Science, Yale University, June 1983.
-
(1983)
Dept. Computer Science
-
-
Fisher, M.J.1
-
14
-
-
0022045868
-
Impossibility of distributed consensus with one faulty process
-
Apr.
-
M. J. Fisher, N. A. Lynch, and M. S. Patterson, “Impossibility of distributed consensus with one faulty process,” J. ACM, vol. 32, no. 2, pp. 374–382, Apr. 1982.
-
(1982)
J. ACM
, vol.32
, Issue.2
, pp. 374-382
-
-
Fisher, M.J.1
Lynch, N.A.2
Patterson, M.S.3
-
16
-
-
84942214824
-
Logical analysis of digital circuits
-
preprint, Murray Hill, NJ
-
J. Gertner and R. Kurshan, “Logical analysis of digital circuits,” preprint, AT&T Bell Laboratories, Murray Hill, NJ, 1987.
-
(1987)
AT&T Bell Laboratories
-
-
Gertner, J.1
Kurshan, R.2
-
17
-
-
0024173615
-
Mutual exclusion problems for discrete event systems with shared events
-
(Austin, TX), Dec.
-
C. H. Golaszewski and P. J. Ramadge, “Mutual exclusion problems for discrete event systems with shared events,” in Proc. 27th IEEE Conf. Decision and Control (Austin, TX), pp. 234–239, Dec. 1988.
-
(1988)
Proc. 27th IEEE Conf. Decision and Control
, pp. 234-239
-
-
Golaszewski, C.H.1
Ramadge, P.J.2
-
18
-
-
2342530632
-
Discrete event processes with arbitrary controls
-
M. J. Denham and A. J. Laub, Eds., Springer-Verlag NATO ASI Series. New York, NY: Springer Verlag
-
“Discrete event processes with arbitrary controls,” in Advanced Computing Concepts and Techniques in Control Engineering, M. J. Denham and A. J. Laub, Eds., Springer-Verlag NATO ASI Series. New York, NY: Springer Verlag, 1988, pp. 459–469.
-
(1988)
Advanced Computing Concepts and Techniques in Control Engineering
, pp. 459-469
-
-
-
19
-
-
0021439649
-
Optimal control of two interacting service stations
-
June
-
B. Hajek, “Optimal control of two interacting service stations,” IEEE Trans. Automat. Contr., vol. 29, no. 6, pp. 491–499, June 1984.
-
(1984)
IEEE Trans. Automat. Contr.
, vol.29
, Issue.6
, pp. 491-499
-
-
Hajek, B.1
-
20
-
-
0020721162
-
A new approach to the analysis of discrete event dynamic systems
-
Y. C. Ho and C. Cassandras, “A new approach to the analysis of discrete event dynamic systems,” Automatica, vol. 19, no. 2, pp. 149–167, 1983.
-
(1983)
Automatica
, vol.19
, Issue.2
, pp. 149-167
-
-
Ho, Y.C.1
Cassandras, C.2
-
23
-
-
0024048294
-
Finitely recursive process models for discrete event systems
-
July
-
K. Inan and P. Varaiya, “Finitely recursive process models for discrete event systems,” IEEE Trans. Automat. Contr., vol. 33, no. 7, pp. 626–639, July 1988.
-
(1988)
IEEE Trans. Automat. Contr.
, vol.33
, Issue.7
, pp. 626-639
-
-
Inan, K.1
Varaiya, P.2
-
24
-
-
0040185600
-
Reducibility in analysis of coordination
-
Sopron, Hungary, Aug. 3-7
-
R. Kurshan, “Reducibility in analysis of coordination,” in Discrete Event Systems: Models and Applications, IIASA Conference, Sopron, Hungary, Aug. 3-7, 1987
-
(1987)
Discrete Event Systems: Models and Applications, IIASA Conference
-
-
Kurshan, R.1
-
25
-
-
84942210409
-
-
New York, NY: Springer-Verlag
-
P. Varaiya and A. B. Kurzhanski, Eds., Lecture Notes in Control and Information Sciences, vol. 103. New York, NY: Springer-Verlag, 1988, pp. 19–39.
-
(1988)
Lecture Notes in Control and Information Sciences
, vol.103
, pp. 19-39
-
-
Varaiya, P.1
Kurzhanski, A.B.2
-
26
-
-
84968424688
-
Testing containment of u-regular languages
-
preprint, Murray Hill, NJ, Oct.
-
R. P. Kurshan, “Testing containment of u-regular languages,” preprint, AT&T Bell Laboratories, Murray Hill, NJ, Oct. 1986.
-
(1986)
AT&T Bell Laboratories
-
-
Kurshan, R.P.1
-
27
-
-
0024013812
-
Modelling and analysis of transaction execution in database systems
-
May
-
S. Lafortune, “Modelling and analysis of transaction execution in database systems,” IEEE Trans. Automat. Contr., vol. 33, no. 5, pp. 439–447, May 1988.
-
(1988)
IEEE Trans. Automat. Contr.
, vol.33
, Issue.5
, pp. 439-447
-
-
Lafortune, S.1
-
28
-
-
84942210649
-
A state model for the concurrency control problem in data base management systems
-
Memo. UCB/ERL M85/27, Electronic Systems Laboratory, College of Engineering, University of California Berkeley, CA, Apr.
-
S. Lafortune and E.Wong, “A state model for the concurrency control problem in data base management systems,” Memo. UCB/ERL M85/27, Electronic Systems Laboratory, College of Engineering, University of California Berkeley, CA, Apr. 1985.
-
(1985)
-
-
Lafortune, S.1
Wong, E.2
-
29
-
-
84942214827
-
Network and user optimal flow control with decentralized information
-
preprint, Columbia University, NY
-
A. A. Lazar and M. T. Hsiao, “Network and user optimal flow control with decentralized information,” preprint, Dept. Electrical Engineering, Columbia University, NY.
-
Dept. Electrical Engineering
-
-
Lazar, A.A.1
Hsiao, M.T.2
-
30
-
-
84942214828
-
Data flow programming for parallel implementation of digital signal processing systems
-
Sopron, Hungary, Aug. 3-7
-
E. A. Lee, “Data flow programming for parallel implementation of digital signal processing systems,” in Discrete Event Systems: Models and Applications, IIASA Conference, Sopron, Hungary, Aug. 3-7, 1987
-
(1987)
Discrete Event Systems: Models and Applications, IIASA Conference
-
-
Lee, E.A.1
-
31
-
-
84942210409
-
-
New York, NY: Springer-Verlag
-
P. Varaiya and A. B. Kurzhanski, Eds., Lecture Notes in Control and Information Sciences, vol. 103. New York, NY: Springer-Verlag, 1988, pp. 135–148.
-
(1988)
Lecture Notes in Control and Information Sciences
, vol.103
, pp. 135-148
-
-
Varaiya, P.1
Kurzhanski, A.B.2
-
32
-
-
38249027960
-
On supervisory control of realtime discreteevent systems
-
Y. Li and W. M. Wonham, “On supervisory control of realtime discreteevent systems,” Inform. ScJ., vol. 46, pp. 159–183, 1988.
-
(1988)
Inform. ScJ.
, vol.46
, pp. 159-183
-
-
Li, Y.1
Wonham, W.M.2
-
33
-
-
0024171326
-
Controllability and observability in the state-feedback control of discreteevent systems
-
(Austin, TX), Dec.
-
“Controllability and observability in the state-feedback control of discreteevent systems,” in Proc. 27th IEEE Conf. Decision and Control (Austin, TX), pp. 203–208, Dec. 1988.
-
(1988)
Proc. 27th IEEE Conf. Decision and Control
, pp. 203-208
-
-
-
34
-
-
84942214829
-
A state-variable approach to the modelling and control of discreteevent systems
-
Sept.
-
“A state-variable approach to the modelling and control of discreteevent systems,” in Proc. 26th Annual Allerton Conf., Sept. 1988.
-
(1988)
Proc. 26th Annual Allerton Conf.
-
-
-
35
-
-
0002502284
-
Deadlock issues in supervisory control of discreteevent systems
-
(Princeton, NJ), Mar.
-
“Deadlock issues in supervisory control of discreteevent systems,” in Proc. 22nd Annual Conf. Information Sciences and Systems, (Princeton, NJ), pp. 57–63, Mar. 1988.
-
(1988)
Proc. 22nd Annual Conf. Information Sciences and Systems
, pp. 57-63
-
-
-
36
-
-
0021476582
-
Optimal control of a queueing system with two heterogeneous servers
-
Aug.
-
W. Lin and P. R. Kumar, “Optimal control of a queueing system with two heterogeneous servers,” IEEE Trans. Automat. Contr., vol. 29, pp. 696–703, Aug. 1984.
-
(1984)
IEEE Trans. Automat. Contr.
, vol.29
, pp. 696-703
-
-
Lin, W.1
Kumar, P.R.2
-
37
-
-
0024170717
-
Decentralized control and coordination of discreteevent systems
-
(Austin, TX), Dec.
-
F. Lin and W. M. Wonham, “Decentralized control and coordination of discreteevent systems,” in Proc. 27th IEEE Conf. Decision and Control (Austin, TX), pp. 1125–1130, Dec. 1988.
-
(1988)
Proc. 27th IEEE Conf. Decision and Control
, pp. 1125-1130
-
-
Lin, F.1
Wonham, W.M.2
-
38
-
-
0023995784
-
On observability of discreteevent systems
-
“On observability of discreteevent systems,” Inform. ScJ., vol. 44, pp. 173–198, 1988.
-
(1988)
Inform. ScJ.
, vol.44
, pp. 173-198
-
-
-
39
-
-
0023995961
-
Decentralized supervisory control of discreteevent systems
-
“Decentralized supervisory control of discreteevent systems,” Inform. ScJ., vol. 44, pp. 199–224, 1988.
-
(1988)
Inform. ScJ.
, vol.44
, pp. 199-224
-
-
-
40
-
-
84914562330
-
Efficient low level control of FMS
-
Draft Tech. Rep. L1DS-P-1571, Laboratory for Information and Decision Systems, MIT, Cambridge, MA, June
-
O. Maimon and G. Tadmore, “Efficient low level control of FMS,” Draft Tech. Rep. L1DS-P-1571, Laboratory for Information and Decision Systems, MIT, Cambridge, MA, June 1986.
-
(1986)
-
-
Maimon, O.1
Tadmore, G.2
-
41
-
-
84976828744
-
Synthesis of communicating processes from temporal logic specifications
-
Jan.
-
Z. Manna and A. Pnueli, “Synthesis of communicating processes from temporal logic specifications,” ACM Trans. Programming Languages and Syst., vol. 6, no. 1, pp. 68–93, Jan. 1984.
-
(1984)
ACM Trans. Programming Languages and Syst.
, vol.6
, Issue.1
, pp. 68-93
-
-
Manna, Z.1
Pnueli, A.2
-
42
-
-
0018455064
-
Concurrent processes and their syntax
-
G. Milne and R. Mil ner, “Concurrent processes and their syntax,” J. ACM, vol. 26, pp. 302–321, 1979.
-
(1979)
J. ACM
, vol.26
, pp. 302-321
-
-
Milne, G.1
Milner, R.2
-
43
-
-
84942214830
-
Protocol analysis from language structure
-
preprint, Tokyo Research Laboratory, 5-19, Tokyo, June
-
K. Okumura, “Protocol analysis from language structure,” preprint, IBM Research, Tokyo Research Laboratory, 5-19, Tokyo, June 1988.
-
(1988)
IBM Research
-
-
Okumura, K.1
-
44
-
-
0022327277
-
A temporal logic approach to real time control
-
(Fort Lauderdale, Florida), Dec.
-
J. S. Ostroff and W. M. Wonham, “A temporal logic approach to real time control,” in Proc. 24th IEEE Conf. Decision and Control, (Fort Lauderdale, Florida), pp. 656–657, Dec. 1985.
-
(1985)
Proc. 24th IEEE Conf. Decision and Control
, pp. 656-657
-
-
Ostroff, J.S.1
Wonham, W.M.2
-
45
-
-
84909890898
-
Real time computer control of discrete event systems modelled by extended state machines: A temporal logic approach
-
Rep. 8618, Dept. Electrical Engineering, University of Toronto, Sept.
-
J. S. Ostroff, “Real time computer control of discrete event systems modelled by extended state machines: A temporal logic approach,” Rep. 8618, Dept. Electrical Engineering, University of Toronto, Sept. 1986.
-
(1986)
-
-
Ostroff, J.S.1
-
46
-
-
0020138222
-
On the complexity of designing distributed protocols
-
June
-
C. H. Papadimitriou and J. N. Tsitsiklis, “On the complexity of designing distributed protocols,” Inform. Contr., vol. 53, pp. 211–218, June 1982.
-
(1982)
Inform. Contr.
, vol.53
, pp. 211-218
-
-
Papadimitriou, C.H.1
Tsitsiklis, J.N.2
-
47
-
-
0000977910
-
On the complexity of Markov decision processes
-
Aug.
-
“On the complexity of Markov decision processes,” Mathematics Operations Res., vol. 12, no. 3, pp. 441–450, Aug. 1987.
-
(1987)
Mathematics Operations Res.
, vol.12
, Issue.3
, pp. 441-450
-
-
-
49
-
-
0015744909
-
State reduction in incompletely specified finite state machines
-
Jan.
-
C. P. Pfleeger, “State reduction in incompletely specified finite state machines,” IEEE Trans. Comput., vol. C-22, no. 12, pp. 1099–1102, Jan. 1979.
-
(1979)
IEEE Trans. Comput.
, vol.C-22
, Issue.12
, pp. 1099-1102
-
-
Pfleeger, C.P.1
-
50
-
-
85034640711
-
The temporal semantics of concurrent programs
-
New York, NY: Springer-Verlag
-
A. Pneuli, “The temporal semantics of concurrent programs,” in Semantics of Concurrent Computation, Lecture Notes in Computer Science 70. New York, NY: Springer-Verlag, 1979, pp. 1–20.
-
(1979)
Semantics of Concurrent Computation, Lecture Notes in Computer Science 70
, pp. 1-20
-
-
Pneuli, A.1
-
51
-
-
0024480135
-
Some tractable supervisory control problems for discrete event systems described by Biichi automata
-
Jan.
-
P.J. Ramadge, “Some tractable supervisory control problems for discrete event systems described by Biichi automata,” IEEE Trans. Automat. Contr., vol. 34, no. 1, Jan. 1989.
-
(1989)
IEEE Trans. Automat. Contr.
, vol.34
, Issue.1
-
-
Ramadge, P.J.1
-
52
-
-
84880914393
-
The complexity of some basic problems in the supervisory control of discrete event systems
-
M. J. Denham and A. J. Laub, Eds., Springer-Verlag NATO ASI Series. New York, NY: Springer Verlag
-
“The complexity of some basic problems in the supervisory control of discrete event systems,” in Advanced Computing Concepts and Techniques in Control Engineering, M. J. Denham and A. J. Laub, Eds., Springer-Verlag NATO ASI Series. New York, NY: Springer Verlag, 1988, pp. 171–190.
-
(1988)
Advanced Computing Concepts and Techniques in Control Engineering
, pp. 171-190
-
-
-
53
-
-
84942211152
-
Supervisory control of discrete event systems: a survey and some new results
-
Sopron, Hungary, Aug. 3-7
-
“Supervisory control of discrete event systems: a survey and some new results,” in Discrete Event Systems: Models and Applications, IIASA Conference, Sopron, Hungary, Aug. 3-7, 1987
-
(1987)
Discrete Event Systems: Models and Applications, IIASA Conference
-
-
-
55
-
-
84942214831
-
Some tractable supervisory control problems for discrete event systems
-
to appear in, (Phoenix, AZ), June
-
“Some tractable supervisory control problems for discrete event systems,” to appear in Proc. Symp. on the Mathematical Theory of networks and Systems, (Phoenix, AZ), June 1987.
-
(1987)
Proc. Symp. on the Mathematical Theory of networks and Systems
-
-
-
56
-
-
0022986205
-
Observability of discrete event systems
-
(Athens, Greece), Dec. 10-12
-
“Observability of discrete event systems,” in Proc. 25th IEEE Conf. Decision and Control, (Athens, Greece), pp. 1108–1112, Dec. 10-12, 1986.
-
(1986)
Proc. 25th IEEE Conf. Decision and Control
, pp. 1108-1112
-
-
-
57
-
-
84942214832
-
A note on the fixpoint characterization of supremal controllable sublanguages
-
Mar.
-
“A note on the fixpoint characterization of supremal controllable sublanguages,” in Proc. 21st Conf. Information Sciences and Syst., pp. 741–744, Mar. 1987.
-
(1987)
Proc. 21st Conf. Information Sciences and Syst.
, pp. 741-744
-
-
-
58
-
-
0023422614
-
Modular feedback logic for discrete event systems
-
May
-
P. J. Ramadge and W. M. Wonham, “Modular feedback logic for discrete event systems,” SIAMJ. Contr. Optimization, vol. 25, no. 5, pp. 1202–1218, May 1987.
-
(1987)
SIAMJ. Contr. Optimization
, vol.25
, Issue.5
, pp. 1202-1218
-
-
Ramadge, P.J.1
Wonham, W.M.2
-
59
-
-
0023104549
-
Supervisory control of a class of discreteevent processes
-
Jan.
-
“Supervisory control of a class of discreteevent processes,” SIAMJ. Contr. Optimization, vol. 25, no. 1, pp. 206–230, Jan. 1987.
-
(1987)
SIAMJ. Contr. Optimization
, vol.25
, Issue.1
, pp. 206-230
-
-
-
60
-
-
0342325023
-
Modular supervisory control of discrete event systems
-
(Antibes, France), June
-
“Modular supervisory control of discrete event systems,” in Proc. 7th Int. Conf. Analysis and Optimization of Syst., (Antibes, France), pp. 202–214, June 1986.
-
(1986)
Proc. 7th Int. Conf. Analysis and Optimization of Syst.
, pp. 202-214
-
-
-
61
-
-
0021371937
-
Aloha with multiplacket messages and ARQ-type retransmission protocols—throughput analysis
-
Feb.
-
D. Raychaudhuri “Aloha with multiplacket messages and ARQ-type retransmission protocols—throughput analysis,” IEEE Trans. Commun., vol. 32, no. 2, pp. 148–154, Feb. 1984.
-
(1984)
IEEE Trans. Commun.
, vol.32
, Issue.2
, pp. 148-154
-
-
Raychaudhuri, D.1
-
62
-
-
84942214833
-
Stability and optimal retransmission control of announced retransmission random access systems
-
preprint, Princeton, NJ
-
“Stability and optimal retransmission control of announced retransmission random access systems,” preprint, RCA Laboratories, Princeton, NJ, 1985.
-
(1985)
RCA Laboratories
-
-
-
63
-
-
0000932095
-
Optimal control of service in tandem queues
-
June
-
Z. Rosberg, P. P. Varaiya, and J. C. Walrand, “Optimal control of service in tandem queues,” IEEE Trans. Automat. Contr., vol. 27, no. 3, pp. 600–610, June 1982.
-
(1982)
IEEE Trans. Automat. Contr.
, vol.27
, Issue.3
, pp. 600-610
-
-
Rosberg, Z.1
Varaiya, P.P.2
Walrand, J.C.3
-
64
-
-
0024056540
-
An algorithmic technique for protocol verification
-
Aug.
-
K. Sabnani, “An algorithmic technique for protocol verification,” IEEE Trans. Commun., vol. 36, no. 3, pp. 924–931, Aug. 1988.
-
(1988)
IEEE Trans. Commun.
, vol.36
, Issue.3
, pp. 924-931
-
-
Sabnani, K.1
-
65
-
-
0017971023
-
Software descriptions with flow expressions
-
A. C. Shaw, “Software descriptions with flow expressions,” IEEE Trans. Software Eng., vol. 4, no. 3, pp. 242–254, 1978.
-
(1978)
IEEE Trans. Software Eng.
, vol.4
, Issue.3
, pp. 242-254
-
-
Shaw, A.C.1
-
66
-
-
84942214834
-
Using trace theory to model discrete events
-
Sopron, Hungary, Aug. 3-7
-
R. Smedinga, “Using trace theory to model discrete events,” in Discrete Event Systems: Models and Applications, IIASA Conference, Sopron, Hungary, Aug. 3-7, 1987
-
(1987)
Discrete Event Systems: Models and Applications, IIASA Conference
-
-
Smedinga, R.1
-
67
-
-
84942210409
-
-
New York, NY: Springer-Verlag
-
P. Varaiya and A. B. Kurzhanski, Eds., Lecture Notes in Control and Information Sciences, vol. 103. New York, NY: Springer-Verlag, 1988, pp. 81–99.
-
(1988)
Lecture Notes in Control and Information Sciences
, vol.103
, pp. 81-99
-
-
Varaiya, P.1
Kurzhanski, A.B.2
-
68
-
-
84942214835
-
Port automata and the algebra of concurrent processes
-
Computer and Information Science Tech. Rep. 81-25, University of Massachusetts, Amherst, MA
-
M. Steenstrup, M. A. Arbib, and E. G. Manes, “Port automata and the algebra of concurrent processes,” Computer and Information Science Tech. Rep. 81-25, University of Massachusetts, Amherst, MA, 1981.
-
(1981)
-
-
Steenstrup, M.1
Arbib, M.A.2
Manes, E.G.3
-
69
-
-
0021567241
-
Perturbation analysis is exact for the M/G/1 queue
-
(Las Vegas, NV), Dec.
-
R. Suri and M. Zazanis, “Perturbation analysis is exact for the M/G/1 queue,” in Proc. 23rd IEEE Conf. Decision and Control, (Las Vegas, NV), pp. 535–536, Dec. 1984.
-
(1984)
Proc. 23rd IEEE Conf. Decision and Control
, pp. 535-536
-
-
Suri, R.1
Zazanis, M.2
-
70
-
-
0040392005
-
Deadlock free packet switching networks
-
Aug.
-
S. Toueg and K. Steiglitz, “Deadlock free packet switching networks,” SIAMJ. Computing, vol. 10, pp. 594–611, Aug. 1981.
-
(1981)
SIAMJ. Computing
, vol.10
, pp. 594-611
-
-
Toueg, S.1
Steiglitz, K.2
-
71
-
-
0022801374
-
Control problems in a temporal logic framework
-
J. G. Thistle and W. M. Wonham, “Control problems in a temporal logic framework,” Int. J. Contr., vol. 44, no. 4, pp. 943–976, 1986.
-
(1986)
Int. J. Contr.
, vol.44
, Issue.4
, pp. 943-976
-
-
Thistle, J.G.1
Wonham, W.M.2
-
73
-
-
3342937185
-
On the synthesis of supervisors subject to u-language specifications
-
(Princeton, NJ), Mar.
-
“On the synthesis of supervisors subject to u-language specifications,” in 22nd Ann. Conf. Information Sciences and Systems, (Princeton, NJ), pp. 440–444, Mar. 1988.
-
(1988)
22nd Ann. Conf. Information Sciences and Systems
, pp. 440-444
-
-
-
74
-
-
0024774127
-
On the control of discrete event dynamical systems
-
J. N. Tsitsiklis, “On the control of discrete event dynamical systems,” Math. Contr., Signals, and Syst., vol. 2, no. 1, pp. 95–107, 1989.
-
(1989)
Math. Contr., Signals, and Syst.
, vol.2
, Issue.1
, pp. 95-107
-
-
Tsitsiklis, J.N.1
-
75
-
-
0022060331
-
Extensions of the multiarmed bandit problem: the discounted case
-
May
-
P. P. Varaiya, J. C. Walrand, and C. Buyukkoc, “Extensions of the multiarmed bandit problem: the discounted case,” IEEE Trans. Automat. Contr., vol. 30, no. 5, pp. 426–439, May 1985.
-
(1985)
IEEE Trans. Automat. Contr.
, vol.30
, Issue.5
, pp. 426-439
-
-
Varaiya, P.P.1
Walrand, J.C.2
Buyukkoc, C.3
-
76
-
-
0022768288
-
On supervisor reduction in discreteevent systems
-
A. Vaz and W. M. Wonham, “On supervisor reduction in discreteevent systems,” Int.J. Contr., vol. 44, no. 2, pp. 475–491, 1986.
-
(1986)
Int.J. Contr.
, vol.44
, Issue.2
, pp. 475-491
-
-
Vaz, A.1
Wonham, W.M.2
-
78
-
-
0000069639
-
A control theory for discreteevent systems
-
M.J. Denham and A. J. Laub, Eds., Springer-Verlag NATO ASI Series. New York, NY: Springer Verlag
-
W. M. Wonham, “A control theory for discreteevent systems,” in Advanced Computing Concepts and Techniques in Control Engineering, M.J. Denham and A. J. Laub, Eds., Springer-Verlag NATO ASI Series. New York, NY: Springer Verlag, 1988, pp. 129–169.
-
(1988)
Advanced Computing Concepts and Techniques in Control Engineering
, pp. 129-169
-
-
Wonham, W.M.1
-
79
-
-
0023827662
-
Modular supervisor control of discrete event systems
-
Jan.
-
W. M. Wonham and P.J. Ramadge, “Modular supervisor control of discrete event systems,” Math. Contr., Signals, and Syst., vol. 1, no. 1, pp. 13–30, Jan. 1988.
-
(1988)
Math. Contr., Signals, and Syst.
, vol.1
, Issue.1
, pp. 13-30
-
-
Wonham, W.M.1
Ramadge, P.J.2
-
80
-
-
0023347999
-
On the supremal controllable sublanguage of a given language
-
May
-
“On the supremal controllable sublanguage of a given language,” SIAM J. Contr. and Optimization, vol. 25, no. 3, pp. 637–659, May 1987.
-
(1987)
SIAM J. Contr. and Optimization
, vol.25
, Issue.3
, pp. 637-659
-
-
-
81
-
-
84942214837
-
Estimating second derivatives of performance measures for G/G/1 queues from a single sample path
-
preprint, Harvard University, Cambridge, MA, June
-
M. A. Zazanis and R. Suri, “Estimating second derivatives of performance measures for G/G/1 queues from a single sample path,” preprint, Division of Applied Sciences, Harvard University, Cambridge, MA, June 1985.
-
(1985)
Division of Applied Sciences
-
-
Zazanis, M.A.1
Suri, R.2
-
83
-
-
76549105076
-
On hierarchical control of discrete event systems
-
(Princeton, NJ), Mar.
-
H. Zhong and W. M. Wonham, “On hierarchical control of discrete event systems,” in 22nd Ann. Conf. on Information Sciences and Syst., (Princeton, NJ), pp. 64–70, Mar. 1988.
-
(1988)
22nd Ann. Conf. on Information Sciences and Syst.
, pp. 64-70
-
-
Zhong, H.1
Wonham, W.M.2
|