Sciweavers

1692 search results - page 45 / 339
» A Dynamic Network Interdiction Problem
Sort
View
CDC
2009
IEEE
132views Control Systems» more  CDC 2009»
15 years 7 months ago
A mechanism design approach to the stabilization of networked dynamical systems
— In this paper we study the problem of stabilizing a networked control system (NCS) composed of N linear dynamical subplants and an equal number of controllers acting over a sha...
Luca Galbusera, Nicola Gatti, Carlo Romani
ECCB
2008
IEEE
15 years 2 months ago
Temporal logic patterns for querying dynamic models of cellular interaction networks
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
138
Voted
RP
2009
Springer
124views Control Systems» more  RP 2009»
15 years 9 months ago
Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
Denis Lugiez
126
Voted
GECCO
2009
Springer
150views Optimization» more  GECCO 2009»
15 years 9 months ago
Discrete dynamical genetic programming in XCS
A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to neural networks. This paper presents results fr...
Richard Preen, Larry Bull
ICPR
2006
IEEE
16 years 3 months ago
Switching Auxiliary Chains for Speech Recognition based on Dynamic Bayesian Networks
This paper investigates the problem of incorporating auxiliary information (e.g. pitch) for speech recognition using dynamic Bayesian networks (DBNs). Previous works usually model...
Hui Lin 0001, Zhijian Ou