Automata control systems

IET Control Theory and Applications

Volumn 1, Issue 1, 2007, Pages 358-371

  Lamego, M M ^a  

^a Masimo Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; CONTROL SYSTEMS; FEEDBACK CONTROL; MOTION CONTROL; STATE SPACE METHODS; THEOREM PROVING;

AUTOMATION-CONTROLLER; BELLMAN-FORD ALGORITHM; STATE-FEEDBACK CONTROLLERS;

AUTOMATA THEORY;

EID: 33846250721     PISSN: 17518644     EISSN: 17518652     Source Type: Journal    
DOI: 10.1049/iet-cta:20060009     Document Type: Article

References (28)

1. Bryson, A.E., and Ho, Y.C.: ' Applied optimal control ', (Hemisphere Publishing, Washington, DC, 1975)
2. Stengel, R.F.: ' Optimal control and estimation ', (Dover Publications, Inc., 1994)
3. Boyd, S., Ghaoui, L.E., Feron, E., and Balakrishnan, V.: ' Linear matrix inequality in system and control theory ', (Society for Industrial and Applied Mathematics, 1994)
4. Branicky, M.S., Borkar, V.S., and Mitter, S.K.: ' A unified framework for hybrid control: model and optimal control theory ', IEEE Trans. Autom. Control, 1998, 43, p. 31-45 0018-9286
5. Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S., ' Hybrid systems ', (Springer-Verlag, 1998)
6. Tomlin, C.: ' Hybrid systems with application to air traffic management ', 1998, PhD, University of California, Department of Electrical Engineering, Berkeley
7. Lygeros, J., Tomlin, C., and Sastry, S.: ' Controllers for reachability specifications for hybrid systems ', Automatica, 1999, 35, p. 349-370 0005-1098
8. Asarin, E., Bournez, O., Dang, T., Maler, O., and Pnueli, A.: ' Effective synthesis of switching controllers for linear systems ', Proc. IEEE, 2000, 88, p. 1011-1025
9. Bellman, R.E.: ' On a routing problem ', Quar. Appl. Math., 1958, 16, p. 87-90
10. ' Network flow theory ', Paper, P-923, RAND Corporation, Santa Monica, California, 1956
11. Hopcroft, J.E., and Ullman, J.D.: ' Introduction to automata theory, languages, and computation ', (Addison-Wesley, Inc., 1979)
12. Kohavi, Z.: ' Switching and finite automata theory ', (McGraw-Hill Publishing Co., 1970)
13. Cassandras, C.G.: ' Discrete event systems: modeling and performance analysis ', (Aksen Associates, Boston, MA, 1993)
14. Ramadge, P.J.G., and Wonham, W.M.: ' The control of discrete event systems ', Proc. IEEE, 1989, 77, p. 81-98
15. Puri, A.: ' Theory of hybrid systems and discrete event systems ', 1995, PhD, University of California, Department of Electrical Engineering, Berkeley
16. Ahuja, R.K., Magnanti, T.L., and Orlin, J.B.: ' Network flows: theory, algorithms, and applications ', (Prentice-Hall, 1993)
17. Gibbons, A., and Rytter, W.: ' Efficient parallel algorithms ', (Cambridge University Press, 1988)
18. Diestel, R.: ' Graph theory ', (Springer-Verlag, 1997)
19. Bellman, R.: ' Dynamic programming ', (Princeton University Press, Princeton, NJ, 1957)
20. Oppenhein, A.V., and Schafer, R.W.: ' Discrete-time signal processing ', (Prentice-Hall, Inc., 1989)
21. Mills, W.L., Mullis, C.T., and Roberts, R.A.: ' Digital filter realizations without overflow oscillations ', IEEE Trans. Acoust. Speech and Signal Process., 1978, 26, p. 334-338 0096-3518
22. Rao, S.K., and Kailath, T.: ' Orthogonal digital filters for VLSI implementation ', IEEE Trans. Circuits Syst., 1984, 31, p. 933-945 0098-4094
23. Franklin, G.F., Powell, J.D., and Workman, M.L.: ' Digital control of dynamic systems ', (Addison-Wesley, Inc., 1994)
24. Gersho, A., and Gray, R.M.: ' Vector quantization and signal compression ', (Kluwer Academic Publishers, 1991)
25. Desoer, C.A., and Vidyasagar, M.: ' Feedback systems: input output properties ', (Academic Press, 1975)
26. Sastry, S.: ' Nonlinear systems: analysis, stability and control ', (Springer-Verlag, 1999)
27. Eker, J., and Malmborg, J.: ' Design and implementation of a hybrid control strategy ', IEEE Control Syst. Mag., 1999, 19, p. 12-21 0272-1708
28. ' Synthesis from design requirements of a hybrid system for transport aircraft longitudinal control ', Technical Report, NASA Ames Research Center, 1996, preprint