320 search results - page 13 / 64 » Constructing Invariants for Hybrid Systems |
WSC
2004
13 years 10 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
WSC
1997
13 years 10 months ago
1997
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
NBIS
2010
Springer
13 years 6 months ago
2010
Springer
A new ontology-supported and hybrid recommending information system for scholars was proposed. Not only can it fast integrate specific domain documents, but also it can extract imp...
IMAGING
2003
13 years 10 months ago
2003
Many image formation processes are complex interactions of several sub-processes and the analysis of the resulting images requires often to separate the influence of these sub-pr...