Supervisory target control for hybrid systems

International Journal of Control

Volumn 76, Issue 11, 2003, Pages 1142-1158

  Trontis, Anastasios ^a   Spathopoulos, Michael P ^a  

^a UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DYNAMIC PROGRAMMING; OPTIMIZATION;

HYBRID SYSTEMS;

CONTROL SYSTEMS;

EID: 0142230466     PISSN: 00207179     EISSN: None     Source Type: Journal    
DOI: 10.1080/0020717031000123328     Document Type: Article

References (40)

1. ALUR, R., COURCOUBETIS, C., HALBWACHS, N., HENZINGER, T., Ho, P. H., NICOLIN, X., OLIVERO, A., SIFAKIS, J., and YOVINE, S., 1995, The algorithmic analysis of hybrid systems. Theoretical Computer Science, 128, 3-34.
2. ALUR, R., and DILL, D., 1994, A theory of timed automata. Theoretical Computer Science, 126, 183-235.
3. ALUR, R., HENZINGER, T., and Ho, P. H., 1996, Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22, 181-201.
4. ASARIN, E., BOURNEZ, O., DANG, T., MALER, O., and PNUELI, A., 2000, Effective synthesis of switching controllers for linear systems. IEEE Proceedings: Special Issue on Hybrid Systems, 88, 1011-1025.
5. ASARIN, E., and MALER, O., 2000, As soon as possible: time optimal control for timed automata. In Hybrid Systems: Computation and Control, LNCS 1790 (Berlin: Springer-Verlag).
6. BASAR, T., and OLSDER, G. J., 1995, Dynamic Non-Cooperative Game Theory, 2nd edn (New York: Academic).
7. BENSOUSSAN, A., and MENALDI, J. L., 1997, Hybrid control and dynamic programming. Dynamics of Continuous, Discrete and Impulsive Systems, 3, 395-442.
8. BRANICKY, M., BORKAR, V., and MITTER, S., 1998, A unified framework for hybrid control: model and optimal control theory. IEEE Transactions on Automatic Control, 43, 31-45.
9. CHUTINAN, A., and KROGH, B., 1999, Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In Hybrid Systems: Computation and Control, LNCS 1569 (Berlin: Springer-Verlag).
10. CURY, J., KROGH, B., and NIINOMI, T., 1998, Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control: Special Issue on Hybrid Systems, 43, 564-569.
11. DANG, T., 2000, Verification and synthesis of hybrid systems. PhD thesis, VERIMAG, Grenoble, France.
12. DANG, T., and MALER, O., 1998, Reachability analysis via face lifting. In Hybrid Systems: Computation and Control, LNCS 1386 (Berlin: Springer-Verlag).
13. GRAMMEL, G., 1999, Maximum principle for a hybrid system via singular perturbations. SIAM Journal of Control and Optimization, 37, 1162-1175.
14. HENZINGER, T., 1996, The theory of hybrid automata. In Proceedings of the 11th Annual Symposium on Logic in Computer Science, pp. 278-292 (Los Alamitos, CA: IEEE Computer Society Press).
15. HENZINGER, T., KOPKE, P., PURI, A., and VARAIYA, P., 1995, What's decidable about hybrid automata. 27th Annual ACM, Symposium on Theory of Computing (STOCS), Las Vegas, NV: pp. 372-382.
16. KOUTSOUKOS, X., ANTSAKLIS, P., STIVER, J., and LEMMON, M., 2000, Supervisory control of hybrid systems. IEEE Proceedings: Special Issue on Hybrid Systems, 88, 1026-1049.
17. KOWALEWSKI, S., ENGELL, S., and STURSBERG, O., 1999, Verification of logic controllers for continuous plants. In Advances in Control, Highlights of ECC99 (Berlin: Springer-Verlag).
18. KOWLEWSKI, S., and STURSBERG, O., 1998, The batch evaporator: A benchmark example for safety analysis of processing systems under logic control. Proceedings of the WODES98, Cagliari, Italy, pp. 302-307.
19. KURZHANSKI, A., and VARAIYA, P., 2000, Ellipsoidal techniques for reachability analysis. In Hybrid Systems: Computation and Control, LNCS 1790 (Berlin: Springer-Verlag).
20. LAFFERRIERE, G., PAPPAS, G. J., and SASTRY, S., 2000, O-minimal hybrid systems. Mathematics of Control, Signals and Systems, 13, 1-21.
21. LAFFERRIERE, G., PAPPAS, G., and YOVINE, S., 2001, Symbolic reachability computation for families of linear vector fields. Journal of Symbolic Computation, 32, 231-253.
22. LENNARTSON, B., TITTUS, M., EGARDT, B., and PETTERSSON, S., 1996, Hybrid systems in process control. IEEE Control Systems Magazine, October.
23. LYGEROS, J., JOHANSSON, K. H., SASTRY, S., and EGERSTEDT, M., 1999, On the existence of executions of hybrid automata. Proceedings of the 38th CDC, Phoenix, AZ.
24. LYGEROS, J., JOHANSSON, K. H., SIMIC, S., and ZHANG, J., 2001, Continuity and invariance of hybrid automata. Proceedings of the 40th CDC, Orlando, FL.
25. MITCHELL, I., BAYEN, A., and TOMLIN, C., 2001, Validating a hamilton-jacobi approximation to hybrid system reachable sets. In Hybrid Systems: Computation and Control, LNCS 2034 (Berlin: Springer-Verlag).
26. MITCHELL, I., and TOMLIN, C., 2000, Level set methods for computation in hybrid systems. In Hybrid Systems: Compulation and Control, LNCS 1790 (Berlin: Springer-Verlag).
27. OISHI, M., TOMLIN, C., GOPAL, V., and GODBOLE, D., 2001, Addressing multiobjective control: safety and performance through constrained optimization. In Hybrid Systems: Computation and Control, LNCS 2034 (Berlin: Springer-Verlag).
28. RAISCH, J., and O'YOUNG, S., 1998, Discrete approximation and supervisory control of continuous systems. IEEE Transactions on Automatic Control: Special Issue on Hybrid Systems, 43, 569-573.
29. SENGUPTA, R., and LAFORTUNE, S., 1998, An optimal control theory for discrete event systems. SIAM Journal of Control and Optimization, 36, 488-541.
30. SHAKERNIA, O., PAPPAS, G., and SASTRY, S., 2001, Semi-decidable synthesis for triangular hybrid systems. In Hybrid Systems: Computation and Control, LNCS 2034 (Berlin: Springer-Verlag).
31. SUSSMANN, H. J., 1999, A maximum principle for hybrid optimal control problems. Proceedings of the 38th CDC, Phoenix, AZ.
32. TITTUS, M., and EGARDT, B., 1998, Control design for integrator hybrid systems. IEEE Transactions on Automatic Control: Special Issue on Hybrid Systems, 43, 491-500.
33. TOMLIN, C., LYGEROS, J., and SASTRY, S., 1999, Controllers for reachability specifications for hybrid systems. Automatica: Special Issue on Hybrid Systems, 35, 349-370.
34. TOMLIN, C., LYGEROS, J., and SASTRY, S., 2000, A game theoretic approach to controller design for hybrid systems. IEEE Proceedings: Special Issue on Hybrid Systems, 88, 949-970.
35. TRONTIS, A., and SPATHOPOULOS, M., 2001, Target control for hybrid systems with linear continuous dynamics. Proceedings of the 40th CDC, Orlando, FL.
36. TRONTIS, A., XIA, H., PANG, Y., and SPATHOPOULOS, M., 2002, Target control for hybrid systems. Proceedings of the 15th IFAC World Congress on Automatic Control, Barcelona, Spain.
37. WONG-TOI, H., 1997, The synthesis of controllers for linear hybrid automata. Proceedings of the 36th CDC, San Diego, CA.
38. XIA, H., TRONTIS, A., PANG, Y., and SPATHOPOULOS, M., 2002, Supervisory eventuality synthesis. Proceedings of the WODES02, Zaragoza, Spain.
39. ZHANG, J., JOHANSSON, K. H., LYGEROS, J., and SASTRY, S., 2000. Dynamical systems revisited: Hybrid systems with xeno executions. In Hybrid Systems: Computation and Control, LNCS 1790 (Berlin: Springer-Verlag).
40. ZHANG, J., JOHANSSON, K. H., LYGEROS, J., and SASTRY, S., 2001, Zeno hybrid systems. International Journal of Robust and Nonlinear Control, 11, 435-451.