메뉴 건너뛰기




Volumn 77, Issue 1, 1989, Pages 81-98

The Control of Discrete Event Systems

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS--THEORY;

EID: 0024479313     PISSN: 00189219     EISSN: 15582256     Source Type: Journal    
DOI: 10.1109/5.21072     Document Type: Article
Times cited : (2194)

References (83)
  • 1
    • 84942214821 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 26
    • 84968424688 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 32
    • 38249027960 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 51
    • 0024480135 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 68
    • 84942214835 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.