Sciweavers

527 search results - page 56 / 106
» Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
Sort
View
AAAI
2006
13 years 10 months ago
Mixtures of Predictive Linear Gaussian Models for Nonlinear, Stochastic Dynamical Systems
The Predictive Linear Gaussian model (or PLG) improves upon traditional linear dynamical system models by using a predictive representation of state, which makes consistent parame...
David Wingate, Satinder P. Singh
ICECCS
2007
IEEE
92views Hardware» more  ICECCS 2007»
14 years 17 days ago
A first approach to the closed-form specification and analysis of an autonomic control system
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shan...
LOGCOM
2008
110views more  LOGCOM 2008»
13 years 8 months ago
Sum and Product in Dynamic Epistemic Logic
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge
GRID
2007
Springer
14 years 2 months ago
Load prediction using hybrid model for computational grid
—Due to the dynamic nature of grid environments, schedule algorithms always need assistance of a long-time-ahead load prediction to make decisions on how to use grid resources ef...
Yongwei Wu, Yulai Yuan, Guangwen Yang, Weimin Zhen...
WSC
1997
13 years 10 months ago
Petri Net Based Simulation of Construction Schedules
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 ...
Anil Sawhney