Synthesizing switching logic using constraint solving

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

Volumn 5403 LNCS, Issue , 2009, Pages 305-319

  Taly, Ankur ^a   Gulwani, Sumit ^b   Tiwari, Ashish ^c  

^a Stanford University   (United States)

^b MICROSOFT RESEARCH   (United States)

^c SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC SYNTHESIS; CONSTRAINT SOLVING; HYBRID SYSTEM (HS); NEW APPROACHES; SAFETY PROPERTIES;

ABSTRACTING; CONSTRAINT THEORY; DYNAMICAL SYSTEMS; ELECTRIC GROUNDING; HYBRID COMPUTERS; MODEL CHECKING; PROGRAMMING THEORY; SYNTHESIS (CHEMICAL);

HYBRID SYSTEMS;

EID: 58449117164     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-93900-9_25     Document Type: Conference Paper

References (13)

1. Alur, R., Courcoubetis. C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(3), 3-34 (1995)
2. Asarin, E., Bournez, O., Dang, T., Maler, O., Pnueli, A.: Effective synthesis of switching controllers for linear systems. Proc. IEEE 88(7), 1011-1025 (2000)
3. Blanchini, F.: Set invariance in control. Automatica 35, 1747-1767 (1999)
4. Burns, K., Gidea. M.: Differential Geometry and Topology: With a view to dynamical systems. Chapman & Hall, Boca Raton (2005)
5. Colón, M.: Schema-guided synthesis of imperative programs by constraint solving. In: LOPSTR, pp. 166-181 (2004)
6. Cury, J., Brogh, B., Niinomi, T.: Supervisory controllers for hybrid systems based on approximating automata. IEEE Trans. Aut. Control 43, 564-568 (1998)
7. Gulwani, S., Tiwari, A.: Constraint-based approach for analysis of hybrid systems. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 190-203. Springer, Heidelberg (2008)
8. Koo, T., Sastry, S.: Mode switching synthesis for reachability specification. In:Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 333-346. Springer, Heidelberg (2001)
9. Manon, P., Valentin-Roubinet, C: Controller synthesis for hybrid systems with linear vector fields. In: Proc. IEEE Symp. on Intell. Control, pp. 17-22 (1999)
10. Moor, T., Raisch, J.: Discrete control of switched linear systems. In: Proc. Eur. Control Conf. ECC 1999 (1999)
11. Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 477-492. Springer, Heidelberg (2004)
12. Sankaranarayanan, S., Sipma, H., Manna, Z.: Constructing invariants for hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 539-554. Springer, Heidelberg (2004)
13. Tomlin, C, Lygeros, L., Sastry, S.: A game-theoretic approach to controller design for hybrid systems. Proc. of the IEEE 88(7), 949-970 (2000)