Supervisory control using failure semantics and partial specifications

IEEE Transactions on Automatic Control

Volumn 42, Issue 4, 1997, Pages 498-510

  Overkamp, Ard ^a  

^a NONE

Author keywords

Failure semantics; Nondeterministic discrete event systems; Partial specifications; Supervisory control

Indexed keywords

CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; FAILURE ANALYSIS;

DEADLOCK FREE BEHAVIOR; NONDETERMINISTIC PROCESS; PARTIAL SPECIFICATIONS;

SCADA SYSTEMS;

EID: 0031125520     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.566659     Document Type: Article

References (21)

1. P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, pp. 81-98, 1989.
2. A. Overkamp, "Supervisory control for nondeterministic systems," in [21], pp. 59-65.
3. C. A. R. Hoare, Communicating Sequential Processes. Englewood Cliffs, NJ: Prentice-Hall, 1985.
4. A. Overkamp, "Control of nondeterministic discrete event systems using failure semantics," in Proc. 3rd European Contr. Conf., Rome, Italy, 1995, pp. 2778-2783.
5. A. Tanenbaum, Computer Networks, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 1988.
6. M. A. Shayman and R. Kumar, "Supervisory control of nondeterministic systems with driven events via prioritized synchronization and trajectory models," SIAM J. Contr. Optimiz., vol. 33, no. 2, pp. 459-497, 1995.
7. M. D. DiBenedetto, A. Saldanha, and A. Sangiovanni-Vincentelli, "Model matching for finite state machines," in Proc. 33th Conf. Decision Contr., Orlando, FL, 1994, pp. 3117-3124.
8. K. Inan, "Nondeterministic supervision under partial observation," in [21], pp. 39-48.
9. M. Heymann, "Concurrency and discrete event control," IEEE Contr. Syst. Mag., vol. 10, no. 4, pp. 103-112, 1990.
10. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. New York: Addison-Wesley, 1979.
11. E. Haghverdi and K. Inan, "Verification by consecutive projections," in FORTE '92, Proc. IFIP, Perros-Guirec, M. Diaz, and R. Groz, Eda., pp. 455-478.
12. R. De Nicola and M. Hennessy, "Testing equivalences for processes," Theoretical Computer Sci., vol. 34, pp. 83-133, 1984.
13. S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe, "A theory of communicating sequential processes," J. ACM, vol. 31, no. 3, pp. 560-599, 1984.
14. W. M. Wonham and P. J. Ramadge, "Modular supervisory control of discrete-event systems," Math. Contr., Signals Syst., vol. 1, no. 1, pp. 13-30, 1988.
15. E. A. Emerson and E. M. Clarke, "Using branching time temporal logic to synthesize synchronization skeletons," Sci. Computer Programming, vol. 2, pp. 241-266, 1982.
16. Z. Manna and P. Wolper, "Synthesis of communicating processes from temporal logic specifications," ACM Trans. Programming Languages Syst., vol. 6, no. 1, pp. 68-93, 1984.
17. A. Pnueli and R. Rosner, "On the synthesis of a reactive module," in Proc. 16th ACM Symp. Principles Programming Languages, 1989, pp. 179-190.
18. J. G. Thistle, "Control of infinite behavior of discrete-event systems," Ph.D. dissertation, Univ. Toronto, 1991; also available as Systems Control Group Rep. 9012.
19. R. Kumar, V. Garg, and S. I. Marcus, "On controllability and normality of discrete event dynamical systems," Syst. Contr. Lett., vol. 17, no. 3, pp. 157-168, 1991.
20. R. Milner, A Calculus of Communicating Systems. New York: Springer, 1980.
21. G. Cohen and J.-P. Quadrat, Eds., Proc. 11th Int. Conf. Analysis Optimization Syst., Discrete Event Syst., Sophia-Antipolis, 1994, Lecture Notes in Control and Information Sciences 199. New York: Springer, 1994.