Morphisms for non-trivial non-linear invariant generation for algebraic hybrid systems

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

Volumn 5469, Issue , 2009, Pages 445-449

  Matringe, Nadir ^b   Moura, Arnaldo Vieira ^c   Rebiha, Rachid ^a,c  

^a UNIVERSITY OF LUGANO   (Switzerland)

^b INSTITUT DE MATHÉMATIQUES DE JUSSIEU   (France)

^c UNIVERSITY OF CAMPINAS   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

EIGENSPACES; GENERATION METHOD; MORPHISMS; NON-LINEAR; NON-TRIVIAL;

ALGEBRA; COMPUTER AIDED LANGUAGE TRANSLATION; HYBRID COMPUTERS; HYBRID SYSTEMS;

ELECTRIC GROUNDING;

EID: 67650164749     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00602-9_32     Document Type: Conference Paper

References (5)

1. Sankaranarayanan, S., Sipma, H., Manna, Z.: Constructing invariants for hybrid system. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 539-554. Springer, Heidelberg (2004)
2. Tiwari, A.: Generating box invariants. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 658-661. Springer, Heidelberg (2008)
3. Rebiha, R., Matringe, N., Vieira Moura, A.: Endomorphisms for non-trivial nonlinear loop invariant generation. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol. 5160, pp. 425-439. Springer, Heidelberg (2008)
4. Matringe, N., Vieira-Moura, A., Rebiha, R.: Morphisms for non-trivial non-linear invariant generation for algebraic hybrid systems. Technical Report TR-IC-08-32, Institute of Computing, University of Campinas (November 2008)
5. Kreuzed, A., Robbiano, L.: Computational commutative algebra. Springer, Heidelberg (2005)