REFERENCES
- CLOCKSIN , W, F ., and MORGAN , A. J. , 1986 , Qualitative control . Proceedings of the European Conference on Artificial Intelligence , pp. 350 – 356 .
- DELCHAMPS , D. F. , 1990 , Stabilizing linear systems with quantized state feedback . IEEE Transactions on Automatic Control , 35 , 916 – 924 .
- FRANKE , D. , 1994 , Sequentielle Systëme ( Braunschweig , Germany ; Vieweg ).
- HOPCROFT , J. E. , and ULLMAN , J. D. , 1979 , Introduction to Automata Theory, Languages and Computation ( Reading Addison-Wesley ).
- KRAPP , M. , 1987 , Digitate Automaten ( Berlin Verlag Technik ).
- KUIPERS , B. , and ÅSTROM , K. , 1994 , The composition and validation of heterogeneous control laws . Automatica , 30 , 233 – 249 .
- LICHTENBERG , G. , LUNZE , J. , and MÜNCHMEYER , W. , 1994 , On qualitative identification of linear dynamical systems . Proceedings of the International Conference on Intelligent Systems Engineering , Hamburg , Germany , pp. 95 – 100 .
- LUNZE , J. , 1989 , Robust Multivariable Feedback Control ( London , U.K. Prentice-Hall ) 1992, Qualitative modelling of continuous-variable systems by means of nondeterministic automata. International Journal on Intelligent Systems Engineering, 1, 22–30; 1993, On the stability of qualitative models. System and Control Letters, 21, 137–142; 1994, Qualitative modelling of linear systems with quantised state measurements. Automatica, 30, 417–431 .
- ÖZVEREN , C. M. , WILLSKY , A. S. , and ANTSAKLIS , P. J. , 1991 , Stability and stabilizability of discrete event dynamic systems . Journal of ACM , 38 , 730 – 752 .
- PASSINO , K. M. , MICHEL , A. N. , and ANTSAKLIS , P. J. , 1991 , Lyapunov stability of a class of discrete event systems . Proceedings of the American Control Conference , Boston , Massachusetts , U.S.A. , pp. 2911 – 2916 .
- RAMAGE , P. J. , and WONHAM , W. M. , 1987 , Supervisory control of a class of discrete event processes . SIAM Journal on Control and Optimization , 25 .