Dealing with nondeterminism in symbolic control

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

Volumn 4981 LNCS, Issue , 2008, Pages 287-300

  Kloetzer, Marius ^a   Belta, Calin ^a  

^a Boston University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER CIRCUITS; HYBRID SYSTEMS; LINEAR SYSTEMS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ABSTRACTION PROCESS; ANALYSIS AND CONTROLS; CONTROL STRATEGIES; LINEAR TEMPORAL LOGIC; NON-DETERMINISM; SYMBOLIC CONTROLS; TEMPORAL LOGIC FORMULA; TRANSITION SYSTEM;

TEMPORAL LOGIC;

EID: 70350015361     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_21     Document Type: Conference Paper

References (26)

1. Milner, R.: Communication and concurrency. Prentice-Hall, Englewood CliDs, NJ (1989)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183-235 (1994)
3. Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.H.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol.736, pp. 209-229. Springer, Heidelberg (1993)
4. Henzinger, T.A.,Kopke, P.W., Puri,A., Varaiya, P.:What is decidable about hybrid automata? J. Comput. Syst. Sci. 57, 94-124 (1998)
5. Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal hybrid systems. Math. Control, Signals, Syst 13(1), 1-21 (2000)
6. Tabuada, P., Pappas, G.J.: Linear time logic control of discrete-time linear systems. IEEE Transactions on Automatic Control 51(12), 1862-1877 (2006) (Pubitemid 46002281)
7. Tabuada, P.: Symbolic control of linear systems based on symbolic subsystems. IEEE Transactions on Automatic Control 51(6), 1003-1013 (2006) (Pubitemid 43997249)
8. Girard, A.: Approximately bisimilar finite abstractions of stable linear systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.4416, pp. 231-244. Springer, Heidelberg (2007)
9. Alur, R., Dang, T., Ivancic, F.: Reachability analysis of hybrid systems via predicate abstraction. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.2289, Springer, Heidelberg (2002)
10. Tiwari, A., Khanna, G.: Series of abstractions for hybrid automata. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.2289, Springer, Heidelberg (2002)
11. Belta, C., Habets, L.: Constructing decidable hybrid systems with velocity bounds. In: 43rd IEEE Conference on Decision and Control, Paradise Island, Bahamas (2004)
12. Habets, L., van Schuppen, J.: A control problem for affine dynamical systems on a fulldimensional polytope. Automatica 40, 21-35 (2004)
13. Belta, C., Habets, L.: Control of a class of nonlinear systems on rectangles. IEEE Transactions on Automatic Control 51(11), 1749-1759 (2006)
14. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
15. Kloetzer, M., Belta, C.: A fully automated framework for control of linear systems from LTL specifications. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.3927, pp. 333-347. Springer, Heidelberg (2006)
16. Habets, L., Collins, P., van Schuppen, J.: Reachability and control synthesis for piecewiseaffine hybrid systems on simplices. IEEE Trans. Aut. Control 51, 938-948 (2006)
17. Kloetzer, M., Habets, L., Belta, C.: Control of rectangular multi-affine hybrid systems. In: 45th IEEE Conference on Decision and Control, San Diego, CA (2006)
18. Thomas,W.: Infinite games and verification. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.2404, pp. 58-64. Springer, Heidelberg (2002)
19. Wallmeier, N., Hütten, P., Thomas, W.: Symbolic synthesis of finite-state controllers for request-response specifications. In: H. Ibarra, O., Dang, Z. (eds.) CIAA 2003. LNCS, vol.2759, pp. 113-127. Springer, Heidelberg (2003)
20. Piterman, N., Pnueli, A., Sa'ar, Y.: Synthesis of reactive(1) designs. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol.3855, pp. 364-380. Springer, Heidelberg (2005)
21. Kloetzer, M., Belta, C.: Managing non-determinism in symbolic robot motion planning and control. In: IEEE International Conference on Robotics and Automation, Rome, Italy (2007)
22. Wolper, P., Vardi, M., Sistla, A.: Reasoning about infinite computation paths. In: Nagel, E., et al. (eds.) Proceedings of the 24th IEEE Symposium on Foundations of Computer Science, Tucson, AZ, pp. 185-194 (1983)
23. Safra, S.: Complexity of automata on infinite objects. PhD thesis, The Weizman Institute of Science, Rehovot, Israel (1989)
24. Fainekos, G.E., Loizou, S.G., Pappas, G.J.: Translating temporal logic to controller specifi- cations. In: 45th IEEE Conference on Decision and Control, San Diego, CA (2006)
25. Alur, R., Torre, S.L.: Deterministic generators and games for LTL fragments. In: 16th IEEE Symposium on Logic in Computer Science, LICS 2001, pp. 291-300 (2001)
26. Kumar, R., Garg, V.K.: Modeling and Control of Logical Discrete Event Systems. Kluwer, Boston, MA (1995)