Sciweavers

14190 search results - page 106 / 2838
» Abstractions for hybrid systems
Sort
View
CORR
2010
Springer
53views Education» more  CORR 2010»
15 years 6 months ago
Lumpability Abstractions of Rule-based Systems
ity Abstractions of Rule-based Systems J
Jérôme Feret, Thomas A. Henzinger, He...
EUROPAR
2008
Springer
15 years 8 months ago
Co-design of Distributed Systems Using Skeleton and Autonomic Management Abstractions
nomic Management Abstractions M. Aldinucci1 , M. Danelutto1 , and P. Kilpatrick2 1 Dept. Computer Science, Univ. of Pisa, Italy 2 Dept. Computer Science, Queen's Univ. of Belf...
Marco Aldinucci, Marco Danelutto, Peter Kilpatrick
HYBRID
2007
Springer
16 years 17 days ago
Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles
Hybrid discrete-continuous models, such as Jump Markov Linear Systems, are convenient tools for representing many real-world systems; in the case of fault detection, discrete jumps...
Lars Blackmore, Askar Bektassov, Masahiro Ono, Bri...
SIGOPSE
1998
ACM
15 years 10 months ago
Battery-powered distributed systems (extended abstract)
Abstract for EW’98 Paul J.M. Havinga, Arne Helme, Sape J. Mullender1 , Gerard J.M. Smit, Jaap Smit University of Twente, Enschede, Netherlands
Paul J. M. Havinga, Arne Helme, Sape J. Mullender,...