1287 search results - page 77 / 258 » Reduction of Timed Hybrid Systems |
125
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
The joint spectral radius of a set of matrices is a measure of the maximal asymptotic growth rate that can be obtained by forming long products of matrices taken from the set. This...
116
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— We propose a diagnosability notion that depends on two parameters denoted as (δd, δm) for the general class of transition systems where the observable output is given by disc...
144
click to vote
CC
2006
Springer
15 years 8 months ago
2006
Springer
We introduce a new class of compiler heuristics: hybrid optimizations. Hybrid optimizations choose dynamically at compile time which optimization algorithm to apply from a set of d...
155
click to vote
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
149
click to vote
JPDC
2006
15 years 4 months ago
2006
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...