Affiliation:
1. National Ilan University
2. National Defense University
Abstract
Statechart has been utilized as a visual formalism for the modeling of complex systems. It illuminates the features on describing properties of causality, concurrency and synchronization. In this paper, we try to describe a behavioral logical operations language by using Statecharts. The logical operation is a data structure that is used to represent by a Boolean function. This paper used them to analyze the models which are modeled by using Statecharts. Their formalism provides a concept of propositional logic for presenting control strategy. Finally, an example of level crossing traffic control systems is examined successfully.
Publisher
Trans Tech Publications, Ltd.
Reference14 articles.
1. P. J. Ramadge and W. M. Wonham: SIAM J. Contr. Optim., Vol. 25 (1987), pp.206-230.
2. P. F. Borges, P. C. Masiero, and M. C. Ferreira de Oliveira: IEEE Trans. Softw. Eng. Vol. 25(1999), 33–49.
3. P. J. Ramadge: IEEE Trans. Automat. Contr., Vol. 34 (1989), pp.10-19.
4. J. N. Tsitsiklis: Math. Contr. Signals Syst., Vol. 2 (1989), pp.95-107.
5. D. Harel.: Comput. Program Vol. 8 (1987), p.231–274.