Sciweavers

261 search results - page 30 / 53
» Differential constraints
Sort
View
73
Voted
CDC
2009
IEEE
131views Control Systems» more  CDC 2009»
15 years 4 months ago
An algebraic approach for the NCE principle with massive subpopulations
— We study large population stochastic dynamic games where each agent receives influences from multi-classes of agents according to intra- and inter-subpopulation cost coupling....
Minyi Huang
ECAL
1995
Springer
15 years 3 months ago
Contextual Genetic Algorithms: Evolving Developmental Rules
A genetic algorithm scheme with a stochastic genotype/phenotype relation is proposed. The mechanisms responsible for this intermediate level of uncertainty, are inspired by the bio...
Luis Mateus Rocha
CCE
2004
14 years 11 months ago
Workflow and information centered support of design processes - the IMPROVE perspective
Design process excellence is considered a major differentiating factor between competing enterprises since it determines the constraints within which plant operation and supply ch...
Wolfgang Marquardt, Manfred Nagl
COMPSAC
2010
IEEE
14 years 9 months ago
Specifying Time-Sensitive Systems with TLA+
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
Hehua Zhang, Ming Gu, Xiaoyu Song
RC
2002
96views more  RC 2002»
14 years 11 months ago
Verification of Invertibility of Complicated Functions over Large Domains
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
Jens Hoefkens, Martin Berz