Controllers for discrete event systems via morphisms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1466, Issue , 1998, Pages 18-33

  Madhusudan, P ^a   Thiagarajan, P S ^b  

^a INSTITUTE OF MATHEMATICAL SCIENCES   (India)

^b CHENNAI MATHEMATICAL INSTITUTE   (India)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLERS; DISCRETE EVENT SIMULATION; POLYNOMIAL APPROXIMATION; SPECIFICATIONS;

BRANCHING TIME; LABELLED TRANSITION SYSTEMS; LINEAR TIME; MORPHISMS; POLYNOMIAL-TIME; TRANSITION SYSTEM; UNCONTROLLED SYSTEMS; UNFOLDINGS;

CONCURRENCY CONTROL;

EID: 84945903022     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055613     Document Type: Conference Paper

References (17)

1. E. Asarin, O. Maler, A. Pnueli: Symbolic Controller Synthesis for Discrete and Timed Systems, In P. Antsaklis, W. Kohn, A. Nerode and S. Sastry (Eds.), Hybrid Systems II, 1-20, LNCS 999, Springer, 1995
2. J. R. Büchi and L. H. Landweber: Solving sequential conditions by finite-state strategies, Trans. Amer. Math. Soc. 138 (1969) 295-311.
3. A. Church: Logic, arithmetic and automata, Proc. Intern. Congr. Math. 1960, Almquist and Wiksells, Uppsala (1963).
4. B. Jonsson and K. G. Larsen: On the complexity of equation solving in process algebra, LNCS 493, Springer-Verlag (1991) 381-396
5. Ratnesh Kumar, Vijay K. Garg: Modeling and Control of Logical Discrete Event Systems, Kluwer Academic Publishers, 1995
6. Ratnesh Kumar, Vijay Garg, Steven I. Marcus: On Controllability and Normality of Discrete Event Dynamical Systems. Systems and Control Letters, 17(3): 157-168, 1991.
7. Ratnesh Kumar, Mark A. Shayman: Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation. In Proceedings of 1994 IEEE Conference on Decision and Control, Orlando, FL, December 1994. 3649-3654
8. K. G. Larsen and L. Xinxin: Equation solving using modal transition systems, LICS’90, Philadelphia, PA, U.S.A., (1990) 108-117.
9. H. Lewis and C. H. Papadimitriou: Elements of the theory of computation, Prentice Hall, New Jersey, U.S.A. (1981).
10. N. Lynch and F. Vaandrager: Forward and backward simulations, Information and Computation, 121 (2) (1995) 214-233.
11. P. Madhusudan and P. S. Thiagarajan: Controllers for Discrete Event Systems via Morphisms, Technical Report TCS-98-02, SPIC Mathematical Institute, Chennai, India (1998). Available at http://www.smi.ernet.in.
12. A. Overkamp: Supervisory control using failure semantics and partial specifications, IEEE Trans. on Automatic Control, Vol. 42, № 4 (1997) 498-510
13. A. Pnueli and R. Rosner: On the synthesis of a reactive module, Proc. 16th ACM Syrup. Princ. of Prog. Lang. (1989) 179-190.
14. P. J. G. Ramadge and W. M. Wonham: The control of discrete event systems, Proc. of IEEE 77 (1989) 81-98.
15. W. Thomas: Finite strategies in regular infinite games, LNCS 880, Springer-Verlag (1994) 149-158.
16. G. Winskel and M. Nielsen: Models for concurrency, In: S. Abramsky and D. Gabby (Eds.), Handbook of Logic in computer Science, Vol. 3, Oxford University Press, Oxford, U.K. (1994).
17. K. C. Wong, W. M. Wonham: Modular Control and Coordination of Discrete-Event Systems, Discrete Event Dynamic Systems, 6(3): 241-273, July 1996