Sciweavers

573 search results - page 37 / 115
» Evolutionary functional testing of continuous control system...
Sort
View
HYBRID
1997
Springer
13 years 11 months ago
On-Line, Reflexive Constraint Satisfaction for Hybrid Systems: First Steps
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
Michael S. Branicky
SOQUA
2004
13 years 8 months ago
Scenario-based Component Testing Using Embedded Metadata
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
Mark Strembeck, Uwe Zdun
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 1 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
COR
2008
122views more  COR 2008»
13 years 7 months ago
First steps to the runtime complexity analysis of ant colony optimization
: The paper presents results on the runtime complexity of two ant colony optimization (ACO) algorithms: Ant System, the oldest ACO variant, and GBAS, the first ACO variant for whic...
Walter J. Gutjahr
EH
2004
IEEE
106views Hardware» more  EH 2004»
13 years 11 months ago
How to Evolve the Head-Tail Pattern from Reaction-Diffusion Systems
The possible application of evolving artificial embryos to build functional machinery is a promising area of research. Unfortunately, there are still many fundamental problems to ...
Felix Streichert, Christian Spieth, Holger Ulmer, ...