Sciweavers

3088 search results - page 221 / 618
» A Teleradiology System Design Case
Sort
View
ICFEM
1998
Springer
15 years 11 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
APSEC
2004
IEEE
15 years 10 months ago
Tool Supported Development of Service-Based Systems
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
Martin Deubler, Johannes Grünbauer, Gerhard P...
CDC
2009
IEEE
112views Control Systems» more  CDC 2009»
15 years 7 months ago
Prediction-based observation of nonlinear systems non-affine in the unmeasured states
The presented work addresses the observation problem for a large class of nonlinear systems, including systems which are nonlinear in the unmeasured states. Assuming partial state ...
Yannick Morel, Alexander Leonessa
ISCAS
2007
IEEE
129views Hardware» more  ISCAS 2007»
16 years 27 days ago
Modeling of self-adaptive systems with SCADE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
Matthias Güdemann, Andreas Angerer, Frank Ort...
GECCO
2004
Springer
259views Optimization» more  GECCO 2004»
16 years 2 days ago
Evaluation of Different Fitness Functions for the Evolutionary Testing of an Autonomous Parking System
The method of evolutionary functional testing allows for the automation of testing by transforming test case design into an optimization problem. To this end it is necessary to def...
Joachim Wegener, Oliver Bühler