Expressive power of hybrid systems with variables, parameters and arrays

Electronic Notes in Theoretical Computer Science

Volumn 96, Issue , 2004, Pages 91-112

  Lanotte, Ruggero ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Arrays; Expressiveness; Hybrid systems; Parameters; Real and Integer variables

Indexed keywords

ARRAYS; COMPUTER SCIENCE; CONTROL SYSTEMS; EMBEDDED SYSTEMS; FUNCTIONS; INTEGER PROGRAMMING; PARAMETER ESTIMATION; POLYNOMIALS; SET THEORY;

EXPRESSIVENESS; HYBRID SYSTEMS; PARAMETERS; REAL AND INTEGER VARIABLES;

COMPUTATIONAL COMPLEXITY;

EID: 18444363173     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.04.023     Document Type: Conference Paper

References (12)

1. Alur R, Courcoubetis C, Halbwachs N, Henzinger T.Ã, Ho P.H̃, Nicollin X, Olivero A, Sifakis J, Yovine S. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 138:1995;3-34
2. Alur R, Henzinger T.Ã, Ho P.H̃. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 22:1996;181-201
3. CASCADE. Chip architecture for smart cards and portable intellident devices. http://www.dice.ucl.ac.be/crypto/cascade
4. Childs L.N. A Concrete Introduction to Higher Algebra. 1979;Springer
5. Ferrante K, Rackoff C. A decision procedure for first-order theory of real addition with order. SIAM Journal on Computing. 4:1975;69-76
6. Fränzle M. Analysis of hybrid systems: An ounce of realism can save an infinity of states. Computer Science Logic. Lecture Notes in Computer Science. number 1683:1999;126-140 Springer, Berlin
7. Herbert B.E. Mathematical Introduction to Logic. 1972;Academic Press
8. R. Lanotte. An Automaton-Theoretic Approach to Safety and Security in Real-Time Systems. PhD thesis, University of Pisa, Pisa, Italy, 2002
9. Lanotte R, Maggiolo-Schettini A, Tini S. Information flow in hybrid systems. submitted:2003
10. Pnueli A, Sifakis J. Special issue on hybrid systems. Theoretical Computer Science. 138:1995
11. A. Tarski. A decision method for elementary algebra and geometry. Technical report, University of California, Berkeley, California, 1951
12. Weispfenning V. Mixed real-integer linear quantifier elimination. ACM International Symposium on Symbolic and Algebraic Computation. 1999;129-136 ACM Press