Sciweavers

261 search results - page 30 / 53
» Differential constraints
Sort
View
CDC
2009
IEEE
131views Control Systems» more  CDC 2009»
15 years 9 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
186
Voted
ECAL
1995
Springer
15 years 7 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
117
Voted
CCE
2004
15 years 4 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
15 years 2 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
143
Voted
RC
2002
96views more  RC 2002»
15 years 3 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