Back to Search Start Over

Expressive Power of Hybrid Systems with Variables, Parameters and Arrays.

Authors :
Lanotte, Ruggero
Source :
ENTCS: Electronic Notes in Theoretical Computer Science; Jun2004, Vol. 96, p91-112, 22p
Publication Year :
2004

Abstract

A hybrid system consists of a finite number of locations, variables and transitions. Different classes are considered in the literature. In this paper we study the different expressive power of these classes. [Copyright &y& Elsevier]

Subjects

Subjects :
HYBRID computer simulation
MATHEMATICAL variables
MATHEMATICS
EXPERIMENTAL design

Details

Language :
English
ISSN :
15710661
Volume :
96
Database :
Supplemental Index
Journal :
ENTCS: Electronic Notes in Theoretical Computer Science
Publication Type :
Periodical
Accession number :
17084840
Full Text :
https://doi.org/10.1016/j.entcs.2004.04.023
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details