Sciweavers

3199 search results - page 165 / 640
» Variability in Automation System Models
Sort
View
ICML
2009
IEEE
16 years 3 months ago
Optimized expected information gain for nonlinear dynamical systems
This paper addresses the problem of active model selection for nonlinear dynamical systems. We propose a novel learning approach that selects the most informative subset of time-d...
Alberto Giovanni Busetto, Cheng Soon Ong, Joachim ...
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 6 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
134
Voted
CONCUR
2009
Springer
15 years 9 months ago
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
Vashti Galpin, Luca Bortolussi, Jane Hillston
125
Voted
WSC
1998
15 years 4 months ago
Discrete Event Simulation Experiments and Geographic Information Systems in Congestion Management Planning
A regional transportation system and the movement of large traffic volumes through it, are characteristic of stochastic systems. The standard traffic management or transportation ...
Roy Brooks Wiley, Thomas K. Keyser
113
Voted
JCNS
2010
100views more  JCNS 2010»
15 years 1 months ago
Morphologically accurate reduced order modeling of spiking neurons
Accurately simulating neurons with realistic morphological structure and synaptic inputs requires the solution of large systems of nonlinear ordinary differential equations. We ap...
Anthony R. Kellems, Saifon Chaturantabut, Danny C....